Accepted maude 2.6-5 (source amd64)
-----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-----