action needed
Debci reports failed tests
high
-
unstable: fail (log)
The tests ran in 0:00:13
Last run: 2025-08-26T07:46:53.000Z
Previous status: unknown
-
testing: pass (log)
The tests ran in 0:00:43
Last run: 2025-08-01T11:00:13.000Z
Previous status: unknown
-
stable: pass (log)
The tests ran in 0:00:38
Last run: 2025-08-11T09:55:01.000Z
Previous status: unknown
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-extructures.png){kind=link}