Version 20240715+ds-1 of coq-menhirlib is marked for autoremoval from testing on Mon 24 Aug 2026. It depends (transitively) on aflplusplus, affected by #1141089. You should try to prevent the removal by fixing these RC bugs.
Migration status for coq-menhirlib (20240715+ds-1 to 20260209+ds-2): Waiting for test results or another package, or too young (no action required now - check later)
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-menhirlib.png){kind=link}