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

Bug#1023712: marked as done (why3 breaks frama-c (autopkgtest): missing versioned Breaks?)

Your message dated Tue, 27 Dec 2022 21:35:54 +0000
with message-id <E1pAHc2-00CMEa-KS@fasolo.debian.org>
and subject line Bug#1023712: fixed in frama-c 20220511-manganese-3
has caused the Debian Bug report #1023712,
regarding why3 breaks frama-c (autopkgtest): missing versioned Breaks?
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.)


-- 
1023712: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1023712
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Source: why3
Control: found -1 why3/1.5.1-1
Severity: serious
Tags: sid bookworm
User: debian-ci@lists.debian.org
Usertags: breaks

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.1-1
frama-c                from testing    20220511-manganese-1.3
all others             from testing    from testing
I copied some of the output at the bottom of this report. The message seems serious enough (to my eyes) that you'd want to prevent this on partial upgrades and during dist-upgrades. Does why3 (version in unstable) really break the version of frama-c in testing? Then adding a *versioned* Breaks might be a good idea. Maybe the failure isn't as bad as it looks, then please just close this bug report (but be warned, why3 might migrate then, while the fixed frama-c seems stuck).
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/28047266/log.gz

[kernel] User Error: cannot load plug-in 'frama-c-wp': cannot load module
  Details: implementation mismatch on Why3
[kernel] User Error: Deferred error message was emitted during execution. See above messages for more information. 
[kernel] Frama-C aborted: invalid user input.
autopkgtest [20:18:19]: test eva

Attachment: OpenPGP_signature
Description: OpenPGP digital signature


--- End Message ---
--- Begin Message --- 
Source: frama-c
Source-Version: 20220511-manganese-3
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 1023712@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: Tue, 27 Dec 2022 21:00:26 +0100
Source: frama-c
Architecture: source
Version: 20220511-manganese-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 1023712
Changes:
 frama-c (20220511-manganese-3) unstable; urgency=medium
 .
   * Create a versioned dependency on libwhy3-ocaml-dev (closes: #1023712).
     As a consequence, remove dependency on libwhy3-ocaml-dev in the tests.
   * Standards-Version 4.6.2 (no change)
Checksums-Sha1:
 a85e80371c3d63345d9c4a65d58294c2bf60da92 2407 frama-c_20220511-manganese-3.dsc
 475924960094539e4fe94290c7b595eb8322164a 16200 frama-c_20220511-manganese-3.debian.tar.xz
 8b5eab2be1cc039adca5ab64e13956aafb244580 16723 frama-c_20220511-manganese-3_source.buildinfo
Checksums-Sha256:
 d57d4a2faceba559cf461a1b146b7774fdf27c9a2802c8db0f637635205a965c 2407 frama-c_20220511-manganese-3.dsc
 1811f59a32b2d4fec3e2aff223fb13f4ec8c9a097bd1536cd4be1bb2e956dbe9 16200 frama-c_20220511-manganese-3.debian.tar.xz
 465603f5fbe682045246fcc3055923468b6584b2553efbc3c8c107311e9ae96a 16723 frama-c_20220511-manganese-3_source.buildinfo
Files:
 9cc2dd85f24b9a840d2114981f12aa73 2407 devel optional frama-c_20220511-manganese-3.dsc
 a32f321c9473966208af467abba35c1c 16200 devel optional frama-c_20220511-manganese-3.debian.tar.xz
 e7a82f9c3f6a02cf94594088ced80dd1 16723 devel optional frama-c_20220511-manganese-3_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmOrYPgACgkQdFxHZtTK
zf+iZRAAgaPbKJu5seMHo9Oi6ChiGK/VYe76iV8Rkfo96JH+xaGvf3YI34oTC54o
bSxudhNNHxIfq0ZH6LyhgoPHyDGh4fI4aE3OsHyaFH24fAx+JzagUlHwIWu4Q/fo
YoJXMuHzQJSoOwhuyeKGQ22mKGPIdX38KFrtZT+zGUTPBiYQdigvBBzdmsu5LXZT
eNPMTsjv/HQkW04+Yk8n7NNl4uh3fUnHcWNMRS/lzypGN430o/Q+UclmAcKdlaNF
LLosKoCh3PpLQdJ11o7uYZQXp9QC1KJ6Rbm0gm7y5v7Jn3PuYZ0Uv4PiJ1oAskGC
LEuNC/6JgqPrzNKmybK6n+vcOCncwJKzDuBh2EniZ7inW7yYlKdHT8MMM9PL4xzj
ZfE5Aq86x1HXUL3yAc/cb+mKuG5CgfDe7LdoBtbbAH1MkzASgpVuWvkYkMzqLy0r
Q9xq8cvzXCn8rFgPNCp46eLmm9GbR7Zcu61TfP+nrDevh/gst8DLSmeS0SNAOCbm
PicCsf7w/3aBTRUZYkHGjvvUISSBKysg0CfeJ7IU7pSpoB5Ge9EA3xprwPuG8rRW
SILRtSzMzn9TudjTkFJ8R8MFVade2PsWJgFnq5A0MXOFQVzsstZneeWNXO+C/96K
8XHKfxYuj+qHC49Dz1iyjRbeLHqrxzf5q/LhsgYZFCDOsRKtMiM=
=ZTaO
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: