Accepted cvc4 1.6-2 (source amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 12 Aug 2018 15:00:46 +0200
Source: cvc4
Binary: cvc4 libcvc4-dev libcvc4-5 libcvc4parser5
Architecture: source amd64
Version: 1.6-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Description:
cvc4 - automated theorem prover for SMT problems
libcvc4-5 - automated theorem prover for SMT problems (runtime)
libcvc4-dev - automated theorem prover for SMT problems (development files)
libcvc4parser5 - automated theorem prover for SMT problems (parser runtime)
Changes:
cvc4 (1.6-2) unstable; urgency=medium
.
* Add python3 to Build-Depends.
* Update Maintainer email address.
Checksums-Sha1:
04df1915f5f38b98a0c2739733562ff1d61626f4 2652 cvc4_1.6-2.dsc
da1bfdda85c94e47b065f68c5b3984c21da13489 8232 cvc4_1.6-2.debian.tar.xz
cf4a80d542b183d255da4a0efa3bcbcb17f69821 3555372 cvc4-dbgsym_1.6-2_amd64.deb
bca27bdf05b40f497659f9af6968f336217c0dfb 8485 cvc4_1.6-2_amd64.buildinfo
fea22a5937f97616d3c278fe45a45456c0d977a6 139660 cvc4_1.6-2_amd64.deb
7c953c00f7cb99c46bd9deb8953a02093fefa7a2 151678620 libcvc4-5-dbgsym_1.6-2_amd64.deb
2070d2dbd0956c01427c5c88125b1093b30707fc 4111784 libcvc4-5_1.6-2_amd64.deb
ca4a195817e52ddc2b3cb67cd9634db8cef5f5f8 6759800 libcvc4-dev_1.6-2_amd64.deb
86e9154c58fdcbb855a19fde0a9969ff0095de2d 6229456 libcvc4parser5-dbgsym_1.6-2_amd64.deb
890bcea194d9e7070cea09d456a728466fb073b2 362996 libcvc4parser5_1.6-2_amd64.deb
Checksums-Sha256:
fa5227654bb688fd9f0990c28ce0833a3efe2199f8480287c670fd351a696a3b 2652 cvc4_1.6-2.dsc
256cb4f2824a296cb5f01b72f9e762502a0e15dda19472a0038460a461c0b077 8232 cvc4_1.6-2.debian.tar.xz
45b18d548f52e3d2c06c5fea26c76beb714c56647e3dace064981c7f3dd97ee9 3555372 cvc4-dbgsym_1.6-2_amd64.deb
a9e5e44ca58970b3043853059d113bb3b6faf5c49a1254314042035135bb8956 8485 cvc4_1.6-2_amd64.buildinfo
aa43cf1aa8011d4ec0137038733648985594532be15fc9cf766dbeac7daca198 139660 cvc4_1.6-2_amd64.deb
3a2e6270189295b8a8b69405e3d2cf2bb8603ff917e2c39ae1c2a23350674048 151678620 libcvc4-5-dbgsym_1.6-2_amd64.deb
8169416439eeb7bae04bb35fd2361198524140557c5b91e9ce4be3790577e309 4111784 libcvc4-5_1.6-2_amd64.deb
4c0cfc3738bbe80d6079699f13a28e4c8d5072ce70fd4d78572efa7ab74d0fe7 6759800 libcvc4-dev_1.6-2_amd64.deb
71321a1b285f97df921464c6e1e4093f433d217fd7bd7c024f749aacdc03456a 6229456 libcvc4parser5-dbgsym_1.6-2_amd64.deb
2fc934b70edd85d9751c15e925c5fd9dd382b4ee8350975a0f99002c0e7dace5 362996 libcvc4parser5_1.6-2_amd64.deb
Files:
b65d2b868fd05a6aeb7606e5f03a05f3 2652 math optional cvc4_1.6-2.dsc
5879972c7bc864c809f0539aca156890 8232 math optional cvc4_1.6-2.debian.tar.xz
3ccd8f1efef8af03749ce7b4c545422c 3555372 debug optional cvc4-dbgsym_1.6-2_amd64.deb
1413c77bb807e8d428371bb4aab0f774 8485 math optional cvc4_1.6-2_amd64.buildinfo
740db1d1ed6a189b1be26096e182af97 139660 math optional cvc4_1.6-2_amd64.deb
ac559dbc578b6f12761bcd74b0a4cce4 151678620 debug optional libcvc4-5-dbgsym_1.6-2_amd64.deb
200c111264ed1e360c5aff870f49b631 4111784 libs optional libcvc4-5_1.6-2_amd64.deb
ef281cc565f2458d35f9aada432201bc 6759800 libdevel optional libcvc4-dev_1.6-2_amd64.deb
1cd1e531be142d14dbbdf803d750361e 6229456 debug optional libcvc4parser5-dbgsym_1.6-2_amd64.deb
df9b3d7b404a7fc3cebee3dad1e89620 362996 libs optional libcvc4parser5_1.6-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAltx3MEACgkQ0Ot2KGX8
XjZEJw//Zg87AqLhWpo+r4ud3Iicx0oCAi2MRPqNRTCw+vizXxxjXFmm3H1fOQ1v
CZmvljOORmt8dBfXyxi9y/HA3QnpQOjLwtv8nNQqzHHbun7daEL4ssHCz5OxZct0
KiJfy0+z7Q7LtCVQgr0B5HGFF1z6KggLkBiLWmVPygMBgN2v/C8aHktMJwCZpjHx
lXBfA9S+K+xdkO1DsCv8IYCPXe6Cl8wleRLbVqUqhspV8MK0YISdO+tZS9BnuhM5
M/JZyAzXb8GVf2FPb9rV135PtFVzQE35xPdJKOnEJRdEz7j2AL1++Z1ne5zg/X1m
SwDM9Nk3t12bEhEi8i/NzmhY+0YNXT0w/c/VYGFYQfCa2NdZCn+yxoHOEr/yted6
hVWBthib9e3HZs2/pD/T59YEERrVERyJ3mvHj60mgD2oGCSEe+UXy0DpBq9J+0re
ZHz8G52Y7eCVdTmWnZ9ArcgvTjNO0D8MpXpUxpV4zPEjWMk3ZiyXY9+Soh9bW3GC
zcrm8Frad938RxuF4ehyE6VJcJZRr1QAeBxwkip/QW9aVh3jfRJj2j3/VtNHlJ1R
4fN/dI8bFe474oinHd/KFyMJNYSCMJdpQ8tIRo4mKiFwEqLrbTa2duibvazEpnuw
B0MHez8MdNyFy14aCMD5G4BzgTlRUQmc8XxoJkBn4IObOQr8LBA=
=8O9a
-----END PGP SIGNATURE-----