Accepted aspcud 1:1.9.1-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 10 Sep 2017 20:06:13 +0200
Source: aspcud
Binary: aspcud
Architecture: source
Version: 1:1.9.1-3
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
Closes: 872668
Changes:
aspcud (1:1.9.1-3) unstable; urgency=medium
.
* Patch lemon-gcc7: update lemon for gcc-7 (closes: #872668).
* d/control: dropped redundant Testsuite field.
* Standards-Version 4.0.1 (no change)
Checksums-Sha1:
342c5cb7d8e9045ba3a59d3578b629d375cd0bb4 1938 aspcud_1.9.1-3.dsc
0371db547e1d4763f8e0c39c6639828e4e7a8e6d 46476 aspcud_1.9.1-3.debian.tar.xz
3771da25bb0f4e8d1d8761fb8f1fb28ebf73deab 6359 aspcud_1.9.1-3_source.buildinfo
Checksums-Sha256:
11540e82ad464762d24e0039340a12a541e4fbbf0d393e8dd820c4d8747fae8e 1938 aspcud_1.9.1-3.dsc
8db7ad8d2eff6c1515b3ad74a9b9374dcc954c6fbe00cc018086eed328891319 46476 aspcud_1.9.1-3.debian.tar.xz
73c6e3dc8cfee55f565eff2d2d240a789db33107f4f3637776162094cde98d42 6359 aspcud_1.9.1-3_source.buildinfo
Files:
c1eb38ebb9e53e7dcf0846b6f33a2327 1938 admin extra aspcud_1.9.1-3.dsc
98bf7bac6c76a04314aec08b4c90e878 46476 admin extra aspcud_1.9.1-3.debian.tar.xz
eced7b1d110349d8c01b2cf0327c7c05 6359 admin extra aspcud_1.9.1-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlm1iA8ACgkQdFxHZtTK
zf9SJQ//VU1LdKGaOdqgkSc69NUmQ/gtdExIJRfetgkUp6b5oYpDIB2WdGcwmGmP
W6Bxkc3ZhY08AaEQb82NJ/HsYX3Ld9SqqCjVe4fH7f/h/HEkAiJ55tF1YBvkQOVy
HsBhq6t1t0CAljI4ZU98+65was3RLfHZ+zGFgPPIYy4Dia+BuZEAWERDEAteBBmW
SeA6njX5deCogh+eoJ4vZT56/tQBAGKSu7K7OzGIHylkwSVT8+bhFifaa4IgqkBT
j4/Sc8PhKekLZQcgpJtEhdyZOzYGx1jB+4Yap1NQoSOakHfm5+0jEU5mcbW4qVIE
leKUhNAbT9l6ZbM2YjW5k1cOpmdvJ3LtV/er+IaD5IJsGEwvoSPzwnhOroLCDc4S
sdfx4TyN33CUaz03yqRdmUcX/i5U6F2FAuM+FlOa1nwesnCC0bZyeEvA+/uWrZJf
Ei+dhY9xInHiXBTNxAngf64xm7L11Gfim275ZmRpOL8JWiPbeE3yvk7r8mmWYKev
JZ1BEQJe5N3+4i+ThCGifnFMsbixw2EqqAx3p1GEQzYUI2ORy1PNhEQYNDt3j9vV
NxdkEl5ygQLJSHuXsEt0Z/jSR008SaQjufky9+48UC78HzpT5sOYomjtCqK5NbIq
WxyXiDK5wFnkNQPK/m0/pDhZnDBZHOPb+w8GC4BcU50ffSYH6Mc=
=nVYo
-----END PGP SIGNATURE-----