Bug#1051485: marked as done (frama-c FTBFS with why3 1.6.0)
Your message dated Sat, 09 Sep 2023 07:04:49 +0000
with message-id <E1qes1R-00FXw0-8m@fasolo.debian.org>
and subject line Bug#1051485: fixed in frama-c 20220511-manganese-5
has caused the Debian Bug report #1051485,
regarding frama-c FTBFS with why3 1.6.0
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.)
--
1051485: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1051485
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: frama-c
Version: 20220511-manganese-4
Severity: serious
Tags: ftbfs
https://buildd.debian.org/status/fetch.php?pkg=frama-c&arch=amd64&ver=20220511-manganese-4%2Bb5&stamp=1694181938&raw=0
...
File "src/plugins/wp/ProverWhy3.ml", line 1129, characters 12-36:
1129 | let drv = Why3.Whyconf.load_driver (Why3.Whyconf.get_main config)
^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound value Why3.Whyconf.load_driver
make[1]: *** [share/Makefile.generic:77: src/plugins/wp/ProverWhy3.cmo] Error 2
--- End Message ---
--- Begin Message ---
Source: frama-c
Source-Version: 20220511-manganese-5
Done: Stéphane Glondu <glondu@debian.org>
We believe that the bug you reported is fixed in the latest version of
frama-c, 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 1051485@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated frama-c 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: SHA512
Format: 1.8
Date: Sat, 09 Sep 2023 08:26:56 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1051485
Changes:
frama-c (20220511-manganese-5) unstable; urgency=medium
.
[ Stéphane Glondu ]
* Team upload
* Disable Why3 support (Closes: #1051485)
* Depend on ocaml instead of transitional ocaml-nox
.
[ Debian Janitor ]
* Remove constraints unnecessary since buster (oldstable):
+ Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~).
+ Build-Depends: Drop versioned constraint on libocamlgraph-ocaml-dev (>=
1.8.8).
Checksums-Sha1:
cff26394c95c4ee4d33c7750c0c868d7000b7053 2145 frama-c_20220511-manganese-5.dsc
a6e389c92be52437df4cbf287594f23609f80c04 16816 frama-c_20220511-manganese-5.debian.tar.xz
Checksums-Sha256:
3db560705f3174655ab573d980f918d29ab841483770ca4a6abc1eb4bc5205ff 2145 frama-c_20220511-manganese-5.dsc
bcf844eb16f85e10f838df00d470faefe4b6be7e5cc613f6ce04ba4b76d8c4d5 16816 frama-c_20220511-manganese-5.debian.tar.xz
Files:
31710fa79f6973d59126335f16d9f3c2 2145 devel optional frama-c_20220511-manganese-5.dsc
0e607a2e35db67f5a740cd31a3be2c05 16816 devel optional frama-c_20220511-manganese-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmT8FWcSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBjpYH/1McKBH/t3uw/GWzC3ZJIMb7TRmlW0p1
2ksGrmF9lX8JiTXducEYsIxWZBxUqX/N5IWBu5zOw1gpVLFGPrkAXIAIKpe0eTGe
XesKDQheaBViSSrNb5khodwKu1MiOGalZ0hujcRl3pcKU0MkaHpe4pbBaptodVwW
Rx/Z6j7SxKXlH7fC8d9xUeMmc1qidGoGdbBSzXAY+zw69B+WRyFH/fHgLfNUEa0D
tuL2eRwMRO4IS9MGfdGKjVKRYfJgsvgrYaVnHWTSWTOSqyAGm3UVAEoXj/cqufmz
IGkaCYGk04SnCWKZf2JQ6TTIzvJjtMMhXWOp1Amx7jNK3bZpOoHZ1KM=
=oc4Q
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: