-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 07 May 2017 15:02:29 +0200
Source: clasp
Binary: clasp
Architecture: source amd64
Version: 3.3.0-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.0-1) unstable; urgency=medium
.
* New upstream version 3.3.0
* debian/copyright: clasp switched to MIT, and so does the packaging
* debian/rules: build with cmake
* debian/docs: use README.md
* set debhelper compatibility level to 10
* debian/control:
- Build-Depends on cmake, drop pkg-config
- add Testsuite: autopkgtest
* debian/tests:
- add dep8 testsuite control
- add clasp0, clasp1, clasp2 tests
* drop reproducible-build.patch, clasp uses cmake as build system now
Checksums-Sha1:
2f14739cfd50debbf98fc4715404a32c9c6eebd8 2045 clasp_3.3.0-1.dsc
bc921b7bebfd2c89304a21c37b85e4a5d78b4c97 818360 clasp_3.3.0.orig.tar.gz
b2f0ebf9714ff7ef5ab52ba4a8a7d8ebfc494b86 7212 clasp_3.3.0-1.debian.tar.xz
af936ed10ed33045e9bc4d4fee59595ab46bce56 5273336 clasp-dbgsym_3.3.0-1_amd64.deb
3101370d9efdffdc0aa489ba046426bce64e2268 7056 clasp_3.3.0-1_amd64.buildinfo
addaa6bca09c5deadd0ee25454aad4000a61e38b 632976 clasp_3.3.0-1_amd64.deb
Checksums-Sha256:
8310f41c92941d3400fbb87d92cca87736ae8bcdd628316759814e4b9c858b50 2045 clasp_3.3.0-1.dsc
74ba1b75823c1401d254020fb8954e5ac2bc04a56d624abaee6519f95be78f48 818360 clasp_3.3.0.orig.tar.gz
0b0f00d8fadf0e68ff36581a60e931817a972cb5b9a245dfb23bd62237a1c5a2 7212 clasp_3.3.0-1.debian.tar.xz
2901ff10f9ca47d8cadf48e0324dc28cf727a7b8dd4f9b8f6c6d5c7862a1b703 5273336 clasp-dbgsym_3.3.0-1_amd64.deb
bde6d7c36a4ee21a9603334732fe469300a7f9fcf072243dca05b34890176446 7056 clasp_3.3.0-1_amd64.buildinfo
bec5d66c98575fb297a2ccf435aa70badcd489734687d9665a0ff5e264056528 632976 clasp_3.3.0-1_amd64.deb
Files:
b49ae9df88872f6a9454acd749411ea2 2045 interpreters extra clasp_3.3.0-1.dsc
6b9e5d379d221baa94071f8261a9d4a0 818360 interpreters extra clasp_3.3.0.orig.tar.gz
7bbf0651336c19bf0b37b572bb1ce847 7212 interpreters extra clasp_3.3.0-1.debian.tar.xz
642aba8c8539f66e4d1549f9db178d7e 5273336 debug extra clasp-dbgsym_3.3.0-1_amd64.deb
71f150ca73114e0ed0daa42a8ea975e2 7056 interpreters extra clasp_3.3.0-1_amd64.buildinfo
8dca328aed0206f633d55b3699ad9630 632976 interpreters extra clasp_3.3.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlkPHi4ACgkQJ5ffdKZm
mqlpow/+KUlqOoD7b54H0bpMoxrbQ/A22PzhjfqcEYE1Hls6yWXQoS/XyDnYXgDt
grzR0j50KuvHG+3abyVjRmqoyqzjGH8YthwFNFkwWB+iFeWj5npcpewSqoUQIZ9Y
3aZGMEcjcBQZShutnZ7jrQCuwQs4TOaaXtq/7UlfBbxIBUJmO5nfEmefH4BaMKN7
WKEgeQKtM934XY64kdL3wrqN/Vt0ZTswfudrme3wqjOFYdTYA0wrTmV1CjoguVkE
h2BA9ldLdcmkyy0nxSXw1LmwCIfGwT9ZzQkG2AJt+g2T0BKcEwt4B9FiGEpVlF+a
OQXw6AkAmYrAQLcRA8OB6tBNctO1SwtK8q21NT764PbqEsh+RLaiXqJXNcb3N9Jl
XSkpLizDGQnVEFZYErxQbP/2JQxViHAB3tE7M7X4Hs5ajLPxz5dVmXVmXhy9adXV
Sfa6CPxel1Ay9QyT1OAlrB+ScWst3Tpu6l1BWFuF//bDFOiEeTUgrH+XT4+XE2pI
+szmONDQYDP1pG/cN7I+t8001LLxxf0d1bxnVA2HY1FDIdS2gXrw6PvVMSbMRkWg
qPGpDRYUqIzVb0Fam9ZR58sssLRAZDGCrSlvG3okuHznK25V26cpTdlHyM97m92w
jFZM7OiFVrKXucElWf6DCtzLSOTuWxS/xZjK1OrMlZIFNqvj/Cs=
=D92N
-----END PGP SIGNATURE-----
