Log in / Register
Jason Gross
Overview
Code
Bugs
Blueprints
Translations
Answers
created
on 2018-05-24
Build status
Failed to build
on
lgw01-amd64-012
Started
on 2018-05-24
Finished
on 2018-05-24
(took 2 minutes, 30.8 seconds)
buildlog
(20.6 KiB)
Build details
Recipe:
Recipe coq-master-daily for Jason Gross
Archive:
Coq Daily Builds (master)
Series:
Trusty
Pocket:
Release
Binary builds:
None