Accepted clasp 3.3.3-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 03 Feb 2018 13:42:01 +0100
Source: clasp
Binary: clasp
Architecture: source
Version: 3.3.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren@kr.tuwien.ac.at>
Description:
clasp - conflict-driven nogood learning answer set solver
Changes:
clasp (3.3.3-2) unstable; urgency=medium
.
* update debian/control and debian/compat
+ update Vcs-Git and Vcs-Browser for salsa
+ bump Standards-Version to 4.1.3
+ bump debhelper compatibility version to 11
Checksums-Sha1:
f42a144c45a9ebc841e99e29918377f07ac7a45c 2011 clasp_3.3.3-2.dsc
bbd8d3e12c50621d17303fee84bff1c7ac4139ae 7716 clasp_3.3.3-2.debian.tar.xz
882823291a4b26b5f8600227c0cdd087ae274fc6 7093 clasp_3.3.3-2_amd64.buildinfo
Checksums-Sha256:
30eb4e90b4c9c0f486573e78f3728a89363ab8080b7c311287fa74a034224e7e 2011 clasp_3.3.3-2.dsc
7d9c81d631400094a8d1b6fb194b212ece7ac9229a08a4dbdd2dccc0666aa8a8 7716 clasp_3.3.3-2.debian.tar.xz
e6ccdcae46aa8213de90fd81f26832413428d54a1e4a6bd1f46429db6e3fdf02 7093 clasp_3.3.3-2_amd64.buildinfo
Files:
71d508dfda5c5a31294c47f9a58170cc 2011 interpreters optional clasp_3.3.3-2.dsc
5a04bdc8d4d8271a23b5d2388d53a1bd 7716 interpreters optional clasp_3.3.3-2.debian.tar.xz
ec411ab46e7d9c79b355c50994595dde 7093 interpreters optional clasp_3.3.3-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlp1sDAACgkQJ5ffdKZm
mqnRLg//YvaOkMJMeEKTIuMt7I8lg8lc64L1TcwjNH70BeZFH1so7kEtzd0pJT4P
Rx1Uwden6myN0NenMWR4XWpd2xXKzPDy3ay2RzvxwkhMzBvLim772scJ86zkVbxy
N7ndvMyIpYf6iET/DxNPTcTZNNszvgz2iBmC7BaEJtYRpg0VBD6STSqSEsaCDq4E
a4euRqTlCPDIP3kJOct+nfQFUScN47E8cKs7rBLSO9pd63ZB2qcu6HuSRbD0dJHw
O7GzgvhGmQTFQCuR7V2Aiy6rsqPWaN/4ZBL8jhNbGiK3GdkeIAnWlH5sPwp6ddz2
HYhJP06/6OagcHgkorDyfVA2I55OpLaSYeZGn8/siuJ5tv35udN/1m4eb7yJWtFh
i05sJvZH5JIYTsyz6V0ZP7WvTh05LyIO3mKfVVYOYvMxZLYomAK+TtG78lKHvzu6
DnbwliYYa7LXsOxvrJB0qmIYGUUlMTg2u3VP9PCx65g6TnYsXpX/UsrhLgqqMzkE
hx4MIUnPqr8xRbwSrLR3QIcznVDVs4B8pC9qjoVwhKVGWsCs1tw8tRNfRYdTMrVG
HI62A7w72a6wbBqlaVkGQQbhSn1vPXp1b+oMWUSg2PAUATHX6rnIoGBhVS3szMv6
kkaYiQfPX9dpN1KsLQgWhql3XGHyhVjvPlg/Yajfd2IGzHfc3eo=
=Zmgo
-----END PGP SIGNATURE-----