action needed
Debci reports failed tests
high
-
unstable: fail (log)
The tests ran in 0:00:22
Last run: 2026-02-14T01:03:18.000Z
Previous status: unknown
-
testing: pass (log)
The tests ran in 0:00:42
Last run: 2026-02-12T18:57:50.000Z
Previous status: unknown
-
stable: pass (log)
The tests ran in 0:00:36
Last run: 2025-11-08T16:53:05.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.3 instead of
4.7.0).
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-extructures.png){kind=link}