coq-8.10-daily

Created by Jason Gross on 2019-04-09 and last modified on 2019-09-05

Description

Daily builds of Coq v8.10

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.10)
Distribution series:

Latest builds

Status When complete Distribution series Archive
[FULLYBUILT] Successful build 8 hours ago buildlog (28.4 KiB) Eoan Coq Daily Builds (v8.10)
[FULLYBUILT] coq - 8.10~git~201911210736+20513-0~daily322-6fe2c4e~ubuntu19.10.1 8 hours ago buildlog (133.8 KiB) amd64
[FULLYBUILT] coq - 8.10~git~201911210736+20513-0~daily322-6fe2c4e~ubuntu19.10.1 8 hours ago buildlog (133.6 KiB) i386
[FULLYBUILT] Successful build on 2019-11-14 buildlog (28.4 KiB) Eoan Coq Daily Builds (v8.10)
[FULLYBUILT] coq - 8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1 on 2019-11-14 buildlog (133.7 KiB) amd64
[FULLYBUILT] coq - 8.10~git~201911142320+20511-0~daily322-d1aa3dc~ubuntu19.10.1 on 2019-11-14 buildlog (133.5 KiB) i386
[FULLYBUILT] Successful build on 2019-11-13 buildlog (28.4 KiB) Eoan Coq Daily Builds (v8.10)
[FULLYBUILT] coq - 8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1 on 2019-11-13 buildlog (133.8 KiB) amd64
[FULLYBUILT] coq - 8.10~git~201911131725+20510-0~daily322-2a2f751~ubuntu19.10.1 on 2019-11-13 buildlog (133.5 KiB) i386
[FULLYBUILT] Successful build on 2019-11-12 buildlog (28.4 KiB) Eoan Coq Daily Builds (v8.10)
[FULLYBUILT] coq - 8.10~git~201911121134+20509-0~daily322-9285413~ubuntu19.10.1 on 2019-11-12 buildlog (133.8 KiB) amd64
[FULLYBUILT] coq - 8.10~git~201911121134+20509-0~daily322-9285413~ubuntu19.10.1 on 2019-11-12 buildlog (133.6 KiB) i386
[FULLYBUILT] Successful build on 2019-11-09 buildlog (28.4 KiB) Eoan Coq Daily Builds (v8.10)
[FULLYBUILT] coq - 8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1 on 2019-11-09 buildlog (133.8 KiB) amd64
[FULLYBUILT] coq - 8.10~git~201911091708+20508-0~daily322-6064128~ubuntu19.10.1 on 2019-11-09 buildlog (133.6 KiB) i386

Recipe contents

# git-build-recipe format 0.4 deb-version {debupstream}~{time}+{revno}-0~daily{revno:packaging}-{git-commit}
lp:~jgross-h/coq/+git/coq v8.10
nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian v8.10