unstable: fail (log)
The tests ran in 0:00:20
Last run: 2025-08-26T09:18:11.000Z
Previous status: unknown
testing: pass (log)
The tests ran in 0:02:12
Last run: 2025-07-31T19:12:03.000Z
Previous status: unknown
stable: pass (log)
The tests ran in 0:01:43
Last run: 2025-08-21T00:05:07.000Z
Previous status: unknown
Marked for autoremoval on 03 November due to gringo: #1112978high
Version 4.11.1-1 of coq-interval 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/c/coq-interval.png){kind=link}