[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1010867: marked as done (why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995")

Your message dated Sat, 18 Jun 2022 19:34:07 +0000
with message-id <E1o2eCt-000D75-7l@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 owner@bugs.debian.org
immediately.)


-- 
1010867: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1010867
Debian Bug Tracking System
Contact owner@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-ci@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

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20220511-manganese-1
Done: Ralf Treinen <treinen@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 1010867@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 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: 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-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@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 ---
Reply to: