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

Jason Gross

created on 2023-10-29

Build status

Successfully built on lcy02-amd64-046

Started on 2023-10-29
Finished on 2023-10-29 (took 5 minutes, 49.4 seconds)
buildlog (19.6 KiB)

Build details

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

Archive:: Coq Daily Builds (v8.18)

Series:: Mantic

Pocket:: Release

Binary builds:: amd64 build of coq 8.18~git~202310292304+24194-0~daily405-f022d5d194~ubuntu23.10.1 in ubuntu mantic RELEASE [~jgross-h/ubuntu/coq-8.18-daily]