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

Jason Gross

created on 2023-06-27

Build status

Successfully built on lcy02-amd64-022

Started on 2023-06-27
Finished on 2023-06-27 (took 3 minutes, 25.1 seconds)
buildlog (22.2 KiB)

Build details

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

Archive:: Coq Daily Builds (v8.17)

Series:: Kinetic

Pocket:: Release

Binary builds:: amd64 build of coq 8.17~git~202306271817+23768-0~daily404-18722d285c~ubuntu22.10.1 in ubuntu kinetic RELEASE [~jgross-h/ubuntu/coq-8.17-daily]