Version 1.1.3+coq8.20-1 of paramcoq is marked for autoremoval from testing on Tue 01 Sep 2026. It depends (transitively) on aflplusplus, affected by #1132061. You should try to prevent the removal by fixing these RC bugs.
A new upstream version is available: 1.1.3+coq9.0high
A new upstream version 1.1.3+coq9.0 is available, you should consider packaging it.
This package has been requested to
be removed. This means that, when this request gets
processed by an ftp-master, this package will no longer be in
unstable, and will automatically be removed from testing too
afterwards. If for some reason you want keep this package in
unstable, please discuss so in the bug. Please see bug number #1143510 for more information.
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.4 instead of
4.6.2).
![[bug history graph]](https://qa.debian.org/data/bts/graphs/p/paramcoq.png){kind=link}