Back to cvc4 PTS page

Accepted cvc4 1.8-3 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 29 Oct 2022 14:49:40 -0400
Source: cvc4
Architecture: source
Version: 1.8-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Scott Talbert <swt@techie.net>
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:
 3cc23445e891a081c5988a03763fc5a8bdb3877d 2244 cvc4_1.8-3.dsc
 65d5a6a58c48952a5ab85d237fd97f3668debe61 16728 cvc4_1.8-3.debian.tar.xz
 8f8d60cf5eb070df026fe08c7febf31bf846edf8 10669 cvc4_1.8-3_amd64.buildinfo
Checksums-Sha256:
 9eff67686af16ae138139c72d985ba2055f8b9f7499e72227084c05d205a8e5e 2244 cvc4_1.8-3.dsc
 2352cb3bcf46a49d70fd3f5d46664a85810ed2f17fa12b6038e387ba34a426e2 16728 cvc4_1.8-3.debian.tar.xz
 296c7d6381d121ebcd95877df433563cbe961ed96850ab164a914d80940f8b10 10669 cvc4_1.8-3_amd64.buildinfo
Files:
 8de14465c33e6e26fd27411178b9d47a 2244 math optional cvc4_1.8-3.dsc
 046098e2ea74c89f4bda2efad82b4af2 16728 math optional cvc4_1.8-3.debian.tar.xz
 084ffc94a537e59d992bfe495ee68004 10669 math optional cvc4_1.8-3_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNdgvQPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iichcP/i8ZmV5rmjyQjRxMSPZZRSPr42+aOuzQyXvi
Uuq1ek9UNiE+SZg7FkhdkgcVZm/2FOM89yDBcEffIpqB/f9uRXpwm/AJBSSDAQy9
pSmpV0ROn/EzdmLOI5JLJNzdA2ig6v+HRG5tP/8LxSpqqoGzP1WAKR7I/2g4wlT3
fkEDPI63gRKuordHKQYLxJdxMQA8cY0kckEP/us0VUS4ie6skbU4lqmYR9cmbwG4
G/k0GAIG9jTqmOgt0+QgVKsyHWIk4xk3mt/aNm4YJlsyXlxue7M9w3DPHzf6mwVF
ClSvfD9ZcAQV/Prw63dEK3Xhgr5pZxpvX6pL0O/UFf2h6q1itc0aWKrG3mvOPLUF
mjY3FF0HMd7s2S5iWziw1D9aVaFWtd5VdegeaqhfIn6Ltb+/sRXhsFHFZc5yJe3n
1cixWp20g5LOWO0wemXVpfp+mAEd+ZTd2/7bUy+MmkIXwUcEV66EgtMIpMWg43Ua
D8AsObMtJR1SSuiVi3YDzJ9FqwlOyRG5LeB99xzv+kaHT3WJyLfi3TicKG0astpn
xPjF8zFSD64GL8xTiE/brPO7L4eLMxSnrOKG2zRONsGTiv2DOgxPCYkByxC8k1J2
SJvFTrPGdCzJ2tyuSvk48LDN7Lw9JxJw6XNFSMO7I8OJudMJDFThFVx2xojf1aan
QezYMiUE
=UMqr
-----END PGP SIGNATURE-----