-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 29 Jul 2017 00:31:25 +0200 Source: cvc4 Binary: cvc4 libcvc4-dev libcvc4-4 libcvc4parser4 Architecture: source amd64 Version: 1.5-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Fabian Wolff <fabi.wolff@arcor.de> Description: cvc4 - automated theorem prover for SMT problems libcvc4-4 - automated theorem prover for SMT problems (runtime) libcvc4-dev - automated theorem prover for SMT problems (development files) libcvc4parser4 - automated theorem prover for SMT problems (parser runtime) Closes: 757048 Changes: cvc4 (1.5-1) unstable; urgency=medium . * Initial release. (Closes: #757048) Checksums-Sha1: 1d4c88f76a567b8373f721e809eef63b20b6662e 2221 cvc4_1.5-1.dsc 781dfa9c62bff6f75919ea83e5c2fd1cb8c7f6f1 7926116 cvc4_1.5.orig.tar.gz 9f9a95cdcdfe06a673694a72dfe3665c3ed15e03 6012 cvc4_1.5-1.debian.tar.xz 8db5ad468206973c69688bc93eafa72376bc24f3 3006562 cvc4-dbgsym_1.5-1_amd64.deb 8732251b564a157684094d2776b4f02abc6e4e1b 8541 cvc4_1.5-1_amd64.buildinfo 57a32604fdf765ef5b95b126c0689d8fc9d6f5ab 136172 cvc4_1.5-1_amd64.deb 6cf54d3844b6f40a912d63f584c71acf5b5b1f1b 97653054 libcvc4-4-dbgsym_1.5-1_amd64.deb 014441cdb577395ba113841383808253beb0272a 3519852 libcvc4-4_1.5-1_amd64.deb 6048f415b34218029a62de7747041c010ac1add7 6154646 libcvc4-dev_1.5-1_amd64.deb b5e36bdfb297343f82de1be25a54b6729aa72486 4432632 libcvc4parser4-dbgsym_1.5-1_amd64.deb 9f9133bb1f0a9113b693d7c2866c0fc353199566 364242 libcvc4parser4_1.5-1_amd64.deb Checksums-Sha256: f3a079415b87a17fce4b8aa2e56d327734b8ceeba5c4aeabc98986e97c3d9133 2221 cvc4_1.5-1.dsc 57a38c4baa35fe62c336c16e2efaf3e15411501c225167ee44d4857a735581b8 7926116 cvc4_1.5.orig.tar.gz 1d9fadc893d9849b1cf7eb683d6d47a8d026529efc14f6c38074189da0a68f93 6012 cvc4_1.5-1.debian.tar.xz b3a5cd8c5ecdedb779eefa902a0c3dd16c2e498f4fb20cd7ff7760eddff551ca 3006562 cvc4-dbgsym_1.5-1_amd64.deb 6d11bb5c49d2d0fd93bc0573a0f5c9131320a804cb2a5c0a2eec75b28337bb9a 8541 cvc4_1.5-1_amd64.buildinfo dd2d9c96987486adb048bc66e6925b17d72a47aac691895b4e8b46d7d87a7e2c 136172 cvc4_1.5-1_amd64.deb b9a0d6b865469248f27a8524c9a93db2165a23e3b719ea6e0f63016ee6ddfb0f 97653054 libcvc4-4-dbgsym_1.5-1_amd64.deb 8ebddec0ce6c08b3a857a89d5b58852d5b506d64e7e18b08432da142f02167b5 3519852 libcvc4-4_1.5-1_amd64.deb d692fc984d72953ae1b6fc541426652f4377adeed9b00f9ce2f9405cc7055ad5 6154646 libcvc4-dev_1.5-1_amd64.deb 15584bf7eaf42e5d7526afe7df7449a601ee862bfdbbfe5b45772f844b1adf68 4432632 libcvc4parser4-dbgsym_1.5-1_amd64.deb 6bcd7f152088ab23f7215258730970c4b8ef78be47b3a88b18ef14d78584909a 364242 libcvc4parser4_1.5-1_amd64.deb Files: a10e8cc33e843842152943f4bd1ba9bd 2221 math optional cvc4_1.5-1.dsc f6e329763124bb7aaa3b4e86df1b3ade 7926116 math optional cvc4_1.5.orig.tar.gz 232e2b10011e08728d29ed4f5a97df2e 6012 math optional cvc4_1.5-1.debian.tar.xz dc6dfbc6ade5d5bdf4b26a739d2cb3ea 3006562 debug extra cvc4-dbgsym_1.5-1_amd64.deb d02c5f8a9e14001d4e78d2d173cf05b9 8541 math optional cvc4_1.5-1_amd64.buildinfo 25244770325e2d70ada38757cca8d281 136172 math optional cvc4_1.5-1_amd64.deb 1e3d7f55cdf3f7f869c10d3c8f43af26 97653054 debug extra libcvc4-4-dbgsym_1.5-1_amd64.deb 99412f629064ff5159a4a2e4502c0ae7 3519852 libs optional libcvc4-4_1.5-1_amd64.deb 390d67e9bdf34f360cad4286d61a467f 6154646 libdevel optional libcvc4-dev_1.5-1_amd64.deb 1c1802252ec4fca72d31871d40b11222 4432632 debug extra libcvc4parser4-dbgsym_1.5-1_amd64.deb 261f0b5d9e59d8db3265c57adf2723cb 364242 libs optional libcvc4parser4_1.5-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAll/eIMACgkQdFxHZtTK zf/gUA//QIXxEPfUvuj7eCSefOwV804ooIiT00G24GC+Iq6sAtrgAyy5KtifaDhV M8O7HXoe1eMdp4rd4k2Fikj4/BublCvK39Ux3z63sIWSWiY6B5ELLak1rzNVIKa6 TN8i6zrs7Bv7UhUYU8ikAv8EhQaV2H9YqJ3Uukgka0STM2cd81M17HzVtLDn05HZ vJP/NU7HHZMGJuVIAD/LvZPrxyAlrir3HyciqVxfgcGSjxGkvdP2S6cQrfDFauFC Z536Z+WPOA7djWGS0rlwh+VNww0yxgjXBy5V1fIm3JUmuyc4W6u0oPZVjOz2vrgH zWJGPz4YYtI2l/jOXSM/YnuLbFn200wQ0lEKBHd2HzzxuzCx3G2lom8KM+bvTRpx tWPJT7rn9lJSJN7U8MQcMXZAaYpOsmgItOdSwt3LjIbMHsrEcygWtUKWRFpYYlQp G1RKdm8nVmCv6qyv0uaSO6PbHWDnXtzGWXs2T+81+K5+zlKsBIawt5fQcUgWedv9 s5Z/Qa7llkmn80W3iosbd+QCfcaa3aB9wcSrdpYlTA0/9CzwhQ0e9tjAkMts8yGX OnptNsfwaCRyYQZwPGqPgLKhUxBeFMma+A8WcfL89kOfrwbd3kjFBfM9eC7DcLmO abYSA5lWKyhz7SpJ8TGF5LZJVr/19uxOQSZQHx+9vCYV3gV/SOk= =5XXt -----END PGP SIGNATURE-----
