Accepted cvc5 1.0.5-1 (source) into unstable

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

Format: 1.8
Date: Tue, 20 Jun 2023 12:11:06 -0400
Source: cvc5
Architecture: source
Version: 1.0.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Scott Talbert <swt@techie.net>
Closes: 1037616
Changes:
 cvc5 (1.0.5-1) unstable; urgency=medium
 .
   * Update to new upstream release 1.0.5 (Closes: #1037616)
   * Update Standards-Version to 4.6.2 (no changes needed)
   * Rules-Requires-Root: no
Checksums-Sha1:
 39687f886029d105f62972b9cec76335432ee8e1 2335 cvc5_1.0.5-1.dsc
 62afe28182342c622cd938b68ec15f3ec8cbae12 8431503 cvc5_1.0.5.orig.tar.gz
 2f83c8d1747704a19ea5f702d881f9886d32b04a 5988 cvc5_1.0.5-1.debian.tar.xz
 9a66f4554ef36340338311afe79bdacd0f758753 11044 cvc5_1.0.5-1_amd64.buildinfo
Checksums-Sha256:
 4f58c5af24fa1422bdcd17a86d14fe77e66ffec36b015f01115672b4adfeb757 2335 cvc5_1.0.5-1.dsc
 a9705569fe36c70291dd1eb6dc5f542d33da51f82da46558e3455ed6995b1b7a 8431503 cvc5_1.0.5.orig.tar.gz
 70463900ae6be8db0431bf8abe0e3be347454cfa621ef81c35d2da1e17d700ea 5988 cvc5_1.0.5-1.debian.tar.xz
 b8da5839eaa3dbd744f30cd11dee39318c97d3f8e4a4751b2b317f9fb92d03bc 11044 cvc5_1.0.5-1_amd64.buildinfo
Files:
 50f8389968f809415ba7f283cff767cb 2335 math optional cvc5_1.0.5-1.dsc
 57717622ec2afbc8664b6865c4142833 8431503 math optional cvc5_1.0.5.orig.tar.gz
 9a4a6318a0c1b5b3d11ca9ff5187d574 5988 math optional cvc5_1.0.5-1.debian.tar.xz
 08199fdae94774fb34baa686c4db725e 11044 math optional cvc5_1.0.5-1_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSR240PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiGQcP/Ri+x4Xf8aQ1N7ryje1YL3f+dvIfBdxLtA6s
jiGPBJV5n5IWN9UDC8/f0ECVejoB7nZqhDyBgiyWKJpObumvU2DZhpvNHPXA6jgA
Vzoya7Zi+g9xd6cp0zs/H1GSRe8e6yf5trhYeh+8x9m4y1QXbY+ovxV4AvrfiLnI
XYIhoemxZ/6l4PxmVOGNt0mduEpF98WQE39/mEgCw3rl2WAn3JaBjizbXXatS1Uq
QQ4/xrDh9zZjvuyKnNqiH3tsYNr+p7c/uXXhYGJJj0r39p5dZwdqIcaJgiRcGnKR
STLM2AivdE+V7Ga01frzQ7RhVRZQ7iPvkdxjTU9/WEFAngZDnmlHiL6T4mmjzRf3
nvz2qZk1acsK6Q+hnmDTHaPQqAJ9odudEP7+Lv25nf082gCF4N7UZErUweZGSKmc
PCEtRNCx6BhvKxVEHtWrf2Ps7+HVJxGIBDNfGhBm8+PCaSOLjhB5ygj7VOZSWHlx
kLZHphpwVADYii4zhaa7MoJvDDISV+tmh+SIhBlwb3lr9bLtVE/d5LQ6h/deX8Ui
PeKZrv8mNcJ9GQvVy2tYcvgP/0QdFyuHpb7fW+QS3iG20f+uL0EbcPSLs/BLHkt2
72Y6B8YMEagNrrlMHtFMhjKuymUVm7Ikd23vTrDi18zv1wiAIJIJboYu5rxniZaO
14EfMJwH
=ImVP
-----END PGP SIGNATURE-----