coq-master-daily
Created by
Jason Gross
on
2017-07-06
and last modified on
2023-11-05
Description
Daily builds of Coq master
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 (master)
Latest builds
Status | When complete | Distribution series | Archive |
---|---|---|---|
Successful build | buildlog (31.0 KiB) | Noble | Coq Daily Builds (master) |
coq - 8.master~git~202405011933+24851-0~daily415-2c718b52c7~ubuntu24.04.1 | buildlog (234.6 KiB) | amd64 | |
Successful build | buildlog (21.3 KiB) | Mantic | Coq Daily Builds (master) |
coq - 8.master~git~202405011933+24851-0~daily415-2c718b52c7~ubuntu23.10.1 | buildlog (225.4 KiB) | amd64 | |
Successful build | buildlog (28.4 KiB) | Jammy | Coq Daily Builds (master) |
coq - 8.master~git~202405011934+24851-0~daily415-2c718b52c7~ubuntu22.04.1 | buildlog (233.6 KiB) | amd64 | |
Successful build | buildlog (28.4 KiB) | Jammy | Coq Daily Builds (master) |
coq - 8.master~git~202404301934+24847-0~daily415-dff2011a09~ubuntu22.04.1 | buildlog (233.7 KiB) | amd64 | |
Successful build | buildlog (31.0 KiB) | Noble | Coq Daily Builds (master) |
coq - 8.master~git~202404301933+24847-0~daily415-dff2011a09~ubuntu24.04.1 | buildlog (234.5 KiB) | amd64 |
Recipe contents
# git-build-recipe format 0.4 deb-version {debupstream}
lp:~jgross-h/coq/+git/coq master
nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian master