Ubuntu
coq-ext-lib package

Builds for coq-ext-lib in Ubuntu Noble

  1. Noble (24.04)
  2. Builds
1 → 75 of 84 results First • Previous • • Last
[FULLYBUILT] s390x build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on bos01-s390x-017 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on bos01-s390x-017 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-068 and finished taking 23 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-068 and finished taking 23 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-002 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-002 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-019 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-019 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-034 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-034 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on lcy02-amd64-022 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.0-1build4 in ubuntu noble PROPOSED
Build started on lcy02-amd64-022 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-014 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-014 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-086 and finished taking 26 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-086 and finished taking 26 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-029 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-029 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-037 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-037 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-020 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-020 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-037 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.0-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-037 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-s390x-002 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-s390x-002 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-057 and finished taking 29 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-057 and finished taking 29 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-026 and finished taking 5 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-026 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-arm64-066 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-arm64-066 and finished taking 7 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on bos03-arm64-006 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on bos03-arm64-006 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-108 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.0-1build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-108 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos01-s390x-017 and finished taking 6 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos01-s390x-017 and finished taking 6 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos01-s390x-017 and finished taking 6 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-012 and finished taking 23 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-012 and finished taking 23 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-012 and finished taking 23 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-009 and finished taking 8 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-009 and finished taking 8 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-009 and finished taking 8 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-029 and finished taking 9 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-029 and finished taking 9 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-029 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-019 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-019 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-019 and finished taking 9 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-104 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-104 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.0-1build1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-104 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.0-1 in ubuntu noble PROPOSED
Build started on bos01-s390x-008 and finished taking 6 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.0-1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-046 and finished taking 22 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.0-1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-016 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.0-1 in ubuntu noble PROPOSED
Build started on bos03-arm64-026 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.0-1 in ubuntu noble PROPOSED
Build started on bos02-arm64-001 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.0-1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-096 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-005 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-005 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-005 and finished taking 18 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-005 and finished taking 18 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-014 and finished taking 6 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-014 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-004 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-004 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-062 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-062 and finished taking 9 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-002 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.8-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-002 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.8-1build2 in ubuntu noble PROPOSED
Build started on bos02-s390x-001 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.8-1build2 in ubuntu noble PROPOSED
Build started on riscv64-qemu-lgw01-068 and finished taking 23 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.8-1build2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-027 and finished taking 2 minutes — see the log
1 → 75 of 84 results First • Previous • • Last