coqide-server.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 | 6458dc1767a0 | — | ||
| (plan) | pending | docs | e9b6dba15c3d | blessed | 94675ed17a8b | — | ||
| (plan) | pending | docs | 3f12234d2010 | blessed | 1da95f62033a | — | ||
| (plan) | pending | build | — | blessed | c2c0fdf89f68 | — | ||
| (plan) | pending | docs | 3f12234d2010 | blessed | a0b17b7561b4 | — | ||
| (plan) | pending | build | — | blessed | be6c885b47f3 | — | ||
| (plan) | pending | docs | 3f12234d2010 | blessed | 9b06422bbc0d | — | ||
| (plan) | pending | build | — | — | f655333e31de | — |