[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Accepted aspcud 1:1.9.0-1 (source amd64)



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


Reply to: