Log in / Register
Jason Gross
Overview
Code
Bugs
Blueprints
Translations
Answers
created
on 2024-03-07
Build status
Failed to build
on
bos03-amd64-047
Started
on 2024-03-07
Finished
on 2024-03-07
(took 11 minutes, 31.5 seconds)
Build details
Recipe:
Recipe coq-master-daily for Jason Gross
Archive:
Coq Daily Builds (master)
Series:
Mantic
Pocket:
Release
Binary builds:
None