binary_package_name: null
trusted_certs: null
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49
Format: 1.8
Date: Sat, 29 Oct 2022 14:49:40 -0400
Source: cvc4
Binary: cvc4 cvc4-dbgsym libcvc4-7 libcvc4-7-dbgsym libcvc4-dev libcvc4parser7 libcvc4parser7-dbgsym
Architecture: arm64
Version: 1.8-3
Distribution: sid
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Scott Talbert <swt@techie.net>
Description:
cvc4 - automated theorem prover for SMT problems
libcvc4-7 - automated theorem prover for SMT problems (runtime)
libcvc4-dev - automated theorem prover for SMT problems (development files)
libcvc4parser7 - automated theorem prover for SMT problems (parser runtime)
Closes: 1020010
Changes:
cvc4 (1.8-3) unstable; urgency=medium
.
* Team upload.
* Fix FTBFS with bash 5.2 (Closes: #1020010)
* Fix FTBFS due to cryptominisat API changes by disabling cryptominisat
Checksums-Sha1:
cb58011a655ede144377457bbdd1566e231dd27c 1002084 cvc4-dbgsym_1.8-3_arm64.deb
e6b24611e90b0a65fecbcda5268f37da2e7afa16 9123 cvc4_1.8-3_arm64.buildinfo
4021a5321a9a467f0090c18eacf39f3670d24dd5 75912 cvc4_1.8-3_arm64.deb
9387fe8e019f3695d41cc594045ddb69811e91dc 200349496 libcvc4-7-dbgsym_1.8-3_arm64.deb
cfabb1b8c9d7970555e29c5117ddb5260764a77b 5609524 libcvc4-7_1.8-3_arm64.deb
13a69a18f1b7688b8add7475133d6dcda061a8a1 131188 libcvc4-dev_1.8-3_arm64.deb
93152ae8b36307b148749c5041361e067f01e097 5193396 libcvc4parser7-dbgsym_1.8-3_arm64.deb
d54164a90cbb8fb78bf627d145435c3824c17343 333740 libcvc4parser7_1.8-3_arm64.deb
Checksums-Sha256:
1e34a14dd599126d466cb9c057a6991632645793d09cb2feb87137ef1a1c46c6 1002084 cvc4-dbgsym_1.8-3_arm64.deb
c65b186d12113b2c15e2b0aa5b189e74a55a2349e23325e871154275c7c06e7e 9123 cvc4_1.8-3_arm64.buildinfo
07bb256a83edc80aef80d467a0d2775350162bf64cf63d599e91575b1233566f 75912 cvc4_1.8-3_arm64.deb
ce616c103910fd637b272ff06e912184dce90b7cb8f00904692bdae9177c78e5 200349496 libcvc4-7-dbgsym_1.8-3_arm64.deb
4b1415cb2df9a7b825ba53466ff63436d9fad443f08b45a25efda8164c808858 5609524 libcvc4-7_1.8-3_arm64.deb
9a02f00268136b49bf161fcd1b92b34ef172ba8d1433abe7ef39c7d6303a89cb 131188 libcvc4-dev_1.8-3_arm64.deb
49e4a84538018bd3c9c18d1e64af74a58a833726e871ce850dbd5ba0f4cf0e3d 5193396 libcvc4parser7-dbgsym_1.8-3_arm64.deb
f8a00eb4093971d43e2678c05e4ca6921f2bd6dd9a2b5f824f3ec9aa1708b269 333740 libcvc4parser7_1.8-3_arm64.deb
Files:
93c0d3ac70afba2f9e5fa4ec33105079 1002084 debug optional cvc4-dbgsym_1.8-3_arm64.deb
3c7c68d0953e25aaae02fdbd6fe90f51 9123 math optional cvc4_1.8-3_arm64.buildinfo
682f8a6b5d9b472d6fca8d27e88347ec 75912 math optional cvc4_1.8-3_arm64.deb
5be78d6ba4727254a0c3862d107b1433 200349496 debug optional libcvc4-7-dbgsym_1.8-3_arm64.deb
1ce78036e0f76af438631f4b4ca1df1d 5609524 libs optional libcvc4-7_1.8-3_arm64.deb
681f0e13b2d50d38677091acf1fab22e 131188 libdevel optional libcvc4-dev_1.8-3_arm64.deb
50637c53d26cc52b52e09b0b1748a92f 5193396 debug optional libcvc4parser7-dbgsym_1.8-3_arm64.deb
8ca8bf42cfa74d3b104161b0cdc03d62 333740 libs optional libcvc4parser7_1.8-3_arm64.deb
| Relation | Direction | Type | Name | |
|---|---|---|---|---|
| relates-to | Package upload | cvc4_1.8-3 |
|