unstable: fail (log)
The tests ran in 0:00:19
Last run: 2025-08-26T12:28:45.000Z
Previous status: unknown
testing: pass (log)
The tests ran in 0:00:36
Last run: 2025-08-01T16:13:39.000Z
Previous status: unknown
stable: pass (log)
The tests ran in 0:00:39
Last run: 2025-08-20T12:31:30.000Z
Previous status: unknown
Marked for autoremoval on 03 November due to gringo: #1112978high
Version 8.20.0-1 of coq-corn 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-corn.png){kind=link}