cvc5_1.0.8-1_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, 17 Nov 2023 22:36:55 -0500
Source: cvc5
Architecture: source
Version: 1.0.8-1
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.8-1) unstable; urgency=medium
 .
   * Update to new upstream release 1.0.8
Checksums-Sha1:
 469631b6982eb209ab7bb6468dac09c40f518a68 2473 cvc5_1.0.8-1.dsc
 fcd4546b558244e50ae7ac54b73f67c08eb319a0 8393754 cvc5_1.0.8.orig.tar.gz
 a5a5a512f93a67234c96555c0e63bf88e3af9615 6364 cvc5_1.0.8-1.debian.tar.xz
 937a3a53fabbd32ea8563cf63892fb8520f1e690 11698 cvc5_1.0.8-1_amd64.buildinfo
Checksums-Sha256:
 d3afc4f722c373de71fcbd3d414837e75ad0b425e6fa4acea5eb9400a8035827 2473 cvc5_1.0.8-1.dsc
 9b61c6e27609db154657f105d7271a03b7798047b3aab1ca2ab58910fac788ba 8393754 cvc5_1.0.8.orig.tar.gz
 83aff240721ed6dfe2fc08592f9c0ec18be8c07c92f03f018f3cdab3c65c7600 6364 cvc5_1.0.8-1.debian.tar.xz
 7ed9dd6b5c4b701d4e937f16eead29bc18d576169af13b538c4ebd0b64b5e628 11698 cvc5_1.0.8-1_amd64.buildinfo
Files:
 9fdca71987006d548405d5ef538ebbe7 2473 math optional cvc5_1.0.8-1.dsc
 39803f43a769b2aed6adf12ab6373563 8393754 math optional cvc5_1.0.8.orig.tar.gz
 72aceda61f5eb3d11686d84063c365ef 6364 math optional cvc5_1.0.8-1.debian.tar.xz
 87502dd8f6000680eb408ae17a847af6 11698 math optional cvc5_1.0.8-1_amd64.buildinfo

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmWsg00PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iirZsP/2dUjaVHcapXxNk3YEMBppxGJXNxZuf/AYT/
5zFyb1qVfaeXJU8+FWNeRE3Mbl9Sj335cdy+2oGR60pFKuZ+50C/Jv8awtMbsWWP
Q+aUKDqRxfMECTr5rAHjNeJ3SC+6DYGN0yRY7cOwgme4swGkm8e/H9DCiX+yiDsl
0zXaHVJrws//AtNZHIowR+lLaZOhYTR12vd8uWEOiXp6fy7Xbdn3SnKG1821TgNx
XWEm3Gp1vhw28kKz7Tlcny0rBcSSpjfAThgtQ6sHTTuvL1AOdo+r+tw9nGaDlB4R
1CrRqM/D2YJkWE/uz+6c/27k0LMhmYos/9etlnR/yNTBVdE/9f7DLJkVBY+uKYfS
jfH9Llu0xzyz4CxpFXHYhs1xgWMdK4V3EEvYBYBD9Nl7oUWky7t2W69FXYNmuqgk
/ilAaTfYgRK8OY47U2uUbK+llBGjvc/gYo8zOpW7ZfftYPjWbETEhsVnWgOu+uBT
LpgZfcpXnBqEbxG/E/OjZ4cmtO8VK7guhoafxErdXMbH5o6kLbSC4di4oKEUYUGy
V6McZsiV7x79T6pTyea5ZVadW0LkGgVy8DchKxRUwt7Ps5S1BJLxhoquXIXWrXg5
X0z5+TW+8o8cEx0Y1QIwzQ2ArsrlUlM3JtnweDda2dD3f6UxpksjE2SCP0jpRid8
mb9GvwAL
=3zm3
-----END PGP SIGNATURE-----