Coq Daily Builds (master) : Code : Jason Gross

Jason Gross

created on 2021-09-28

Build status

Successfully built on lgw01-amd64-016

Started on 2021-09-28
Finished on 2021-09-28 (took 35 minutes, 28.6 seconds)
buildlog (25.1 KiB)

Build details

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

Archive:: Coq Daily Builds (master)

Series:: Hirsute

Pocket:: Release

Binary builds:: amd64 build of coq 8.master~git~202109281718+22658-0~daily363-b30c8272f0~ubuntu21.04.1 in ubuntu hirsute RELEASE [~jgross-h/ubuntu/coq-master-daily]