Your message dated Sat, 18 Jun 2022 19:34:07 +0000
with message-id <e1o2ect-000d75...@fasolo.debian.org>
and subject line Bug#1010867: fixed in frama-c 20220511-manganese-1
has caused the Debian Bug report #1010867,
regarding why3 breaks frama-c autopkgtest: undefined symbol:
camlWhy3__Env__fun_3995"
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 ow...@bugs.debian.org
immediately.)
--
1010867: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010867
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: why3, frama-c
Control: found -1 why3/1.5.0-1
Control: found -1 frama-c/20211203-chromium-1
Severity: serious
Tags: sid bookworm
User: debian...@lists.debian.org
Usertags: breaks needs-update
Dear maintainer(s),
With a recent upload of why3 the autopkgtest of frama-c fails in testing
when that autopkgtest is run with the binary packages of why3 from
unstable. It passes when run with only packages from testing. In tabular
form:
pass fail
why3 from testing 1.5.0-1
frama-c from testing 20211203-chromium-1
all others from testing from testing
I copied some of the output at the bottom of this report.
Currently this regression is blocking the migration of why3 to testing
[1]. Due to the nature of this issue, I filed this bug report against
both packages. Can you please investigate the situation and reassign the
bug to the right package?
More information about this bug and the reason for filing it can be found on
https://wiki.debian.org/ContinuousIntegration/RegressionEmailInformation
Paul
[1] https://qa.debian.org/excuses.php?package=why3
https://ci.debian.net/data/autopkgtest/testing/amd64/f/frama-c/21530048/log.gz
[kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load module
Details: error loading shared library: Dynlink error: error loading
shared library: Failure("/usr/lib/frama-c/plugins/top/Wp.cmxs: undefined
symbol: camlWhy3__Env__fun_3995")
[kernel] User Error: Deferred error message was emitted during
execution. See above messages for more information.
[kernel] Frama-C aborted: invalid user input.
autopkgtest [05:10:25]: test eva
OpenPGP_signature
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---
Source: frama-c
Source-Version: 20220511-manganese-1
Done: Ralf Treinen <trei...@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 1010...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <trei...@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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 18 Jun 2022 19:39:11 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Ralf Treinen <trei...@debian.org>
Closes: 1010867 1011892
Changes:
frama-c (20220511-manganese-1) unstable; urgency=medium
.
* New upstream version. This version is compatible with why3 version
1.5.0 (closes: #1011892,#1010867).
* Add build-dependency on
- libppx-import-ocaml-dev
- libppx-deriving-ocaml-dev
* debian/copyright: drop mention of plugins that are no longer
included in the upstream distribution:
- coqwp
- ergo
* Standards-Version 4.6.1 (no change)
Checksums-Sha1:
7b19fce199137b067a484bf42834eaf8eacb8741 2426 frama-c_20220511-manganese-1.dsc
94cf9d19d886ee4228695259c35b22d4202656ee 8074351
frama-c_20220511-manganese.orig.tar.gz
36535a4c3a4f630b872ef1b438d05c51ef16b3ea 15808
frama-c_20220511-manganese-1.debian.tar.xz
0a673f766ef6f6cb45ed827e9e5342efaeee48bf 16133
frama-c_20220511-manganese-1_source.buildinfo
Checksums-Sha256:
2fe31ba18860259488b283916d286c2141cd520aa58f24798573bf00a75b7e4f 2426
frama-c_20220511-manganese-1.dsc
5efcab6ba0c291f7d5eacc64ced1a2e6e52f45fc029e997fca0997f13142d2fe 8074351
frama-c_20220511-manganese.orig.tar.gz
0c88bbba7746b6634d457d307d7c2d3133967c873335db4bd217a337c8f39fad 15808
frama-c_20220511-manganese-1.debian.tar.xz
73b64e0d025a445a69f9082f6981d0c81190086be47cb595f4666a721cbbb5ad 16133
frama-c_20220511-manganese-1_source.buildinfo
Files:
86906e04491c5f53097306466d29324f 2426 devel optional
frama-c_20220511-manganese-1.dsc
9d67adb5e1cefbe57c8292a3b7ddd9e6 8074351 devel optional
frama-c_20220511-manganese.orig.tar.gz
f66d24de771af0491b2677c367018c92 15808 devel optional
frama-c_20220511-manganese-1.debian.tar.xz
05c0a830ea894dec69c60c1d4aaa210f 16133 devel optional
frama-c_20220511-manganese-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmKuJMEACgkQdFxHZtTK
zf8INw//Tkm01G8nms7OUPulbnkBwoZfJ3TyD+dLKvn+itsjdMilO0gh7ZTkzYyN
xWRpxPkOR/Tb8/UcGWKj7qghyVWjMeMb5OuofbVAld2xVklnu99dz3QigAlr1vkc
eMM2lVz7L6jtxJzQcu44/Iv581v71pEKHVyMJscGZDYvaoKMnAHFZiTYwBwlEL/5
ay3/7ezdK+vRYtuFrWEIriC51KeZw0Tf4BXsKZnV5f/LsIVXOIa3NDVxhPSrlNM9
yXtUVXWPxHFAeVBnUJkqRfL32HoaQvsvKNcYFhHP8jABjm9cCMUImZzaqj9d9HI3
6frw9vxTd5v5f6siLdxblFY4sSXsKMKsAhvg+XvvMJRqADLunVWt8Rtmp8gFCcqn
+Nd4N0N2Uu0/TjynHRmAWPrpFutfNgPOCo9lzOvJ434p9+HIEM3VcMX2oFcW6bmE
24u1RrurUv4JYgdpKwXdSmRfQo5JFa08O66z8BP1+O4rPA+clN4o9Cora4izs/Vb
a9Waepu3jmca87CcNzB8NczHZT3u0ZdQU5MEBaGvQsQdbsvOKsWGkepYbvHDq7RQ
3X0z9NaldceW18F8O09nOM0L/SwJEh/7W+m57U3uG+HTyixE2oS5AI9y6WNCWRAr
I0lWbQs6eGOKJO8OJDTEN+VJEzPW+ITEym97RWe2n+qYoL6Qfis=
=6/JI
-----END PGP SIGNATURE-----
--- End Message ---
