Ubuntu
coq-ext-lib package

Builds for coq-ext-lib in Ubuntu Lunar

  1. Lunar (23.04)
  2. Builds
1 → 60 of 60 results First • Previous • Next • Last
[FULLYBUILT] s390x build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on bos01-s390x-007 and finished taking 6 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on bos01-s390x-007 and finished taking 6 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on riscv64-qemu-lgw01-028 and finished taking 32 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on riscv64-qemu-lgw01-028 and finished taking 32 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on bos01-ppc64el-009 and finished taking 6 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on bos01-ppc64el-009 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on bos01-arm64-016 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on bos01-arm64-016 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on bos01-arm64-030 and finished taking 7 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on bos01-arm64-030 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on lcy02-amd64-088 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.7-2build2 in ubuntu lunar PROPOSED
Build started on lcy02-amd64-088 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on bos02-s390x-003 and finished taking 8 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on bos02-s390x-003 and finished taking 8 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on riscv64-qemu-lgw01-001 and finished taking 23 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on riscv64-qemu-lgw01-001 and finished taking 23 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on bos01-ppc64el-002 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on bos01-ppc64el-002 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on bos02-arm64-059 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on bos02-arm64-059 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on bos02-arm64-033 and finished taking 8 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on bos02-arm64-033 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on lcy02-amd64-057 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.7-2build1 in ubuntu lunar PROPOSED
Build started on lcy02-amd64-057 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] s390x build of coq-ext-lib 0.11.7-2 in ubuntu lunar PROPOSED
Build started on bos01-s390x-014 and finished taking 1 minute — see the log
[FAILEDTOBUILD] riscv64 build of coq-ext-lib 0.11.7-2 in ubuntu lunar PROPOSED
Build started on riscv64-qemu-lgw01-029 and finished taking 8 minutes — see the log
[FAILEDTOBUILD] ppc64el build of coq-ext-lib 0.11.7-2 in ubuntu lunar PROPOSED
Build started on bos01-ppc64el-012 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] armhf build of coq-ext-lib 0.11.7-2 in ubuntu lunar PROPOSED
Build started on bos02-arm64-076 and finished taking 4 minutes — see the log
[FAILEDTOBUILD] arm64 build of coq-ext-lib 0.11.7-2 in ubuntu lunar PROPOSED
Build started on bos02-arm64-054 and finished taking 4 minutes — see the log
[FAILEDTOBUILD] amd64 build of coq-ext-lib 0.11.7-2 in ubuntu lunar PROPOSED
Build started on lcy02-amd64-092 and finished taking 1 minute — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on bos02-s390x-013 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on bos02-s390x-013 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on riscv64-qemu-lgw01-009 and finished taking 27 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on riscv64-qemu-lgw01-009 and finished taking 27 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on bos02-ppc64el-007 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on bos02-ppc64el-007 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on bos02-arm64-068 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on bos02-arm64-068 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on bos02-arm64-003 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on bos02-arm64-003 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on lcy02-amd64-082 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.7-1build3 in ubuntu lunar PROPOSED
Build started on lcy02-amd64-082 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.7-1build2 in ubuntu lunar PROPOSED
Build started on bos02-s390x-002 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.7-1build2 in ubuntu lunar PROPOSED
Build started on riscv64-qemu-lgw01-027 and finished taking 27 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.7-1build2 in ubuntu lunar PROPOSED
Build started on bos02-ppc64el-012 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.7-1build2 in ubuntu lunar PROPOSED
Build started on bos02-arm64-044 and finished taking 7 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.7-1build2 in ubuntu lunar PROPOSED
Build started on bos02-arm64-051 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.7-1build2 in ubuntu lunar PROPOSED
Build started on lcy02-amd64-011 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.7-1build1 in ubuntu lunar PROPOSED
Build started on bos02-s390x-016 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.7-1build1 in ubuntu lunar PROPOSED
Build started on riscv64-qemu-lgw01-019 and finished taking 24 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.7-1build1 in ubuntu lunar PROPOSED
Build started on bos02-ppc64el-017 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.7-1build1 in ubuntu lunar PROPOSED
Build started on bos02-arm64-076 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.7-1build1 in ubuntu lunar PROPOSED
Build started on bos02-arm64-020 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.7-1build1 in ubuntu lunar PROPOSED
Build started on lcy02-amd64-109 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.7-1 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-017 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.7-1 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-009 and finished taking 25 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.7-1 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-016 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.7-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-052 and finished taking 31 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.7-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-073 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.7-1 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-090 and finished taking 2 minutes — see the log
1 → 60 of 60 results First • Previous • Next • Last