-----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-----
