-----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-----
