cvc5_1.0.2-1_amd64.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: Thu, 01 Dec 2022 18:44:45 -0500
Source: cvc5
Binary: cvc5 cvc5-dbgsym libcvc5-1 libcvc5-1-dbgsym libcvc5-dev libcvc5parser1 libcvc5parser1-dbgsym
Architecture: source amd64
Version: 1.0.2-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>
Description:
 cvc5       - automated theorem prover for SMT problems
 libcvc5-1  - automated theorem prover for SMT problems (runtime)
 libcvc5-dev - automated theorem prover for SMT problems (development files)
 libcvc5parser1 - automated theorem prover for SMT problems (parser runtime)
Closes: 1007981
Changes:
 cvc5 (1.0.2-1) unstable; urgency=medium
 .
   * Initial release. (Closes: #1007981)
Checksums-Sha1:
 0cc094d8deae8db79e7abb0058444c78c4c8273f 2305 cvc5_1.0.2-1.dsc
 1c1aaa03d79184eaf05becdccc3a25c769e021ba 8259299 cvc5_1.0.2.orig.tar.gz
 b244aa7c16bc0d19b923d1b9875883317d0c167e 6324 cvc5_1.0.2-1.debian.tar.xz
 bb3c7e18964e34a60bcca998b3e6991fe0448e8c 2541500 cvc5-dbgsym_1.0.2-1_amd64.deb
 989ea921ec1ea463954b63e69b158c579ea58bb6 10927 cvc5_1.0.2-1_amd64.buildinfo
 2f8e8b28c4c21a355659191921f358f7475377f7 107640 cvc5_1.0.2-1_amd64.deb
 2606299e831a8002bfc6194e4166b5261e3ab7fd 166708392 libcvc5-1-dbgsym_1.0.2-1_amd64.deb
 5c0076b45c92a7ae05ea8cc4eb2c984789f75556 5849264 libcvc5-1_1.0.2-1_amd64.deb
 fef40bac32ca0047956dd277e16f70a9f55189b2 57800 libcvc5-dev_1.0.2-1_amd64.deb
 64e4aa4bbcb79a85fe5f9fc8f1a070c58aa48a6c 4312100 libcvc5parser1-dbgsym_1.0.2-1_amd64.deb
 6c0002dea8abf70bbe5e4417e9200055b7c1a737 263584 libcvc5parser1_1.0.2-1_amd64.deb
Checksums-Sha256:
 ddb55f73444a8ec5c9a5fa135acab9ab26b8c72252b5e27fe8ea2fa5a055bf3f 2305 cvc5_1.0.2-1.dsc
 cde2bcacf90cd70dfd9cb2e8aea542188864841c6e652b7bae9dfb39adc04cf8 8259299 cvc5_1.0.2.orig.tar.gz
 1106a633f0257d1dcb60cad957afc1d3b8e4b83a8019ef12e1b06fe5650abb65 6324 cvc5_1.0.2-1.debian.tar.xz
 7fa70f4bf4950c7d22e02e9884d871cd10254177500ec6ea9126d479f3d177f9 2541500 cvc5-dbgsym_1.0.2-1_amd64.deb
 9b43ca4adb4a443f4d638f46702a4d5bc9b2c52a8affe3751bf5c068f1668d91 10927 cvc5_1.0.2-1_amd64.buildinfo
 f3a07f0552350441c4c89f3ec1f7c3302104421ec48d623310392bdc002a5fa2 107640 cvc5_1.0.2-1_amd64.deb
 d9ad3b163e226b46b59bed70cde5b17be53582821cee3e61be38c70838cbc4ee 166708392 libcvc5-1-dbgsym_1.0.2-1_amd64.deb
 acc27c75704a9c939b3a575a45b01d79dd0bf21d24feb556cc39b4a5dffb1142 5849264 libcvc5-1_1.0.2-1_amd64.deb
 69d5d139daa2cbc82cd4040c2b71449f2165eb964f160aba21051efed62b5716 57800 libcvc5-dev_1.0.2-1_amd64.deb
 3d30b915d51b0d1835b9debc55b8ae7adb59b11e833d85e62016bb6953bddf7b 4312100 libcvc5parser1-dbgsym_1.0.2-1_amd64.deb
 d0c54640ecacb74c8d635c4f1880f282aec61c5b57d8aa91c588d484d73a5aa8 263584 libcvc5parser1_1.0.2-1_amd64.deb
Files:
 73a3c787afb83364b1faa31dbd8bb69d 2305 math optional cvc5_1.0.2-1.dsc
 10ae2c7b00fe733f8a367fa6f5dfb614 8259299 math optional cvc5_1.0.2.orig.tar.gz
 b7864c54cec0a76a8a5379db6ca76c3c 6324 math optional cvc5_1.0.2-1.debian.tar.xz
 6e74128a3ebf44fad6098f9bc8d020a4 2541500 debug optional cvc5-dbgsym_1.0.2-1_amd64.deb
 dfd3bde5114fca261be46288693b1286 10927 math optional cvc5_1.0.2-1_amd64.buildinfo
 d22bb5f341aa14c1e88c512c1aab7c16 107640 math optional cvc5_1.0.2-1_amd64.deb
 d6c2e5d45b0917bf81fe5006c49210ae 166708392 debug optional libcvc5-1-dbgsym_1.0.2-1_amd64.deb
 c78a47ecf81cf98554f6d71b9551634c 5849264 libs optional libcvc5-1_1.0.2-1_amd64.deb
 296873d3db72bbcb1235ff5d61f8df20 57800 libdevel optional libcvc5-dev_1.0.2-1_amd64.deb
 0961fdb4a148c66b31950dff9f7dcf1e 4312100 debug optional libcvc5parser1-dbgsym_1.0.2-1_amd64.deb
 1928011c23dedc986e4fc78ea99194c1 263584 libs optional libcvc5parser1_1.0.2-1_amd64.deb

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmOJUZsPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiX4QP/A4ZEnJpTnwHUwp2rogchIAASrLDhDAMT4bD
MHsPctgzdUsLbiOfdQh6o8LyXMl+RvMiKdhQ7bIMRhXle5tkYiB3eBShEviXSt8B
2J/irsTuKr0cy/qtKOnSbm7jjJKL8i5rDo4LFyxNaFUbWhUelpZMGOfWMqasctKe
2nKxnILkP6Zdpy9T0tptb4zvEG39AzJXUcZ9q9YVyYUtVSASsaTtgrEowo/Spw7O
AjKlGybDcmTgniyzqDe9QkgaM//xFfn/XNYBFkDZCdWd9pumwZFZQTi/V/qYINbo
8GsKOrXG0+KM2C6viRF2Gj+btEWuA1sOQ4k/NF6pqVDY4qiFpJf3hz2mrBduvjVx
PxCPwYC7W3g87N2BPMWOl++Jol9QtPkuJK6a5YwryLw1dVrPZDM0FXP1u4rNwkMB
voS1vvfVLfUT3FPsPppFsZxOVha+Nw6KEc29f/4gqTel/4Ix+CxEgJTwGx7yTxod
8YEMSt8N/DIzSRR3DC3XeH8xEFdC+5NEVcM2UIhXc51XU4CzwijB41MbxeRWXHdi
rbEwrWJLD8SP+QqglVmV3XcqE+lmdwRXOSo+N2KbHalGYxP2hrPleR/8XMIJlVuz
xUCl5xYqSoNNEUdQZU3DzpASOjvwSyZTRyR+RBLgvWBJvpwwmJ+3ciw/7t4C+cRY
wjK94DkZ
=qqm/
-----END PGP SIGNATURE-----