Accepted clasp 3.3.3-2 (source) into unstable

[Thomas Krennwallner]

-----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 at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at 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-----