Accepted cvc4 1.8-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cvc4 1.8-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 29 Oct 2022 20:36:34 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cvc4_1.8-3_source.changes
- Debian-source: cvc4
- Debian-suite: unstable
- Debian-version: 1.8-3
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=LsPJHMvZ53WFRqpZUO6Kef2LvjpXpHa4awCD+p4K2ig=; b=e5hZln+wMqEL92K5MlA6oicEcm Y00hYbhzoy2K6oSFEtvhcm4zWw7uDePrhAVAFw/e/J2Ereuk3R+l0TfVm33QGgt3o9MTGjjLGzIB+ NhpegmRcrDqFds9l0Xt8hjlD6pyh++4dhCADfOuA3mv9RqDRJHxoRus7GftR991wdNcr0c/pINdi8 psBv5wLDNSdgIgSUsECn2IroP9ktyRplXZAQwlqOhC29G+CjPxoVRHFQz2av2Z31xt+aymBaxlfok UTJEayV3a61K3fAOloNXbeZt8oLfX1mLSQngCcuAFnM8vpaSE6ZuigWhafC0hiYoYvUjMWap7+O4R g+xJepQA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oosZG-00GKqc-9W@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----