-----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@alioth-lists.debian.net> Changed-By: Scott Talbert <swt@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-----
