Ubuntu
coq-quickchick package

Builds for coq-quickchick in Ubuntu Noble

  1. Noble (24.04)
  2. Builds
1 → 75 of 108 results First • Previous • • Last
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on bos02-s390x-008 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on bos02-s390x-008 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on bos03-riscv64-114 and finished taking 26 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on bos03-riscv64-114 and finished taking 26 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-012 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-012 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on bos02-arm64-041 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on bos02-arm64-041 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on bos01-arm64-025 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on bos01-arm64-025 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on lcy02-amd64-056 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build5 in ubuntu noble PROPOSED
Build started on lcy02-amd64-056 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on bos02-s390x-009 and finished taking 7 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on bos02-s390x-009 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-061 and finished taking 29 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-061 and finished taking 29 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-013 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-013 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on bos01-arm64-005 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on bos01-arm64-005 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-009 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-009 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on lcy02-amd64-014 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build4 in ubuntu noble PROPOSED
Build started on lcy02-amd64-014 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-008 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-008 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-051 and finished taking 25 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-051 and finished taking 25 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-019 and finished taking 2 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-019 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-073 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-073 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on bos01-arm64-017 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on bos01-arm64-017 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-078 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-078 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos02-s390x-002 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos02-s390x-002 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos02-s390x-002 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-022 and finished taking 23 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-022 and finished taking 23 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-022 and finished taking 23 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-014 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-014 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-014 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos03-arm64-002 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos03-arm64-002 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos03-arm64-002 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos01-arm64-026 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos01-arm64-026 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on bos01-arm64-026 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-104 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-104 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-104 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on bos02-s390x-011 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on bos02-s390x-011 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-020 and finished taking 23 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-020 and finished taking 23 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-003 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-003 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-011 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-011 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on bos03-arm64-028 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on bos03-arm64-028 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-008 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.2-1build1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-008 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.2-1 in ubuntu noble PROPOSED
Build started on bos02-s390x-017 and finished taking 6 minutes — see the log
[MANUALDEPWAIT] riscv64 build of coq-quickchick 2.0.2-1 in ubuntu noble PROPOSED
Missing dependencies: libcoq-elpi-ge146
Build started on bos03-riscv64-057 and finished taking 9 minutes — see the log
[MANUALDEPWAIT] ppc64el build of coq-quickchick 2.0.2-1 in ubuntu noble PROPOSED
Missing dependencies: libcoq-elpi-pyom7
Build started on bos01-ppc64el-015 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.2-1 in ubuntu noble PROPOSED
Build started on bos03-arm64-039 and finished taking 5 minutes — see the log
[MANUALDEPWAIT] arm64 build of coq-quickchick 2.0.2-1 in ubuntu noble PROPOSED
Missing dependencies: libcoq-elpi-pbn45
Build started on bos03-arm64-009 and finished taking 2 minutes — see the log
[MANUALDEPWAIT] amd64 build of coq-quickchick 2.0.2-1 in ubuntu noble PROPOSED
Missing dependencies: libcoq-elpi-80o21
Build started on lcy02-amd64-046 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.1-1 in ubuntu noble PROPOSED
Build started on bos01-s390x-016 and finished taking 6 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.1-1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-018 and finished taking 26 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.1-1 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-011 and finished taking 7 minutes — see the log
1 → 75 of 108 results First • Previous • • Last