Accepted cvc5 1.0.5-2 (source amd64) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cvc5 1.0.5-2 (source amd64) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 23 Jun 2023 18:07:01 +0000
- Debian: DAK
- Debian-architecture: source amd64
- Debian-archive-action: accept
- Debian-changes: cvc5_1.0.5-2_amd64.changes
- Debian-source: cvc5
- Debian-suite: unstable
- Debian-version: 1.0.5-2
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=86NpBsM8OHjGwWxpDYD62HqPp6gQt+zKv10uJTU6Nkw=; b=MRD7C1UAGFO7ggGIbhNgEUa2IQ SJPfyW67Vwj555pJygIOpFb+WSM0mLWVQiVSRcsUkws+wnTDXfNedoNYbdmCqiBvciRdx149eQb/x gKrP50ArmDHFfO2oAL15R+0cgrKR4h/YwlOHhfm6HrAXcWkAK1pIiSRokNGU5B/0/Rm4B2L+E3I16 vAme8CYfjQ2ShyuUMRg/OWcbbt/TzYJ1qDbBsYuDRUghK+uJF4AlL6IIQVJ0dGIbNDbL0CRHHmLTJ uanwXNukpZWF7Z+4WqGL5OuVYyB5m+Q3Bz58cd5dQE4u1EAGBI3nVts+CTX8i5rPMK+RJ1hGXHaFs LRNL9Ihw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qClBV-0021Tx-5W@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----