-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 24 Oct 2013 09:22:27 +0200 Source: maude Binary: maude Architecture: source amd64 Version: 2.6-4 Distribution: unstable Urgency: low 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: 727454 Changes: maude (2.6-4) unstable; urgency=low . * debian/rules: dh --with autotools_dev Closes: #727454 Checksums-Sha1: 54eaaa86a45c987b38bc6a52785260cac879865a 1399 maude_2.6-4.dsc ab3214793ca44533202904abe5dda258e4a7d364 5144 maude_2.6-4.debian.tar.gz 8ad7f0d089fa71cebccc11c479d8c49fc46588a9 726598 maude_2.6-4_amd64.deb Checksums-Sha256: c089c1c68ef00d33bcb4f99095b47569802a8e2792d097700da8b4361c9017fc 1399 maude_2.6-4.dsc ef560e520bdb6f0db67ba277d45d3325132548694bc5c9f10ed2bddd600d7459 5144 maude_2.6-4.debian.tar.gz 12eb1af92938cb355df3768de6a21b1cc3517f814b39d4dd1073f73090a9047d 726598 maude_2.6-4_amd64.deb Files: ff53798fe82b1eed9f90f7155ea5b67f 1399 science optional maude_2.6-4.dsc 7b382f014bf42fab894079c4924f6c31 5144 science optional maude_2.6-4.debian.tar.gz e4270ae28addd28294d8b55f71682d0a 726598 science optional maude_2.6-4_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iEYEARECAAYFAlJozBoACgkQYDBbMcCf01pCgACeIOr0tsMiYgGQFukxqFpLk7Ji n40AnA9w3/p3iCZx8sA9lD357Eq3XVTA =ILTq -----END PGP SIGNATURE-----
