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