coq-8.11-daily
Created by
Jason Gross
on
2019-11-25
and last modified on
2022-11-11
Description
Daily builds of Coq v8.11
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.11)
Latest builds
Status | When complete | Distribution series | Archive |
---|---|---|---|
Successful build | buildlog (31.8 KiB) | Jammy | Coq Daily Builds (v8.11) |
coq - 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.04.1 | buildlog (178.1 KiB) | amd64 | |
Successful build | buildlog (29.5 KiB) | Focal | Coq Daily Builds (v8.11) |
coq - 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu20.04.1 | buildlog (151.4 KiB) | amd64 | |
Successful build | buildlog (24.7 KiB) | Lunar | Coq Daily Builds (v8.11) |
coq - 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu23.04.1 | buildlog (170.6 KiB) | amd64 | |
Successful build | buildlog (24.9 KiB) | Kinetic | Coq Daily Builds (v8.11) |
coq - 8.11~git~202211111517+20980-0~daily331-bebc99540f~ubuntu22.10.1 | buildlog (170.8 KiB) | amd64 | |
Successful build | buildlog (30.7 KiB) | Impish | Coq Daily Builds (v8.11) |
coq - 8.11~git~202206232325+20980-0~daily331-bebc99540f~ubuntu21.10.1 | buildlog (167.0 KiB) | amd64 |
Recipe contents
# git-build-recipe format 0.4 deb-version {debupstream}
lp:~jgross-h/coq/+git/coq v8.11
nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian v8.11