coqide.8.20.1
Not built in the latest run: a build dependency may have failed, or this version isn't the blessed one. See the history below.
History
| Time | Run | Status | Category | Universe | Blessed | Hash | Deps | Error |
|---|---|---|---|---|---|---|---|---|
| (plan) | pending | build | — | blessed | 3738530fc9fa | — | ||
| (plan) | pending | docs | 7e08d29b65ff | blessed | 07faad950467 | — | ||
| (plan) | pending | docs | 71032282208b | blessed | 8b61d706efd7 | — | ||
| (plan) | pending | build | — | blessed | a8e3b5f2e477 | — | ||
| (plan) | pending | docs | 71032282208b | blessed | 84bdc5b1b33f | — | ||
| (plan) | pending | build | — | blessed | 049266160414 | — | ||
| (plan) | pending | docs | 71032282208b | blessed | 48a1dc4498d6 | — | ||
| (plan) | pending | build | — | — | 70ec5ffaf183 | — |