-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 16 Dec 2015 22:57:25 +0100 Source: maude Binary: maude Architecture: source amd64 Version: 2.7-1 Distribution: unstable Urgency: medium Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org> Changed-By: Andreas Tille <tille@debian.org> Description: maude - high-performance logical framework Closes: 790260 Changes: maude (2.7-1) unstable; urgency=medium . * New upstream version Closes: #790260 Checksums-Sha1: 072caf9db102baaea96ed216e31acbf2038aebb9 2038 maude_2.7-1.dsc 9d73146e1a21b35f8ba46f069fc63f06c434a3ce 1663708 maude_2.7.orig.tar.gz aab52eff6eade1b5cdf734cb37194368e95a6f85 6428 maude_2.7-1.debian.tar.xz d1db9bc945647b16caf76832345d551d32cd387e 775032 maude_2.7-1_amd64.deb Checksums-Sha256: 99d18534ec4c283b9522eefbb78d300426d56f4c252869c1ae2ffd8c3f7e28b6 2038 maude_2.7-1.dsc f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89 1663708 maude_2.7.orig.tar.gz 81975d21cff334f4aaf822f348edbbfbc39dc8ebdb5390fb3dabdac4d096504e 6428 maude_2.7-1.debian.tar.xz 075b674677c6bd2339d9459aa28054bfdd2c3efc57cfb1159abdb8456c902524 775032 maude_2.7-1_amd64.deb Files: 63ac5ef5a128aeb8a460820f14b93c06 2038 science optional maude_2.7-1.dsc 95a4e744d5032d7839181c714e6cf8cb 1663708 science optional maude_2.7.orig.tar.gz 17fd6e57c87650f7b44a244f10065783 6428 science optional maude_2.7-1.debian.tar.xz e3fd0ac804671f07bcb3ca39532c8984 775032 science optional maude_2.7-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJWcd+AAAoJEFeKBJTRxkbRy2cP/3SH7aSTCWsy1yITz3KrSaNP 3ITU9VVXCqS/Law1gRFZkn43KolAfPsCDIYeN1T8apTue6FQv1c0EY1SxOomV4Pq WSmS9ckXKZGlncm2nRjn7YNbQ/QhT34ulV3fVmQ+DUyTPUglgIOtKBJ3RnMrin+n TiuQb3jKp6BZVdaUWW/s3ZsLwGLI0fv87YSJHv2igY43YJxE0S9AwXZI6UGkVZwD NrJ7tOGbnDpf97peonX5beDJoTgybMWcaYNSNSCKqh1NX4ICdFoP8B6mb3G2irM0 OkVqVXlnY5Cpu3GB7GQmP50pm9NGZ9jkgKhTSbpO3Bdz30Ea9XT6WQ8QbzaLya8p g9rnNRv2tpiHY5hmTGdh/HzAEwpzEYJfjgHC5KpZlNiEHV5fqPt2XhMXlz4b84z+ Yvy76/8kQOGtg/srgrFJWLJTMcNQBgupog/abUjs7zUdLtCMNuc0GS6z7B3ONZLW +j+nq8/9JxSFjLaAoTpANXp62HCLtP4n2jjeLV+RG5ACCFQhoPFbMbRjEoSEBVNt Q8UOHcYmsp9q1nyooQ3DcXauE/+rgPnKl1JrGmxsitd2iOSiZhJNOG03uc7j/Hpz 1XpfQPmagE/7odgTMyOBH54ZJ41cn9bEa/C+V6vVRAO6Dcrvd7gSGv2QOw1eMX8J EEGmtOy4Ma5H0L0vYRcn =B8aW -----END PGP SIGNATURE-----