Accepted cvc4 1.5-1 (source amd64) into unstable, unstable
-----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-----