Jason Gross

coq-8.13-daily-coqide-no

  1. Recipes
  2. coq-8.13-daily-coqide-no
Created by Jason Gross on 2020-12-07 and last modified on 2022-11-11

Description

Daily builds of Coq v8.13

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

Latest builds

Status When complete Distribution series Archive
[FULLYBUILT] Successful build buildlog (17.8 KiB) Focal Coq Daily Builds (v8.13)
[FULLYBUILT] coq - 8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu20.04.1 buildlog (112.7 KiB) amd64
[FULLYBUILT] Successful build buildlog (18.1 KiB) Xenial Coq Daily Builds (v8.13)
[FULLYBUILT] coq - 8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu16.04.1 buildlog (109.8 KiB) amd64
[FULLYBUILT] coq - 8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu16.04.1 buildlog (109.7 KiB) i386
[FULLYBUILT] Successful build buildlog (17.1 KiB) Trusty Coq Daily Builds (v8.13)
[FULLYBUILT] coq - 8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu14.04.1 buildlog (108.5 KiB) amd64
[FULLYBUILT] coq - 8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu14.04.1 buildlog (108.5 KiB) i386
[FULLYBUILT] Successful build buildlog (18.7 KiB) Bionic Coq Daily Builds (v8.13)
[FULLYBUILT] coq - 8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu18.04.1 buildlog (113.0 KiB) amd64
[FULLYBUILT] coq - 8.13~gitubuntu1~202207012321+22024-0~daily341-02e434a52f~ubuntu18.04.1 buildlog (112.9 KiB) i386
[FULLYBUILT] Successful build buildlog (18.0 KiB) Xenial Coq Daily Builds (v8.13)
[FULLYBUILT] coq - 8.13~gitubuntu1~202104011937+22023-0~daily341-34da65afbe~ubuntu16.04.1 buildlog (109.5 KiB) amd64
[FULLYBUILT] coq - 8.13~gitubuntu1~202104011937+22023-0~daily341-34da65afbe~ubuntu16.04.1 buildlog (110.1 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.13
nest-part packaging lp:~jgross-h/coq/+git/coq-packaging debian debian v8.13-coqide-no