Accepted cvc5 1.1.1-1 (source) into unstable

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