coq-8.18-daily-coqide-no
Created by
Jason Gross
on
2023-10-29
and last modified on
2023-10-29
Description
Daily builds of Coq v8.18 (for focal, bionic, xenial, trusty)
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 |
---|---|---|---|
Could not build because of missing dependencies | buildlog (10.2 KiB) | Xenial | Coq Daily Builds (v8.18) |
Could not build because of missing dependencies | buildlog (9.9 KiB) | Bionic | Coq Daily Builds (v8.18) |
Could not build because of missing dependencies | buildlog (9.2 KiB) | Focal | Coq Daily Builds (v8.18) |
Failed to build | buildlog (9.7 KiB) | Trusty | Coq Daily Builds (v8.18) |
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-coqide-no