Ubuntu
coq-ext-lib package

Builds for coq-ext-lib in Ubuntu Kinetic

  1. Kinetic (22.10)
  2. Builds
1 → 36 of 36 results First • Previous • Next • Last
[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] 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] 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] 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] 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] 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
[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
[FULLYBUILT] s390x build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-015 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-015 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-063 and finished taking 27 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-063 and finished taking 27 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-005 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-005 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-078 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-078 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-015 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-015 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-101 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.6-2 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-101 and finished taking 1 minute — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-010 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-010 and finished taking 2 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-011 and finished taking 27 minutes — see the log
[FULLYBUILT] riscv64 build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-011 and finished taking 27 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-022 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-022 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-032 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-032 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-025 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-025 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-064 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-ext-lib 0.11.6-1 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-064 and finished taking 2 minutes — see the log
1 → 36 of 36 results First • Previous • Next • Last