Accepted cvc5 1.0.3-1 (source) into unstable

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

Format: 1.8
Date: Mon, 19 Dec 2022 20:35:50 -0500
Source: cvc5
Architecture: source
Version: 1.0.3-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.0.3-1) unstable; urgency=medium
 .
   * Update to new upstream release 1.0.3
   * Update missing shared library patch
Checksums-Sha1:
 51a730278e8fdcbe892cf01bb8b0f45d4ab511e3 2305 cvc5_1.0.3-1.dsc
 8353c57af7cfb72056dae18e3b3284b2d88fc550 8335175 cvc5_1.0.3.orig.tar.gz
 80029ea8d57f216b7b5dfe63c0df899e5a89d416 5964 cvc5_1.0.3-1.debian.tar.xz
 ed9eacc7e93a326cdd4e87f33d6a5da731ae266e 11041 cvc5_1.0.3-1_amd64.buildinfo
Checksums-Sha256:
 1771bd03d0f098a08a1284ea8a6705811f005953799af382effa92e706faf329 2305 cvc5_1.0.3-1.dsc
 bf787b74c35ef61958865902e21dcb8f98f79d910b00a9e762a00ff8fcd2c462 8335175 cvc5_1.0.3.orig.tar.gz
 cb2e46cad33dbe2c5c39d9806b667e1d81f5ba49388b818968b46d49d33cf319 5964 cvc5_1.0.3-1.debian.tar.xz
 e540281c0aac6f51d2c3e3559980d7e447305e4cef757bf931a18512b37e9d87 11041 cvc5_1.0.3-1_amd64.buildinfo
Files:
 e14a3ad0a24e5c5c183f968f8deb1258 2305 math optional cvc5_1.0.3-1.dsc
 a5109967596dc8a8e0ac3a052535dd93 8335175 math optional cvc5_1.0.3.orig.tar.gz
 a24d0c2c511eb308cd17a1cc62f9561b 5964 math optional cvc5_1.0.3-1.debian.tar.xz
 cea900672928a948fb2a5b67d0d35165 11041 math optional cvc5_1.0.3-1_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmOhKRMPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiVW8P/3CiHOq3L5jKkw+E5VWg0dK8LBncL57V1RLu
5htMIL7CPdkGXh5+SedZ/kLynQUXdxh6LngLSEn/gje5LsDqEOerm9/k+XRPbzeZ
Sy291ons/tefhoy/KjnNTVIBImcY8Sk9QZ3TW2/aWIV1VoZe3bZibSn02TWuipb4
2XlV4RPAlddnoHmzwJwfBvZjMYObh+NRsh4WIOGguPO7hfvkWYZAnNqyZAIGlgmD
PpPPYOcRE/agzGVMxXkWyAja5li3NtyV/Fe79ebHGm/KlRZbo+7BXxc5K5IslCnY
hImZ9Ts+DHxL2f7ahXsbC9h7yriFwBJng0G7KOM2czEuva1gZ8YBLaNiM1/iC8Us
B5hcHcJZ46Aprp2PvxGOXRBTcWOM6TB0P4l7Bfe8dsrLmSh17ovtqXvmZ8e82Muj
2vV4LtFdAl4JIpGwraqdBeqk9IphSDbTJAkbdcwveHRBE8zsvTxHUZvrLQm2reDF
4qEXw+oBFhYzcWGbQ6fwwUYGU5LigidGahuHqdV9dbXarZktmGp4nNT8JIn1gH3F
1C0UrUIGUYZUnDZYhm3rpbhjljGdUD4YKymFedYDjsTZKcrtgvbiFOGtToo22Bpy
svjXjMICAS2Snqwsov+bBZuqH8DrsFjkrsrm6OoungNvsEy6SM7xMZ2InZOhbSFB
nWi8SQcb
=QU83
-----END PGP SIGNATURE-----