cvc5_1.0.5-2_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, 22 Jun 2023 15:58:34 -0400
Source: cvc5
Binary: cvc5 cvc5-dbgsym libcvc5-1 libcvc5-1-dbgsym libcvc5-dev libcvc5parser1 libcvc5parser1-dbgsym python3-cvc5 python3-cvc5-dbgsym
Architecture: source amd64
Version: 1.0.5-2
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)
 python3-cvc5 - automated theorem prover for SMT problems (Python bindings)
Closes: 1034268
Changes:
 cvc5 (1.0.5-2) unstable; urgency=medium
 .
   * Build Python bindings (Closes: #1034268)
Checksums-Sha1:
 c49848be3b7266cfb171892ad520df76428c2755 2495 cvc5_1.0.5-2.dsc
 98de093613656df49a632f6394fb83a806a539ba 7036 cvc5_1.0.5-2.debian.tar.xz
 a3d83efd860077a92d3d6425df8be005d2ca40b8 1833024 cvc5-dbgsym_1.0.5-2_amd64.deb
 5caab34e110a54a1670f9253feb79303bcd4bfbf 12513 cvc5_1.0.5-2_amd64.buildinfo
 b4b4c78f8bdbfc8db58de281ce0b33d97d51117e 100112 cvc5_1.0.5-2_amd64.deb
 b85991150930719c24a7b9de43d95895039d479b 170633664 libcvc5-1-dbgsym_1.0.5-2_amd64.deb
 969c0602cbe9493eefc2776ba978742bd682de69 5906920 libcvc5-1_1.0.5-2_amd64.deb
 0245f2b90c26a61be184cd721292a30c239d759e 60616 libcvc5-dev_1.0.5-2_amd64.deb
 ecfa0147da65574084d16f22d115cf93fe348dee 6156808 libcvc5parser1-dbgsym_1.0.5-2_amd64.deb
 3f296b6dfcf3d4689a5b6086f03c42469207f34e 366828 libcvc5parser1_1.0.5-2_amd64.deb
 0d6c21344b9e9f84e0f77057905dfaeb73ba0190 2073504 python3-cvc5-dbgsym_1.0.5-2_amd64.deb
 fada93acf858d53ee4263952809384b2395c1441 228788 python3-cvc5_1.0.5-2_amd64.deb
Checksums-Sha256:
 1efcc962961351d44c2e506e8a27b1b2483020f3de5b8973331b514e56b52c6c 2495 cvc5_1.0.5-2.dsc
 d55b910b981eeceba47e8b10b4a32ac3b6c15057db954d5c5059fc4e1f51d017 7036 cvc5_1.0.5-2.debian.tar.xz
 f27d20107dd94d80fd4cd5ae13ce1fcb65cbeb51e1e78706e87f893df23e9641 1833024 cvc5-dbgsym_1.0.5-2_amd64.deb
 273df6d56b2fdffcc4f8a0c3f28225327072f3b6fc124678dbe641a6a09c9288 12513 cvc5_1.0.5-2_amd64.buildinfo
 882efc5a5210eaae01ed6ba85ca1fcf6e0f8c1d41091f85ffa83fad57a2215f9 100112 cvc5_1.0.5-2_amd64.deb
 3ed99a2e499734a34e6cf167324e6faba139056574ddac60045763d64d8b6b7f 170633664 libcvc5-1-dbgsym_1.0.5-2_amd64.deb
 b35611de3d838737bc8ea07c442a0502467abef03edaacbcf346d350ed0c22dd 5906920 libcvc5-1_1.0.5-2_amd64.deb
 9554ccccfa9d270d9a3c0acfdc604a6b5890007d584de6e6470dbb241e9cdf17 60616 libcvc5-dev_1.0.5-2_amd64.deb
 3f524e07d76938a7d376e81a65f9e64371ef3571feed235dd11aa10c250754e1 6156808 libcvc5parser1-dbgsym_1.0.5-2_amd64.deb
 9eaa86271b5ee60a238d0b877bd1c32bd3e643e10d5c2486bc30164e60469d6c 366828 libcvc5parser1_1.0.5-2_amd64.deb
 e5a19b6c1e8af9a54daa1b0602f1653df7bb4ccc9a4de9ecff3abe1d1f710da7 2073504 python3-cvc5-dbgsym_1.0.5-2_amd64.deb
 1ce40aa6b5c4ec62f2877b2c3a55d3b0ca3a84a5f1cdc4c69f6dbd461de4cecd 228788 python3-cvc5_1.0.5-2_amd64.deb
Files:
 025efc55cd6af2a32d9506053a64d9bc 2495 math optional cvc5_1.0.5-2.dsc
 6270c3acc9534f029c415b5a435b628a 7036 math optional cvc5_1.0.5-2.debian.tar.xz
 e2c8f694c9854de1b328b64e9a4bc531 1833024 debug optional cvc5-dbgsym_1.0.5-2_amd64.deb
 1882f9ac441274998aaa111237fd861c 12513 math optional cvc5_1.0.5-2_amd64.buildinfo
 ce9a1ff7e26f1d2f096d41a6bcb56e42 100112 math optional cvc5_1.0.5-2_amd64.deb
 8bbe87ca3f4b89046c68425687216f0e 170633664 debug optional libcvc5-1-dbgsym_1.0.5-2_amd64.deb
 4e2cafe4cb4a6108a4369dd79690fab8 5906920 libs optional libcvc5-1_1.0.5-2_amd64.deb
 35ee8a9596d2ae6b5ce1587e438901b6 60616 libdevel optional libcvc5-dev_1.0.5-2_amd64.deb
 513c98e1e9a6f53f4c847b364c209758 6156808 debug optional libcvc5parser1-dbgsym_1.0.5-2_amd64.deb
 221c8ba75968c7f55da44a899fda5e24 366828 libs optional libcvc5parser1_1.0.5-2_amd64.deb
 a49dcfad2eb3f9a7c6c6abd2229d1860 2073504 debug optional python3-cvc5-dbgsym_1.0.5-2_amd64.deb
 e20db6fb350a1a6d16c62f876effa26a 228788 math optional python3-cvc5_1.0.5-2_amd64.deb

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSU3OAPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiI5YQAKSeFjKqUPqf8oh74JgJ1Qrj7FTeq+GXw/BZ
YIdE4CvXSCOkvmHj0AyCjuOkfd7+txuBbjU4MHZVi9uLEfMrmYPJNxbnUV8+z7/h
R5U4gpgsIoLApfWXvy4l3KuBPmOCeqId5bTyBnDjiOrz2oI7qpUqPrlPd19/TfN+
n1Ex4BdZucABRZQNv6Lod3JmpJfS1BFP4NE1rYsQDC+gWrg5dbySOqjpsaN+cIh7
JLPFceYoVogyn9G7T+Wa5vWjJ3hnrPxHjspDYI3Rui9LCNRPuBonyLL51KZxSZ15
kJ+N7wDOUFMlE3wscs0xGGBi354w0nMTHxRMyLTUlf5SpH7U6ZEzFG/O0ivmunxB
eMUMohd5Vf6JRErcjt4KTOcoD09DTkmg5tyMf+Bpu5HaDsmQ/iSMsVs3bmgnhqLi
XXIEmwqsErI4P5d6HVgcqkhxOb+S8vn2GsX0Mx+gJg7qtD1ZIVm0/2s9e4v9+dye
OTcFqkhEWc0Pe6BpuENEOqos9VSwlCQ6uN78mvpBx8+gBerCNfYmiLqW9XPsgafV
rD6Ei7MfnC1AmfEwRWKwpOjQcg8Np+FbKJwUh69czg1w33tXta8L86O//VE2IJNj
3zycycXCmIbMw9ZzWYdy1bK466lGBknHa6Ln28icTVIb/q56jr2OqQ2t40JEf6C1
k9hFuWb9
=VmjA
-----END PGP SIGNATURE-----