cvc5_1.0.5-3_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Fri, 23 Jun 2023 15:50:35 -0400
Source: cvc5
Architecture: source
Version: 1.0.5-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>
Changed-By: Scott Talbert <swt at techie.net>
Changes:
 cvc5 (1.0.5-3) unstable; urgency=medium
 .
   * Post-NEW source-only upload
Checksums-Sha1:
 8e316db10aeb399cbcfa395c0c57ee7de3267d02 2495 cvc5_1.0.5-3.dsc
 7e0a9d7aea61350e4b02b63e27fa6416f52debe9 7072 cvc5_1.0.5-3.debian.tar.xz
 2c1f88a06513ca04f69171b948167c678aa7447b 10598 cvc5_1.0.5-3_source.buildinfo
Checksums-Sha256:
 70898638fd11aeb1e31d04370688d310ee523c248cafae52b6dbc21069d2c70a 2495 cvc5_1.0.5-3.dsc
 5bcf8290d17fe2481f9f97c9f011a8be10b3111b51b75d97feed3d829ba0956a 7072 cvc5_1.0.5-3.debian.tar.xz
 5cffec6de1aaa2525d7842f7366ba205ad033ae6cc73648bb37b3a09099042cd 10598 cvc5_1.0.5-3_source.buildinfo
Files:
 4b664462da59f285e3faab0081915ad4 2495 math optional cvc5_1.0.5-3.dsc
 584594a814c4ba284317287007c353c7 7072 math optional cvc5_1.0.5-3.debian.tar.xz
 b9d4ed27e602a4613b6e12cac5e16c80 10598 math optional cvc5_1.0.5-3_source.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSV974PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiGSUQAJLnoFikLi/ontpNC/zv7N3OH7dgC52cn2I+
DT5FCI/C0reW4tbPGdCcGgh9E4jQqeWDWSjru9izg3AeWcUa2Z7zM2rHoffTHwLQ
lDJu7K7Avx/8pRgEwwzN5crMGwvwPV044G/FxKDm3M/Sk2vd4rAlqnCCjRMSc+Ie
8ALFX4uILPXsXEZySINOveFwacV2eyVDNZ/I/rYRVL6adYcrXYdFAsjZQikbKese
asexxQC9uDzhNhCvuzHUIx433RqlyCvxEFiZtB89m+9T1Y0YMcEM+oUOxyw+PNjI
7Vm3BcZSm1h1S+688YGzBnOUZy6JEEBuXojKyOZ3hjHngY53DeUV7QOaVnnmAHDG
7CjLw3lqyphjT2THyk1/0yCWhtNrOyMNdxm3V32ZtRkIgShENnp/PeZuqVwp8ix3
/LJzLsqgbnb31y5b6BqndaXpxArGpBw5Kyn0tPecS4q5fdQl/PKC7SdU2YsnqsaY
Gf0FsSSM+DywnJ0ECEnwXgDaJyGcBOKlvzTJKVpMuD33d4w6uTQ0uGvps7usdGYd
M4Qs3rRREZxP8Ts/VX11RqTN+qLiODd59dk85RTlQCtVXew43otbUCZtvdhS+Bsl
bbWDoHOJ1DIjYXEzZJT+qXhJIHlJiDVQjFBnvf456Lr2V+YoM4GmiHvRrG8NTBAe
uYhklCc4
=abIO
-----END PGP SIGNATURE-----