Your message dated Wed, 19 Apr 2023 11:30:17 +0200
with message-id <[email protected]>
and subject line why has been removed from Debian
has caused the Debian Bug report #902618,
regarding why: needs porting to why3 version 1.0.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 [email protected]
immediately.)
--
902618: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902618
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: why
Version: 2.40-3
User: [email protected]
Usertags: issue
Dear OCaml maintainers,
The why source package has an autopkgtest, great. However, with upload
of why3 version 1.0.0-1 the autopkgtest of why started to fail, delaying
the migration of why3 to testing by 13 days. I tried to figure out what
the issue is, but the test suite doesn't log anything at all, making it
difficult to judge.
Could you please improve the autopkgtest to produce debugging output?
Preferably always, but in any case during failure?
As you are also the maintainer of why3, please figure out where this
regression should be fixed.
Paul
https://ci.debian.net/data/autopkgtest/testing/amd64/w/why/523013/log.gz
autopkgtest [03:18:46]: test frama-c+jessie+alt-ergo:
[-----------------------
autopkgtest [03:18:47]: test frama-c+jessie+alt-ergo:
-----------------------]
autopkgtest [03:18:49]: test krakatoa+alt-ergo: [-----------------------
autopkgtest [03:18:50]: test krakatoa+alt-ergo: -----------------------]
signature.asc
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---
Version: 2.40-4+rm
why was last released with Debian 8 (jessie)
in April 2015 and has been removed from the Debian archive afterwards.
Regular security support for jessie ended in June 2018 and LTS support
ended in June 2020. I'm closing the remaining bug reports now.
Andreas
--- End Message ---
