-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 29 Jun 2013 10:41:01 +0200
Source: aspcud
Binary: aspcud
Architecture: source amd64
Version: 2012.10.24-4
Distribution: unstable
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 (2012.10.24-4) unstable; urgency=low
.
* add sed script /usr/share/aspcud/misc11-to-misc12 based on an idea by
Roberto Di Cosmo (thanks!)
* Patch misc11-backward-compatiblity: translate optimization criteria
in MISC11 style to MISC12.
Checksums-Sha1:
c6c020f40b37df1d22f336b9a9da48f26666a336 1260 aspcud_2012.10.24-4.dsc
c31f97d42189f05f35af7c8aa38c1d6f6d105fa8 5037 aspcud_2012.10.24-4.debian.tar.gz
a10ac8f70f42a8f6befcaf0e465539705da1c5da 189052 aspcud_2012.10.24-4_amd64.deb
Checksums-Sha256:
b4bb3ffa6dfecbacbc6a586e413efcac8d72a0093517e002d151579a4b40ac55 1260 aspcud_2012.10.24-4.dsc
0fd9baafa10a98b427b057269fdaac14684399bbe995d440d1dfe7d91667da65 5037 aspcud_2012.10.24-4.debian.tar.gz
78828e2c5a3004ccfd7cad1755fe739053db9a14ba0292e4905e75da54b2b22e 189052 aspcud_2012.10.24-4_amd64.deb
Files:
6a6cf364ea111075bc5960574af9d528 1260 admin extra aspcud_2012.10.24-4.dsc
ae91f00b1e56eab390be03008d0ed1da 5037 admin extra aspcud_2012.10.24-4.debian.tar.gz
22f7824a42143f0504e023d4fed88dd2 189052 admin extra aspcud_2012.10.24-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlHOomwACgkQtzWmSeC6BMEHKwCgqkCPFj0dqQCWVHLdxsrojEuq
ew0AnjofVRzqMM73NGbZHu5CEv2yY4KG
=C8eL
-----END PGP SIGNATURE-----
