-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 05 Mar 2014 21:41:02 +0100 Source: aspcud Binary: aspcud Architecture: source amd64 Version: 1:1.9.0-1 Distribution: experimental Urgency: low Maintainer: Ralf Treinen <treinen@debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: aspcud - CUDF solver based on Answer Set Programming Changes: aspcud (1:1.9.0-1) experimental; urgency=low . * New upstream release. Drop patches that are now obsolete: - pathes - cmake-use-environment - add-trendy-criterion - misc11-backward-compatiblity * Use install target provided by upstream: - drop target override_dh_auto_install in debian/rules - remove now obsolete entries from debian/aspcud.install * Add version constraint on build-dependency re2c, according to INSTALL * Bump versions on dependencies clasp and gringo, according to INSTALL * Drop dependency on python which is no longer needed. Yeah! * debian/tests/upstream: add one user criterion from each misc11 and misc12 * debian/aspcud.manpages: install upstream's manpage instead of our own Checksums-Sha1: 9acd82f923002566f8a27be253b769fa60f28342 1883 aspcud_1.9.0-1.dsc ae77772c2424620b3064d0dfe795c26b1c8aa778 110360 aspcud_1.9.0.orig.tar.gz 21433ba25f121739d6d67cac722d6cf6fc1ad17f 4624 aspcud_1.9.0-1.debian.tar.xz b7e7f6595501c7b12ad159c9ce9e8a25ae98b11a 144992 aspcud_1.9.0-1_amd64.deb Checksums-Sha256: 672998e85facb0f05afff5a4dbb13a1cd0386b10ac146fe394c7f2d9fc50be60 1883 aspcud_1.9.0-1.dsc e38c0a5c2622a7ba6f0ae0e575f11b47ff126f44d188e0b43ea2ccc676192009 110360 aspcud_1.9.0.orig.tar.gz 87a64f85341729194681ba0e54567ad1348e031db91005ba7ba1d2492f549895 4624 aspcud_1.9.0-1.debian.tar.xz 4f063b4d87e4a7d2c25ef97c1c1bc1a4e082bbe9f60ecd67ee51a202b53d4af0 144992 aspcud_1.9.0-1_amd64.deb Files: 2002298bbf488198ea8ecf2199341f22 1883 admin extra aspcud_1.9.0-1.dsc 9d014548e36480957cb97486e6312bea 110360 admin extra aspcud_1.9.0.orig.tar.gz e831d67efdf05b4a75666a608815cd2f 4624 admin extra aspcud_1.9.0-1.debian.tar.xz 0f06b649d28a2f6031569e49292252ca 144992 admin extra aspcud_1.9.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJTF5OnAAoJEHRcR2bUys3/oDoP/2hY2sjX0d0goGfWCR+soR9o 8oaAn6OvhowCLvCZAgiXzuxLBuR2hYqLn/7VOyWLyzaTNO3vYSs/EkJJ64Xe0yD5 /ggoK5AQqRSgUsGanT9ITlNYV8HeNmuMug3aIq35FkggLHJCq9S6VDI83diw6RRG 6cs08CcCgM9tGQLybafjuudd2ADBd2kUlrH2GP3M8fxDLWAiMmf0uijF9fGnJ3Aj nk+CdGxig5FNRB/oX6WWbSUn96rpdz+R1c9pnKnjwQe8f61tGY6uwUOLUT7oElY5 tSfGU6+9TCq8MkKXvln5D0iSMSwABYOH5geuOBZDhh6G4cVS1WG0qx2pFDmaY71v qipub2+mFuX6s93It57LygohpM/mQdR+6wKAzTBvrwpkUdTJupiNPlyZ4EC3KZD4 Nf7OpTx1Y7J2Hcw1dl9mTx2RaYt1IzYKtY4IVEom6OLsCncrsORI4azDLoMo9S63 DDXWcLpHhAcwAZgaHxzavc/CJlbdlIh35eLEWkorcGwo3j8kumjNpiUOwJotLXDX Eix26lJb1D6GSTXzOBcB8Azk8/v5T0WMgsIKTazSnyxF6zORuLrRzYj7Dfd9SZiG Cv1fS+EF8dLt8OBXSgnAVGRn/MZ8XA7wi88lB38X6T9P1f+23L61N2Rp8M23PjYN uB+168mqpRxwHsYGyuhR =25nm -----END PGP SIGNATURE-----