Bug#970510: marked as done (why3: does not work with current version of cvc4)
Your message dated Wed, 23 Sep 2020 20:38:40 +0000
with message-id <E1kLBXE-000AvB-1s@fasolo.debian.org>
and subject line Bug#970510: fixed in why3 1.3.3-1
has caused the Debian Bug report #970510,
regarding why3: does not work with current version of cvc4
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 owner@bugs.debian.org
immediately.)
--
970510: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=970510
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: why3
Severity: important
Dear maintainer,
this seems to be the same issue as #942344, just this time it's cvc4
instead of z3: share/provers-detection-data.conf lists CVC4 versions
up to 1.7, but the current version is 1.8, so the autopkgtests for
why3 fail.
Best regards,
Fabian
--- End Message ---
--- Begin Message ---
Source: why3
Source-Version: 1.3.3-1
Done: Ralf Treinen <treinen@debian.org>
We believe that the bug you reported is fixed in the latest version of
why3, 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 970510@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated why3 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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 23 Sep 2020 21:23:15 +0200
Source: why3
Architecture: source
Version: 1.3.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 970510
Changes:
why3 (1.3.3-1) unstable; urgency=medium
.
* New upstream release:
- drop patch why8.12, issue is solved by upstream
* Alternative dependency of why3, and test dependency on cvc4: add a
version constraint << 1.8 since cvc4 is supported only up to upstream
version 1.7 (closes: #970510)
Checksums-Sha1:
8e27ddb94f89b2c84f57b48d5474655d9b476dce 2839 why3_1.3.3-1.dsc
8a3b7e075ba6f64f0ab88251b0450b1e3a09d23c 5807572 why3_1.3.3.orig.tar.gz
51c34014128bd89b2500be0b325c50282940bac8 18428 why3_1.3.3-1.debian.tar.xz
f7346878dd6b7666e67f432fea52056c77d34a63 14772 why3_1.3.3-1_source.buildinfo
Checksums-Sha256:
e13ae5969036d7cbee86f89fe2134fa3454f68d28fbec02eaa9dae16fdcc0c7a 2839 why3_1.3.3-1.dsc
9cc64ae6c64d95e6e2f622fa1d2aaa675e4e1e4a06d234c6fb60da17ac150ad8 5807572 why3_1.3.3.orig.tar.gz
320f469cec1fa54dce78d7d7726eda9dc823d1a3ccbe880b149c29b815992892 18428 why3_1.3.3-1.debian.tar.xz
5399bb5f1b73bb4c9b1343f552bfad94dde4a2d05cb28b83ede179c51c551dcc 14772 why3_1.3.3-1_source.buildinfo
Files:
792c34712ff28dc8c63364db8db33d51 2839 math optional why3_1.3.3-1.dsc
7e189ce7b3ae8e25a12bea87b1629a59 5807572 math optional why3_1.3.3.orig.tar.gz
19351cab782d9a16265cf9013cea594d 18428 math optional why3_1.3.3-1.debian.tar.xz
80abba34932a5abf0bde55d6c044e5fd 14772 math optional why3_1.3.3-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9rpsoACgkQdFxHZtTK
zf+14Q/8DLv4x47WLQ3117mKGL6DiL50gLm5kzqAsVO5VNIDGpDIx9DFb4Ofh+Wk
wCvhJhfHNrMqunqCX9TcqQXVnCpHh9+QqqZj6r1c/qckNSgR/BxQI6C/LhaHgeiU
ZYGF6kSsOw7jblrp7/FF/pGQXiDA9ZU6nhS6BPYT3ALmQnNHu4WGdCVhxB8CAD7Y
8APKl1qQapWP8Hi+vuvrd9xn+cqpFxQMnJhDv5ycxy4Y+/xu3DBQW1bAXNl2fzt6
fDhzM5UnzVmNH4obQ53WBxVMMjPMiVMrPBy8Pz0elsZx3yNiQIHLAdEjSX6fqKR9
yhDjxsAUf/8uLRVAmVKS+71F5qgCUy2EpcUYArgqeKq7aM24yubcuJaIDrvdRl1X
HoUAE6LGQpy4yvKNi4FfhXghfTl8WLQrdMRKN/9L7Zp49PjyChcyLN7MkydEQQVF
afCCZDDfnH4SmTS+rOcJTb3fuCgn/tS7B8lHQWN/SHwJ3xKf0kxLqrlKmWbN92ks
rbMMt8wH0VlC5y8GL/7Vdy531OpmqaQb8U9Z3Ydkv2hOIWhAg/4v6jXwf2Gv5fsv
1kMGwwc4y6i3V4ZOXXpRdqdshu01pnzCfJfhj7NeH/aV/FIxPYPUx6NJiO03DeoH
vgJWRN4mgHtxgFotuWqDxxSjx8Di6GvofcTl2PsBKOgIsRaT4Cw=
=JwR/
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: