Jason Gross

coq-8.10-daily-coqide-no

  1. Recipes
  2. coq-8.10-daily-coqide-no
Created by Jason Gross on 2019-04-09 and last modified on 2022-11-11

Description

Daily builds of Coq v8.10 (for disco, 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.10)
Distribution series:

Latest builds

Status When complete Distribution series Archive
[FULLYBUILT] Successful build buildlog (17.8 KiB) Xenial Coq Daily Builds (v8.10)
[FULLYBUILT] coq - 8.10~git~202206232323+20528-0~daily328-70a5e6f670~ubuntu16.04.1 buildlog (120.6 KiB) amd64
[FULLYBUILT] coq - 8.10~git~202206232323+20528-0~daily328-70a5e6f670~ubuntu16.04.1 buildlog (120.4 KiB) i386
[FULLYBUILT] Successful build buildlog (18.3 KiB) Bionic Coq Daily Builds (v8.10)
[FULLYBUILT] coq - 8.10~git~202206232324+20528-0~daily328-70a5e6f670~ubuntu18.04.1 buildlog (123.7 KiB) amd64
[FULLYBUILT] coq - 8.10~git~202206232324+20528-0~daily328-70a5e6f670~ubuntu18.04.1 buildlog (123.6 KiB) i386
[FULLYBUILT] Successful build buildlog (16.8 KiB) Trusty Coq Daily Builds (v8.10)
[FULLYBUILT] coq - 8.10~git~202206232324+20528-0~daily328-70a5e6f670~ubuntu14.04.1 buildlog (119.7 KiB) amd64
[FULLYBUILT] coq - 8.10~git~202206232324+20528-0~daily328-70a5e6f670~ubuntu14.04.1 buildlog (119.5 KiB) i386
[FULLYBUILT] Successful build buildlog (17.9 KiB) Bionic Coq Daily Builds (v8.10)
[FULLYBUILT] coq - 8.10~git~202102031444+20527-0~daily328-dca7b1d4d2~ubuntu18.04.1 buildlog (123.2 KiB) amd64
[FULLYBUILT] coq - 8.10~git~202102031444+20527-0~daily328-dca7b1d4d2~ubuntu18.04.1 buildlog (123.1 KiB) i386
[FULLYBUILT] Successful build buildlog (16.8 KiB) Trusty Coq Daily Builds (v8.10)
[FULLYBUILT] coq - 8.10~git~202102031442+20527-0~daily328-dca7b1d4d2~ubuntu14.04.1 buildlog (120.4 KiB) amd64
[FULLYBUILT] coq - 8.10~git~202102031442+20527-0~daily328-dca7b1d4d2~ubuntu14.04.1 buildlog (120.2 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-coqide-no