Ubuntu
coq-quickchick package

Builds for coq-quickchick in Ubuntu Kinetic

  1. Kinetic (22.10)
  2. Builds
1 → 30 of 30 results First • Previous • Next • Last
[FULLYBUILT] s390x build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-011 and finished taking 7 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-011 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-017 and finished taking 34 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-017 and finished taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-010 and finished taking 5 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-010 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-060 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-060 and finished taking 7 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-034 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-034 and finished taking 9 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-112 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 1.6.4-1 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-112 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] s390x build of coq-quickchick 1.6.3-2 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-018 and finished taking 5 minutes — see the log
[FAILEDTOBUILD] riscv64 build of coq-quickchick 1.6.3-2 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-069 and finished taking 14 minutes — see the log
[FAILEDTOBUILD] ppc64el build of coq-quickchick 1.6.3-2 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-002 and finished taking 6 minutes — see the log
[FAILEDTOBUILD] armhf build of coq-quickchick 1.6.3-2 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-018 and finished taking 6 minutes — see the log
[FAILEDTOBUILD] arm64 build of coq-quickchick 1.6.3-2 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-003 and finished taking 6 minutes — see the log
[FAILEDTOBUILD] amd64 build of coq-quickchick 1.6.3-2 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-066 and finished taking 1 minute — see the log
[FULLYBUILT] s390x build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-006 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on bos02-s390x-006 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-085 and finished taking 29 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on riscv64-qemu-lgw01-085 and finished taking 29 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-026 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on bos02-ppc64el-026 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-035 and finished taking 9 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-035 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-029 and finished taking 10 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on bos02-arm64-029 and finished taking 10 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-053 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 1.6.3-1 in ubuntu kinetic PROPOSED
Build started on lcy02-amd64-053 and finished taking 2 minutes — see the log
1 → 30 of 30 results First • Previous • Next • Last