Ubuntu
coq-ext-lib package

Builds for coq-ext-lib in Ubuntu Oracular

  1. Oracular (24.10)
  2. Builds
1 → 41 of 41 results First • Previous • Next • Last
[FULLYBUILT] s390x build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on bos02-s390x-009 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on bos02-s390x-009 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-025 and finished taking 23 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-025 and finished taking 23 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-030 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-030 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on bos02-arm64-003 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on bos02-arm64-003 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on bos02-arm64-019 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on bos02-arm64-019 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-031 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.1-1build3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-031 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on bos01-s390x-001 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on bos01-s390x-001 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-115 and finished taking 34 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-115 and finished taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-030 and finished taking 5 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-030 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on bos03-arm64-012 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on bos03-arm64-012 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on bos01-arm64-015 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on bos01-arm64-015 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-089 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.1-1build2 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-089 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.12.1-1build1 in ubuntu oracular PROPOSED
Build started on bos01-arm64-019 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.1-1build1 in ubuntu oracular PROPOSED
Build started on bos02-s390x-017 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.1-1build1 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-116 and finished taking 25 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.1-1build1 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-020 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.1-1build1 in ubuntu oracular PROPOSED
Build started on bos02-arm64-023 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.1-1build1 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-105 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.12.1-1 in ubuntu oracular PROPOSED
Build started on bos01-s390x-002 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.12.1-1 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-024 and finished taking 25 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.12.1-1 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-026 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.12.1-1 in ubuntu oracular PROPOSED
Build started on bos02-arm64-014 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.12.1-1 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-019 and finished taking 2 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] 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] 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
1 → 41 of 41 results First • Previous • Next • Last