-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 20 May 2014 14:02:43 +0200 Source: maude Binary: maude Architecture: source amd64 Version: 2.6-5 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: 733407 Changes: maude (2.6-5) unstable; urgency=medium . * move debian/upstream to debian/upstream/metadata * Three helpful pathces provided by Jakub Wilk to deal with bison problems - many thanks to Jakub! Closes: #733407 * cme fix dpkg-control Checksums-Sha1: ebc7eda1a02534fd22fb4f7da44479d6fea33d8e 2043 maude_2.6-5.dsc 79bb8e1438cfc74692097e8a409e9f55305b2d84 6668 maude_2.6-5.debian.tar.xz 3357b3c5ce585d2ae88ed950136804e65ac6c5fc 725614 maude_2.6-5_amd64.deb Checksums-Sha256: dcfdce9df4f7db50ede91b797bd0f15190baacf4ff7c2e29a57edd6340020242 2043 maude_2.6-5.dsc 040dcf23b2e584b353d4b318b2244159194320308619e08b96f7c36ef3bd46c7 6668 maude_2.6-5.debian.tar.xz ac18953d69bf1e025562e149836e3c8bdb36e55f17904f3d7d62e346acf32d5f 725614 maude_2.6-5_amd64.deb Files: 685863dbce152c6abd76b7afb2e7fce7 725614 science optional maude_2.6-5_amd64.deb 504e027ab9dc55083b57d7390ebf2703 2043 science optional maude_2.6-5.dsc 1ec8983ea568e5826698c2bfe0f5b430 6668 science optional maude_2.6-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJTe0hBAAoJEFeKBJTRxkbRYkcP/Rv//to+F/NJV0ohrNZY91JT 8tR5S+db/QyjSfmi9r2e3OfzNVXvzs11JNuEvmEphDtqBXIy5koUmJ0Jy+mKu1/t ukC59gy3t5BQ+dlEHmiP1ICmtLfYJJlo+WlffQtVKYYkuBUa7IMRrt9AFquP1a2k tfQ9X84zy5H0agbvWQ2e8rgHHbFeWoTWeKQCBRZoj/o0FFf4fSLtskbXKqfSUyos kkKRBfoGiczUXCpNfk9ifEpcEr0fNSNhpRJvGfxOO5aejSgR7+eKG35qPDBtHvhN iW5UXfyG+YVOyBZjSPLRTIY1dzPIA2P7eMZuVxf6flnSRQov7tbO3Uhyz27yTDHD 4dMwrQ+ZF7/hK9PZyRiofzzQJ5U4LCLsYPOrb1TSKncfef0ZBvRUuT1i5x5WloYY xHpOGcZVaU5rfs4m/Mx577H3c9o/2xGS8b7vW6fun1psR7xY0m+FyExL8jx7Cyek L/bXc84YD6YULG9naQXpZwsrrLPFnIBQ9aAzfTkEPiG5otrIz7gQzU/npElBxw1e ZIhETzDoovjyTf6SQBuz/pbk8FUFHIMp1q8cuUKudFPqyBAgPSBMbEN7UBMd4Tf5 cpyEibj7RXB0q9Q0XWpPWGuXzZtDikwnmQwLoEGiVccZt/yiaASJX6bkQRnUF+ct 5Ez2xkDA1FosSK4FhZds =l+Xx -----END PGP SIGNATURE-----
