Accepted maude 2.6-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 10 Feb 2011 14:11:58 -0800
Source: maude
Binary: maude
Architecture: source amd64
Version: 2.6-1
Distribution: unstable
Urgency: low
Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Changed-By: Scott Christley <schristley@mac.com>
Description:
maude - A high-performance logical framework.
Closes: 611927
Changes:
maude (2.6-1) unstable; urgency=low
.
* Initial Release. (closes: #611927)
Checksums-Sha1:
3c255b5d3ff851fd6d9ffed8804a9d01a1911ffc 1366 maude_2.6-1.dsc
3f1ec2f39a22942bb096102d1d8d6eed4510483e 1600026 maude_2.6.orig.tar.gz
cca95523ecd570fc3e8d3fb7c87804d8abd5842f 40261 maude_2.6-1.debian.tar.gz
d30070735cd4f493a07803967495fd79cbe02712 932984 maude_2.6-1_amd64.deb
Checksums-Sha256:
6a02a3cd91b0c072d7dfa933811477666c3e8647590bcd9dd6fa784135b79b70 1366 maude_2.6-1.dsc
a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0 1600026 maude_2.6.orig.tar.gz
b8906ea5b9d734b04dfda47b7904feb39f978b8ea1effb6640648ec2b44f21af 40261 maude_2.6-1.debian.tar.gz
cef499ad4b48022f93f0e355eac86d5de85195230c485dec2ec31e868a061215 932984 maude_2.6-1_amd64.deb
Files:
bd67121e0deba54b23f2fdd158dd6320 1366 science optional maude_2.6-1.dsc
7b1dd753e9994f034a49588e2541b968 1600026 science optional maude_2.6.orig.tar.gz
d99e49281e366d65199e60a720d2667a 40261 science optional maude_2.6-1.debian.tar.gz
096a12e90a7cf5384076495e74451c11 932984 science optional maude_2.6-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk1dQY0ACgkQYDBbMcCf01rv6ACgptACSz3bc6/rzuzV5nK73cnF
AQEAni56FjUI1LvP9NY+gDvbvqfOqjxJ
=aIPy
-----END PGP SIGNATURE-----
Accepted:
maude_2.6-1.debian.tar.gz
to main/m/maude/maude_2.6-1.debian.tar.gz
maude_2.6-1.dsc
to main/m/maude/maude_2.6-1.dsc
maude_2.6-1_amd64.deb
to main/m/maude/maude_2.6-1_amd64.deb
maude_2.6.orig.tar.gz
to main/m/maude/maude_2.6.orig.tar.gz