Accepted clasp 3.3.4-1 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 30 Jun 2018 08:31:27 +0200
Source: clasp
Binary: clasp
Architecture: source
Version: 3.3.4-1
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.4-1) unstable; urgency=medium
 .
   * New upstream version 3.3.4
   * debian/control: bump Standards-Version to 4.1.4
Checksums-Sha1:
 93943dd990fc2290235311e1fa88f0de6deefa81 2011 clasp_3.3.4-1.dsc
 866d312137a38e4703bfe39c167e784f71574af0 826644 clasp_3.3.4.orig.tar.gz
 ca93e35a17fa55c35df6e3a85215a4f20b322943 7848 clasp_3.3.4-1.debian.tar.xz
 39d6c59e914d468abcb257900ef342c2e19d1a38 7445 clasp_3.3.4-1_amd64.buildinfo
Checksums-Sha256:
 65ae111ee564de4b3185fa1333e2c0fc1669e2abd6b1d1fb05b157b773fc4d18 2011 clasp_3.3.4-1.dsc
 5e4a4588ec48bbf54becc619397e07c7c0293e41e2d70f11170fc6b3773fe9cb 826644 clasp_3.3.4.orig.tar.gz
 4017c12b21e5b572806e86da2de72c582259602f8f36c04c8a20bbd0a1844f5f 7848 clasp_3.3.4-1.debian.tar.xz
 816af5f98915267e2c64664af28040c1c30744eb15ecd002e13cd0882f2d6ad9 7445 clasp_3.3.4-1_amd64.buildinfo
Files:
 13f9974270b700030dd7e6b8713dab14 2011 interpreters optional clasp_3.3.4-1.dsc
 a2a4de570b39eb9a6ffdf949f632b619 826644 interpreters optional clasp_3.3.4.orig.tar.gz
 33f52957cf286a0470c606492554e3ad 7848 interpreters optional clasp_3.3.4-1.debian.tar.xz
 adf271c21a20d94b5e3dd8d2c22fe6b7 7445 interpreters optional clasp_3.3.4-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAls3J24ACgkQJ5ffdKZm
mqk8Qg//YqlHysb987iv8dYL7WoJO2U4QgVSarBJrPtZkW4CHVW71reyAVk196EK
ov0kIl9J7l3S3cqeZQZoRY906WWrAE7LMuB387Vn+oReLKokAq+S8JIecmV/PqKG
+9v6J3tEGZBzXApSvcISUxcHkNQZQLYCLnmsec3EDs4luM4l+n47n/Ec/aJ2m9RP
RLvWe4x0cWCBGHKtxjpln1oST8/WqPGV+7FiI38p2htG/6oCLK/UV4XJayXEKTnI
cVtHSQQnF+SARA0xPag8TQCLJuWapj800JNg7wZGxZfmDA+B6zutVkXhCDzNJVbP
1B3mWUA6Qugk6tWvXLVemx+6k1TNa+mcbW8BpL1DwVECcajSir5ZykmgN8M53fe8
AQOpJn/xpU7j1e221oKPCMs4gPb3mmiaOXfr01Hb2zqCbPpYG/ZsRieHYBpiCRlb
m1BT1hLC7dOdX61qEemWvLLSpKLrSzevWAlwov64ZpoWmmCXc1qCoCB8QsRzb2j/
r/iSGiYmPUagvOO5TlB/1hKWyGT/jVEFMKITCKSqq8FuvlxQwKoT5VwSGzhuM5ZJ
//Qvr9+VTvuutTL4wy5KcHCXvip3x6g/nXHO+PpX1KcgFlnGJQJzMoETTYYfLi54
icpPlA4E3Y6I5tnR+a9xb9Hm+Uevq1/8P88Mpyt4P7pt6wdx3ic=
=+Pvb
-----END PGP SIGNATURE-----