coq.9.2.0
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 | 5ccb53a4f45b | — | ||
| (plan) | pending | docs | 1702bd6acf93 | blessed | f2c84b676799 | — | ||
| (plan) | pending | docs | 1702bd6acf93 | blessed | ff87faf0f017 | — | ||
| (plan) | pending | docs | 13d690ad6451 | blessed | a35e55729323 | — | ||
| (plan) | pending | docs | 13d690ad6451 | blessed | 5ba2f76147aa | — | ||
| (plan) | pending | build | — | blessed | 36846fbe7ccc | — | ||
| (plan) | pending | docs | 13d690ad6451 | blessed | 6b6319e5c2b3 | — | ||
| (plan) | pending | docs | 13d690ad6451 | blessed | 1f942d84bb52 | — | ||
| (plan) | pending | build | — | blessed | aeb7a343612f | — | ||
| (plan) | pending | docs | 13d690ad6451 | blessed | 832002c963f6 | — | ||
| (plan) | pending | docs | 13d690ad6451 | blessed | e8b39a691aca | — | ||
| (plan) | pending | build | — | — | e6606e109773 | — |