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