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