Back to cvc5 PTS page

Accepted cvc5 1.1.1-1 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted cvc5 1.1.1-1 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Mon, 12 Feb 2024 03:20:34 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: cvc5_1.1.1-1_source.changes
Debian-source: cvc5
Debian-suite: unstable
Debian-version: 1.1.1-1
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-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=gdGoiEzvWqvfV1GrNi/rjHhM9R9Q5OY4tC9j/i5562A=; b=ZaN6NyNGqjSBGmbgTop7PDKlH6 /YvdPkky2zD0CzXy+DO/zNG6YFpHwUDuXLS7ipieBUaszGDXl1sk7aDdqD/2m76CQAS/USB2WyLPk ebEep9tu+vNzmUL6/9Ku9DASNRgDqd+/wd8rTKhceBz7LnV41Otmpd9q4tw/6OeJMd8pspBc08/nj GBvZq6Bi+8vmYS98ItNY2MUFdZLWnn9VqYJmGBPRJgCf6ilMp3hFSJF4+RYiGvWdEQNUWuR+TU/Sz A+cVSAteQerEEgYmjEDCbZ8VcNKJ/z4S75FRz6gQSe5K5ZIxhBTJMHepBrzJ27nBkboz4B3DZPC0V m2nqBN1g==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1rZMry-009x9o-63@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

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

Format: 1.8
Date: Sun, 11 Feb 2024 21:10:35 -0500
Source: cvc5
Architecture: source
Version: 1.1.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Scott Talbert <swt@techie.net>
Changes:
 cvc5 (1.1.1-1) unstable; urgency=medium
 .
   * Update to new upstream release 1.1.1
   * Fix FTBFS with CLN 1.3.7
   * Build-Depends: pkg-config => pkgconf
Checksums-Sha1:
 e4f5127b4aec381459ceb4e1172c5608c5d53729 2470 cvc5_1.1.1-1.dsc
 557685a5324ccbbbf6e8acf094292239a819a172 8509343 cvc5_1.1.1.orig.tar.gz
 a2bcba459c3a31a6051a86a5fec42dcc49a0df5d 6944 cvc5_1.1.1-1.debian.tar.xz
 bf390e1f31fcd57a152e2d9c6256f7c1a5139329 11893 cvc5_1.1.1-1_amd64.buildinfo
Checksums-Sha256:
 2acc89e35f37d865a773aeac92246f2001f62c9aa9f2d06ec3378f9c05c24ec8 2470 cvc5_1.1.1-1.dsc
 4747502675a778d4bf5ae9590adff0c3a8258b1198098cc39ac537b0cc7802cd 8509343 cvc5_1.1.1.orig.tar.gz
 8f8e814690b11e1246c0ee641bfa354ab4c0ef470388af905360950f5f94876c 6944 cvc5_1.1.1-1.debian.tar.xz
 54001c508d455e260d98d262d737dad706e116f54cd64ab3e26c4ea4cacbff45 11893 cvc5_1.1.1-1_amd64.buildinfo
Files:
 25a4ee881222adb0f4c8d89459775d14 2470 math optional cvc5_1.1.1-1.dsc
 e531248dadd40743625a665f6f558ed3 8509343 math optional cvc5_1.1.1.orig.tar.gz
 200253e88f38b0f7bd5b929958d10b5c 6944 math optional cvc5_1.1.1-1.debian.tar.xz
 8667dc20996cf381232152f68c2b1fdc 11893 math optional cvc5_1.1.1-1_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmXJiCYPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiF7gP/jWLcOQcY6xHPu+cDtBDkWN9Z0gJ/rSuT105
8rzQLqSMZlhORfEd2MDQl3QQcw3cJC/NLXOPg/YO5eCYrz5zsLsw+tkhkoMq7hbJ
6aApzipu8YpFKvqBU+6RmwnaP6rSL7dbY1+8JdernJPFWGT2K4uin8xaP3EmIGWe
XdsiuALoakPrtynYOOAQhhgDq3LNm+ObCW6z1DIVlDrLSGCga3rMuVXaNviaSFTj
DHIc1vIINdZ85lRSNi4FesnhB4GiXBpgt4E4XByBMxAkTcXFzDsGsKtVba62vBZ+
cLxA6TsJe9vSAluCnhudTKZVIfT7me5HKO2B7mWmkYQS92HBfgnsBPTeWq68pBIl
/MMnK2bU7YjoVEwLucEewam9UxQwzsiGCmbnkaMGNecrndLdCiojqM9vbd+/krn3
g+lFo7yxjshxbxmCaMGxI/jX1/hxwzv8czjo0iaKCrzHgIiKbcgalzP57yfdaiYK
rBz19e+b4rC5tVZeM2S4fPsJBnhTxdWqeE3KolpoBUVgFsl0boWfMptSQb0Fham6
IRDaZdt3Hl7IvbSbyc+V2+cFF0f6GMjV0DAQSfXg3oeDKbbWCf5VvXW2QhkxnJWW
NDlW4vrv3nEn6dG2Y1thFSeD0lWUKTrKExloruAiEs2A194nlSKGLUTfc3pR0OQ5
6pwagINh
=G/Mr
-----END PGP SIGNATURE-----

Attachment: pgpdPQlQSg_hI.pgp
Description: PGP signature