Your message dated Fri, 23 Jun 2023 18:07:01 +0000
with message-id <[email protected]>
and subject line Bug#1034268: fixed in cvc5 1.0.5-2
has caused the Debian Bug report #1034268,
regarding cvc5: Please package the python modules
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1034268: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1034268
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: cvc5
Severity: normal
X-Debbugs-Cc: [email protected]
Hello,
There are two Python API to CVC5. The base API that closely match the
C++ one, and the pythonic API.
The base API is part of the main repository and should be built
automatically with the rest of the code. I guess it could be packaged as
a separate python3-cvc5 package with very little effort.
The pythonic API is another repository and uses the base API.
https://github.com/cvc5/cvc5_pythonic_api
I don't think packaging the base API would be too much additional work,
since it's from the same source code that produces the packages cvc5,
libcvc5-dev, libcvc5-1 and libcvc5parser1.
Having the pythonic API would be even better, but not necessary.
Best regards,
Celelibi
-- System Information:
Debian Release: 12.0
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable-debug'), (500,
'testing-security'), (500, 'testing-debug'), (500, 'stable-debug'), (500,
'unstable'), (500, 'stable'), (1, 'experimental-debug')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 6.1.0-6-amd64 (SMP w/8 CPU threads; PREEMPT)
Kernel taint flags: TAINT_PROPRIETARY_MODULE, TAINT_FIRMWARE_WORKAROUND,
TAINT_OOT_MODULE, TAINT_UNSIGNED_MODULE
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8), LANGUAGE not set
Shell: /bin/sh linked to /usr/bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: cvc5
Source-Version: 1.0.5-2
Done: Scott Talbert <[email protected]>
We believe that the bug you reported is fixed in the latest version of
cvc5, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Scott Talbert <[email protected]> (supplier of updated cvc5 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----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
<[email protected]>
Changed-By: Scott Talbert <[email protected]>
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-----
--- End Message ---
