Marked for autoremoval on 19 January: #1122492high
Version 1.8.2-1 of why3 is marked for autoremoval from testing on Mon 19 Jan 2026. It is affected by #1122492. You should try to prevent the removal by fixing these RC bugs.
Among the 2 debian patches
available in version 1.8.2-3 of the package,
we noticed the following issues:
2 patches
where the metadata indicates that the patch has not yet been forwarded
upstream. You should either forward the patch upstream or update the
metadata to document its real status.
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.7.3 instead of
4.7.2).
![[bug history graph]](https://qa.debian.org/data/bts/graphs/w/why3.png){kind=link}