-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 25 Dec 2018 18:44:23 +0100
Source: aspcud
Binary: aspcud
Architecture: source
Version: 1:1.9.4-2
Distribution: unstable
Urgency: medium
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.4-2) unstable; urgency=medium
.
* Update Vcs-* to salsa
* Standards-Version 4.3.0
- replace Priority extra by optional
* Debhelper compatibility level 11
* Remove trailing whitespace in changelog
* Install examples
Checksums-Sha1:
2fadf0bab18b3dc236d2ade4d51373ff8a370cf3 1917 aspcud_1.9.4-2.dsc
f5052802d7663f037b57a83439a58eb3738a5aa0 5576 aspcud_1.9.4-2.debian.tar.xz
0c36045304821cb0167e085ae0e0838cb6aee855 6590 aspcud_1.9.4-2_source.buildinfo
Checksums-Sha256:
780849b80107ccba99b80664c500daf493de1fdfe8f7635c13c292b58ae6555a 1917 aspcud_1.9.4-2.dsc
be50f250a931bbec072c21fb6b1b3fa35bf440dd911eae4e6a7a73fa405b1bc7 5576 aspcud_1.9.4-2.debian.tar.xz
32f724399d5b7738eb047b144b76d5b0ed83c0c0e3000e02aff5bd65c2a57f8e 6590 aspcud_1.9.4-2_source.buildinfo
Files:
a14e72e5dc2cc73dc9d867e116cc0c13 1917 admin optional aspcud_1.9.4-2.dsc
d68e0ff0253ee14662bebedc5d8075ce 5576 admin optional aspcud_1.9.4-2.debian.tar.xz
577c5e5b9a4e080f24f977647cc00653 6590 admin optional aspcud_1.9.4-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlwie6QACgkQdFxHZtTK
zf+c+g/9EiwKIYtYAZPWL6ubQ5YQHp+eol207BlaNNCq5x1cjbuy9YdHfpHFhv+V
Y2zUonT6W5BluyomzMpN8qy77Aq4wbLB7CFIVDcHXoZv2CU95fKiZTDmuZ++aPx/
v9uJSF29PEtPMEnDXJzYm24NVCjLwvN1wEHvCdknlKMc1MexIkgbhk2kY+DNGZ/o
+6fAzYcSbBofHAtbOW33LHL1H6Nfrt9PK+20ooSp2unjFURRiKN0HClGTCFMtNp0
ZLloRzfva2pOmoYLKONcuBOhLGkZqO2FNWOrpU88rQAhWjKLh96hHyR5I0ONzyPm
hea9Uw+hcNuFOkHcEvWpfcvxxlkojFSS4WjqgXgfYjSsieVFsq4sblrqFaNA4h26
JV5rEuqu5D/LSQnSWCl2gONLuDTuPuzoSwTOaDnMlMfoSGM1quCbpm5ISiYhpbpA
6kdlbdoQUS4fkJtNLNtjdT0CgGUuprzX6HiWbvKHYkGS74Avc0NEiRnkyx+SmcGf
/qcxFRNg0VqnacQnWryIRtz0iOiyviadrFPAvnJ3x2vDyf8rf0gjveDV2rM2ucWB
geTekiTUYckWUXL8O9AGYgieuHHBf3bPI3rI8FuJZfwYWwg1E2+cQD+FbIZIvKU8
hK7HP7og5zl1cLkbn5TNWb8rp9r+W+YHCcnt8vMKk4ivPNZe4yA=
=ga8x
-----END PGP SIGNATURE-----
