unstable: fail (log)
The tests ran in 0:00:17
Last run: 2025-08-26T14:48:25.000Z
Previous status: unknown
testing: pass (log)
The tests ran in 0:00:53
Last run: 2025-08-01T09:57:08.000Z
Previous status: unknown
stable: pass (log)
The tests ran in 0:01:20
Last run: 2025-08-20T19:57:55.000Z
Previous status: unknown
Marked for autoremoval on 03 November due to gringo: #1112978high
Version 1.9.0-1 of mathcomp-analysis is marked for autoremoval from testing on Mon 03 Nov 2025. It depends (transitively) on gringo, affected by #1112978. You should try to prevent the removal by fixing these RC bugs.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/m/mathcomp-analysis.png){kind=link}