vcswatch reports that
this package seems to have new commits in its VCS but has
not yet updated debian/changelog. You should consider updating
the Debian changelog and uploading this new version into the archive.
Here are the relevant commit logs:
commit 870da03ce1b104a65baf1126a162165c4c710f05
Author: Gianfranco Costamagna <locutusofborg@debian.org>
Date: Wed Oct 28 09:50:45 2026 +0100
Bump again riscv64 timeout
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-iris.png){kind=link}