Accepted aspcud 2012.10.24-1 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 04 Nov 2012 16:34:51 +0100
Source: aspcud
Binary: aspcud
Architecture: source amd64
Version: 2012.10.24-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 (2012.10.24-1) experimental; urgency=low
.
* New upstream release (upstream svn release 5904)
* debian/patches:
- pathes: refreshed for new upstream version
- no-cmake-errors: dropped since adopted upstream
- gcc4.6: dropped since adopted upstream
- clasp-2.1-apichange: dropped since we now build for clasp 2.1 only
- added cmake-use-environment: makes the toplevel Makefile pass
environment variables to cmake. Thanks to Roland Kaminski for the patch.
-added add-trendy-criterion: make aspcud recognize the "trendy"
optimisation criterion.
* debian/control:
- bump dependency on clasp to >= 2.1 since this is needed by this
upstream version
- bump debhelper compatibility level, and version of the build-dependency
on debhelper, to 9. Needed to pass dpkg-build-flags to Makefile.
- Standards-version 3.9.4 (no change)
* debian/copyright: add copyright field for lemon/* (public domain)
Checksums-Sha1:
954e817dd6dab78c25d01837ac5a41eacaad3d1c 1318 aspcud_2012.10.24-1.dsc
98b0f1cfa5f7c4fe4d74da364db8afa03f2ef542 101157 aspcud_2012.10.24.orig.tar.gz
abf41a8c17a25ba204bcede2a0596a2a6e738881 4592 aspcud_2012.10.24-1.debian.tar.gz
45d0b3e746c4fec4e755feeae4e9270359a7df84 198486 aspcud_2012.10.24-1_amd64.deb
Checksums-Sha256:
5851a7866231cbbe3ac91e67872ed536cba2dc55a13c39bedab7b20584e61ccc 1318 aspcud_2012.10.24-1.dsc
44696e73d69ef6c60be2010a7ee810a4f66f35731a1ece6849f6190b5a153c62 101157 aspcud_2012.10.24.orig.tar.gz
ccf068e4ed10c538f526bfdd1078ef58a06b898f41d2d1a373923b6ae7f199df 4592 aspcud_2012.10.24-1.debian.tar.gz
5841f732c44cd8b258380d6e4c8d86d7b348974c4df4091be73730e6e9edca8e 198486 aspcud_2012.10.24-1_amd64.deb
Files:
5f535c5ef505e0a50f6648d95a7d11f2 1318 admin extra aspcud_2012.10.24-1.dsc
607c3bcc6c720ee5ad648c3af23938c4 101157 admin extra aspcud_2012.10.24.orig.tar.gz
334a062cb8b2cf2ff791f4aca95a3885 4592 admin extra aspcud_2012.10.24-1.debian.tar.gz
09a1a115f836fe44ad8f294ea9e72693 198486 admin extra aspcud_2012.10.24-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlCWlN0ACgkQtzWmSeC6BMGk0QCgw/ZdlYeH+5n740B1t7rxL0ZV
MKMAoNsCKp5s0g1hg5mUVAiD0btCaEbU
=hr/Z
-----END PGP SIGNATURE-----
Reply to: