Ubuntu
coq-math-classes package

Builds for coq-math-classes in Ubuntu Noble

  1. Noble (24.04)
  2. Builds
1 → 75 of 84 results First • Previous • • Last
[FULLYBUILT] s390x build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-014 and finished taking 6 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-014 and finished taking 6 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-017 and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-017 and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-014 and finished taking 5 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-014 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-032 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-032 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-027 and finished taking 10 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-027 and finished taking 10 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-093 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-093 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-s390x-017 and finished taking 8 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-s390x-017 and finished taking 8 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-106 and finished taking 50 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-106 and finished taking 50 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-022 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-022 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on bos03-arm64-014 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on bos03-arm64-014 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-arm64-007 and finished taking 13 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-arm64-007 and finished taking 13 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-107 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.18.0-1build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-107 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-s390x-013 and finished taking 7 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-s390x-013 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-007 and finished taking 36 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-007 and finished taking 36 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-030 and finished taking 6 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-030 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-002 and finished taking 9 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos02-arm64-002 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos03-arm64-004 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos03-arm64-004 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos03-amd64-005 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.18.0-1build1 in ubuntu noble PROPOSED
Build started on bos03-amd64-005 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos01-s390x-014 and finished taking 8 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos01-s390x-014 and finished taking 8 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos01-s390x-014 and finished taking 8 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-046 and finished taking 36 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-046 and finished taking 36 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-046 and finished taking 36 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-018 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-018 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-018 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos01-arm64-008 and finished taking 9 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos01-arm64-008 and finished taking 9 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos01-arm64-008 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos02-arm64-062 and finished taking 16 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos02-arm64-062 and finished taking 16 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on bos02-arm64-062 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-090 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-090 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.18.0-1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-090 and finished taking 5 minutes — see the log
[FAILEDTOBUILD] s390x build of coq-math-classes 8.17.0-1build4 in ubuntu noble PROPOSED
Build started on bos02-s390x-015 and finished taking 6 minutes — see the log
[FAILEDTOBUILD] riscv64 build of coq-math-classes 8.17.0-1build4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-012 and finished taking 23 minutes — see the log
[FAILEDTOBUILD] ppc64el build of coq-math-classes 8.17.0-1build4 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-016 and finished taking 7 minutes — see the log
[FAILEDTOBUILD] armhf build of coq-math-classes 8.17.0-1build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-037 and finished taking 5 minutes — see the log
[FAILEDTOBUILD] arm64 build of coq-math-classes 8.17.0-1build4 in ubuntu noble PROPOSED
Build started on bos02-arm64-036 and finished taking 6 minutes — see the log
[FAILEDTOBUILD] amd64 build of coq-math-classes 8.17.0-1build4 in ubuntu noble PROPOSED
Build started on bos03-amd64-021 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-018 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-018 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-022 and finished taking 32 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-022 and finished taking 32 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-013 and finished taking 5 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-013 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-003 and finished taking 10 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-003 and finished taking 10 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-002 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-002 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-062 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.17.0-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-062 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.17.0-1build2 in ubuntu noble PROPOSED
Build started on bos01-s390x-015 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.17.0-1build2 in ubuntu noble PROPOSED
Build started on riscv64-qemu-lgw01-016 and finished taking 48 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.17.0-1build2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-020 and finished taking 11 minutes — see the log
1 → 75 of 84 results First • Previous • • Last