vcswatch reports that
this package seems to have a new changelog entry (version
4.4.0-3, distribution
UNRELEASED) and new commits
in its VCS. You should consider whether it's time to make
an upload.
Here are the relevant commit messages:
commit 830928c10e9dcdb5e7aa2acabea44fb4598b7ae5
Author: Gianfranco Costamagna <locutusofborg@debian.org>
Date: Mon Jan 12 09:48:06 2026 +0100
Increase again timeout for slow riscv64
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-iris.png){kind=link}