Accepted maude 2.7-1 (source amd64) into unstable
-----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-----