Version 4.3.0-1 of coq-iris is marked for autoremoval from testing on Wed 19 Aug 2026. It depends (transitively) on aflplusplus, affected by #1141089. You should try to prevent the removal by fixing these RC bugs.
Problems while searching for a new upstream version
high
uscan had problems while searching for a new upstream version:
In watchfile debian/watch, reading webpage
https://gitlab.mpi-sws.org/iris/iris/tags?sort=updated_desc failed: 500 Can't connect to gitlab.mpi-sws.org:443 (Connection timed out)
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-iris.png){kind=link}