Coq Daily Builds (v8.9) : Code : Jason Gross

Jason Gross

created on 2019-04-15

Build status

Failed to upload on lgw01-amd64-037

Started on 2019-04-15
Finished on 2019-04-15 (took 17 minutes, 58.0 seconds)
buildlog (21.9 KiB)
uploadlog (595 bytes)

Build details

Recipe:: Recipe coq-8.9-daily for Jason Gross

Archive:: Coq Daily Builds (v8.9)

Series:: Trusty

Pocket:: Release

Binary builds:: None