coq-8.18-daily
Created by
Jason Gross
on
2023-10-29
and last modified on
2023-10-29
Description
Daily builds of Coq v8.18
Recipe information
- Build schedule: (?)
- Built daily
- Owner:
- Jason Gross
- Base source:
- lp:~jgross-h/coq/+git/coq
- Debian version:
- {debupstream}~{time}+{revno}-0~daily{revno:packaging}-{git-commit}
- Daily build archive:
- Coq Daily Builds (v8.18)
Latest builds
Status | When complete | Distribution series | Archive |
---|---|---|---|
Successful build | buildlog (19.6 KiB) | Mantic | Coq Daily Builds (v8.18) |
coq - 8.18~git~202310292304+24194-0~daily405-f022d5d194~ubuntu23.10.1 | buildlog (214.7 KiB) | amd64 | |
Successful build | buildlog (19.7 KiB) | Noble | Coq Daily Builds (v8.18) |
coq - 8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu24.04.1 | buildlog (214.9 KiB) | amd64 | |
Successful build | buildlog (28.0 KiB) | Jammy | Coq Daily Builds (v8.18) |
coq - 8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1 | buildlog (244.8 KiB) | amd64 | |
Successful build | buildlog (24.5 KiB) | Lunar | Coq Daily Builds (v8.18) |
coq - 8.18~git~202310292304+24194-0~daily405-f022d5d194~ubuntu23.04.1 | buildlog (241.3 KiB) | amd64 |
Recipe contents
# git-build-recipe format 0.4 deb-version {debupstream}
lp:~jgross-h/coq/+git/coq v8.18
nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian v8.18