matita.0.99.5
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 | a86ab64e1b7e | — | ||
| (plan) | pending | docs | 9c693a466344 | blessed | 2f6dc84631b6 | — | ||
| (plan) | pending | docs | 9c693a466344 | blessed | 809a1dd4227f | — | ||
| (plan) | pending | docs | 9c693a466344 | blessed | e13f47ed878f | — | ||
| (plan) | pending | docs | 9c693a466344 | blessed | 5a33c9985b20 | — | ||
| (plan) | pending | docs | 9c693a466344 | blessed | bd19dc61a3af | — | ||
| (plan) | pending | build | — | blessed | 4cab6fdd8da9 | — | ||
| (plan) | pending | docs | 803c3a573f5b | blessed | a0f56465ec02 | — | ||
| (plan) | pending | docs | 803c3a573f5b | blessed | 0cd90d2706f7 | — | ||
| (plan) | pending | docs | 803c3a573f5b | blessed | acdceb98afc4 | — | ||
| (plan) | pending | docs | 803c3a573f5b | blessed | 9f93078ab774 | — |