vcswatch reports that
this package seems to have a new changelog entry (version
9.1.0-2, 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 1251e89b7f9e5abb7d1bfd12f5ae141c6baa6820
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Jul 15 11:05:53 2026 +0200
Add missing dep on libcoq-stdlib (Closes: #1141880)
![[bug history graph]](https://qa.debian.org/data/bts/graphs/r/rocq-stdlib.png){kind=link}