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
https://salsa.debian.org/api/v4/projects/ocaml-team%2Fcoq-iris API request failed: 401 Unauthorized at /srv/qa.debian.org/data/vcswatch/vcswatch line 410.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-iris.png){kind=link}