Ubuntu
coq-quickchick package

Builds for coq-quickchick in Ubuntu Mantic

  1. Mantic (23.10)
  2. Builds
1 → 48 of 48 results First • Previous • Next • Last
[FULLYBUILT] s390x build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on bos02-s390x-007 and finished taking 7 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on bos02-s390x-007 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-015 and finished taking 33 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-015 and finished taking 33 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-026 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-026 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on bos02-arm64-061 and finished taking 8 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on bos02-arm64-061 and finished taking 8 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on bos02-arm64-062 and finished taking 8 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on bos02-arm64-062 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on bos03-amd64-056 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0-2build1 in ubuntu mantic PROPOSED
Build started on bos03-amd64-056 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on bos02-s390x-009 and finished taking 31 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on bos02-s390x-009 and finished taking 31 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-081 and finished taking 40 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-081 and finished taking 40 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-005 and finished taking 26 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-005 and finished taking 26 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on bos01-arm64-027 and finished taking 24 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on bos01-arm64-027 and finished taking 24 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on bos01-arm64-028 and finished taking 24 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on bos01-arm64-028 and finished taking 24 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on bos03-amd64-022 and finished taking 18 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0-2 in ubuntu mantic PROPOSED
Build started on bos03-amd64-022 and finished taking 18 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on bos02-s390x-016 and finished taking 10 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on bos02-s390x-016 and finished taking 10 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-026 and finished taking 33 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-026 and finished taking 33 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-018 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-018 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on bos01-arm64-027 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on bos01-arm64-027 and finished taking 7 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on bos01-arm64-030 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on bos01-arm64-030 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-030 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0-1 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-030 and finished taking 4 minutes — see the log
[FAILEDTOBUILD] s390x build of coq-quickchick 1.6.4-3build4 in ubuntu mantic PROPOSED
Build started on bos02-s390x-011 and finished taking 4 minutes — see the log
[FAILEDTOBUILD] riscv64 build of coq-quickchick 1.6.4-3build4 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-083 and finished taking 12 minutes — see the log
[FAILEDTOBUILD] ppc64el build of coq-quickchick 1.6.4-3build4 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-007 and finished taking 4 minutes — see the log
[FAILEDTOBUILD] armhf build of coq-quickchick 1.6.4-3build4 in ubuntu mantic PROPOSED
Build started on bos02-arm64-065 and finished taking 4 minutes — see the log
[FAILEDTOBUILD] arm64 build of coq-quickchick 1.6.4-3build4 in ubuntu mantic PROPOSED
Build started on bos02-arm64-051 and finished taking 5 minutes — see the log
[FAILEDTOBUILD] amd64 build of coq-quickchick 1.6.4-3build4 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-067 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 1.6.4-3build3 in ubuntu lunar PROPOSED
Build started on bos02-s390x-018 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 1.6.4-3build3 in ubuntu lunar PROPOSED
Build started on riscv64-qemu-lgw01-003 and finished taking 56 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 1.6.4-3build3 in ubuntu lunar PROPOSED
Build started on bos02-ppc64el-013 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 1.6.4-3build3 in ubuntu lunar PROPOSED
Build started on bos02-arm64-010 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 1.6.4-3build3 in ubuntu lunar PROPOSED
Build started on bos02-arm64-042 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 1.6.4-3build3 in ubuntu lunar PROPOSED
Build started on lcy02-amd64-035 and finished taking 2 minutes — see the log
1 → 48 of 48 results First • Previous • Next • Last