Ubuntu
coquelicot package

Builds for coquelicot in Ubuntu Noble

  1. Noble (24.04)
  2. Builds
1 → 75 of 108 results First • Previous • • Last
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on bos02-s390x-012 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on bos02-s390x-012 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on bos03-riscv64-046 and finished taking 37 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on bos03-riscv64-046 and finished taking 37 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-019 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-019 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on bos02-arm64-019 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on bos02-arm64-019 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on bos03-arm64-021 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on bos03-arm64-021 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on lcy02-amd64-010 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build5 in ubuntu noble PROPOSED
Build started on lcy02-amd64-010 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on bos02-s390x-002 and finished taking 8 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on bos02-s390x-002 and finished taking 8 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-076 and finished taking 43 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-076 and finished taking 43 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-014 and finished taking 6 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-014 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on bos02-arm64-028 and finished taking 16 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on bos02-arm64-028 and finished taking 16 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-025 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-025 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on lcy02-amd64-032 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build4 in ubuntu noble PROPOSED
Build started on lcy02-amd64-032 and finished taking 6 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on bos01-s390x-017 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on bos01-s390x-017 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-013 and finished taking 36 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-013 and finished taking 36 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-014 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-014 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on bos01-arm64-023 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on bos01-arm64-023 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on bos01-arm64-017 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on bos01-arm64-017 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-019 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-019 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos01-s390x-016 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos01-s390x-016 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos01-s390x-016 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-047 and finished taking 34 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-047 and finished taking 34 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-047 and finished taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-007 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-007 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-007 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos02-arm64-004 and finished taking 11 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos02-arm64-004 and finished taking 11 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos02-arm64-004 and finished taking 11 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos01-arm64-023 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos01-arm64-023 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on bos01-arm64-023 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-033 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-033 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-033 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos02-s390x-001 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos02-s390x-001 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-013 and finished taking 34 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-013 and finished taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-005 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-005 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-037 and finished taking 12 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-037 and finished taking 12 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos01-arm64-011 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos01-arm64-011 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos03-amd64-029 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coquelicot 3.4.1-1build1 in ubuntu noble PROPOSED
Build started on bos03-amd64-029 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.1-1 in ubuntu noble PROPOSED
Build started on bos02-s390x-012 and finished taking 6 minutes — see the log
[MANUALDEPWAIT] riscv64 build of coquelicot 3.4.1-1 in ubuntu noble PROPOSED
Missing dependencies: libcoq-elpi-ge146
Build started on bos03-riscv64-038 and finished taking 9 minutes — see the log
[MANUALDEPWAIT] ppc64el build of coquelicot 3.4.1-1 in ubuntu noble PROPOSED
Missing dependencies: libcoq-elpi-pyom7
Build started on bos01-ppc64el-013 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of coquelicot 3.4.1-1 in ubuntu noble PROPOSED
Build started on bos03-arm64-019 and finished taking 5 minutes — see the log
[MANUALDEPWAIT] arm64 build of coquelicot 3.4.1-1 in ubuntu noble PROPOSED
Missing dependencies: libcoq-elpi-pbn45
Build started on bos03-arm64-027 and finished taking 2 minutes — see the log
[MANUALDEPWAIT] amd64 build of coquelicot 3.4.1-1 in ubuntu noble PROPOSED
Missing dependencies: libcoq-elpi-80o21
Build started on lcy02-amd64-041 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coquelicot 3.4.0-1 in ubuntu noble PROPOSED
Build started on bos02-s390x-009 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coquelicot 3.4.0-1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-048 and finished taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of coquelicot 3.4.0-1 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-019 and finished taking 8 minutes — see the log
1 → 75 of 108 results First • Previous • • Last