-----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
