Jason Gross

coq-8.12-daily-coqide-no

  1. Recipes
  2. coq-8.12-daily-coqide-no
Created by Jason Gross on 2020-05-19 and last modified on 2022-11-11

Description

Daily builds of Coq v8.12 (for bionic, xenial, trusty, precise)

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

Latest builds

Status When complete Distribution series Archive
[FULLYBUILT] Successful build buildlog (18.4 KiB) Bionic Coq Daily Builds (v8.12)
[FULLYBUILT] coq - 8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1 buildlog (139.2 KiB) amd64
[FULLYBUILT] coq - 8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu18.04.1 buildlog (139.1 KiB) i386
[FULLYBUILT] Successful build buildlog (16.9 KiB) Trusty Coq Daily Builds (v8.12)
[FULLYBUILT] coq - 8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu14.04.1 buildlog (136.7 KiB) amd64
[FULLYBUILT] coq - 8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu14.04.1 buildlog (136.7 KiB) i386
[FULLYBUILT] Successful build buildlog (17.9 KiB) Xenial Coq Daily Builds (v8.12)
[FULLYBUILT] coq - 8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu16.04.1 buildlog (136.3 KiB) amd64
[FULLYBUILT] coq - 8.12~gitubuntu1~202206232326+21623-0~daily335-25fcbe6c68~ubuntu16.04.1 buildlog (136.3 KiB) i386
[FULLYBUILT] Successful build buildlog (18.0 KiB) Bionic Coq Daily Builds (v8.12)
[FULLYBUILT] coq - 8.12~gitubuntu1~202102031434+21622-0~daily335-e64a5adb4a~ubuntu18.04.1 buildlog (138.8 KiB) amd64
[FULLYBUILT] coq - 8.12~gitubuntu1~202102031434+21622-0~daily335-e64a5adb4a~ubuntu18.04.1 buildlog (138.7 KiB) i386
[FULLYBUILT] Successful build buildlog (17.7 KiB) Xenial Coq Daily Builds (v8.12)
[FULLYBUILT] coq - 8.12~gitubuntu1~202102031432+21622-0~daily335-e64a5adb4a~ubuntu16.04.1 buildlog (136.8 KiB) amd64
[FULLYBUILT] coq - 8.12~gitubuntu1~202102031432+21622-0~daily335-e64a5adb4a~ubuntu16.04.1 buildlog (136.0 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.12
nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian v8.12-coqide-no