action needed
A new upstream version is available: 20250923
high
A new upstream version 20250923 is available, you should consider packaging it.
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.7.2 instead of
4.7.0).
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-unimath.png){kind=link}