Ubuntu

Builds for Ubuntu

Package:
1 → 75 of 7651 results First • Previous • • Last
[FAILEDTOBUILD] s390x build of coq-serapi 8.19.0+0.19.3-3 in ubuntu oracular PROPOSED
Build started on bos02-s390x-014 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-serapi 8.19.0+0.19.3-3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-055 and finished taking 43 minutes — see the log
[FULLYBUILT] ppc64el build of coq-serapi 8.19.0+0.19.3-3 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-003 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-serapi 8.19.0+0.19.3-3 in ubuntu oracular PROPOSED
Build started on bos03-arm64-037 and finished taking 7 minutes — see the log
[FULLYBUILT] arm64 build of coq-serapi 8.19.0+0.19.3-3 in ubuntu oracular PROPOSED
Build started on bos01-arm64-032 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of coq-serapi 8.19.0+0.19.3-3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-079 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-doc 8.19.1-2 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-017 and finished taking 14 minutes — see the log
[FULLYBUILT] s390x build of coq-hierarchy-builder 1.7.0-1build4 in ubuntu oracular PROPOSED
Build started on bos01-s390x-009 and finished taking 6 minutes — see the log
[FULLYBUILT] riscv64 build of coq-hierarchy-builder 1.7.0-1build4 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-009 and finished taking 28 minutes — see the log
[FULLYBUILT] ppc64el build of coq-hierarchy-builder 1.7.0-1build4 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-014 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-hierarchy-builder 1.7.0-1build4 in ubuntu oracular PROPOSED
Build started on bos02-arm64-073 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-hierarchy-builder 1.7.0-1build4 in ubuntu oracular PROPOSED
Build started on bos02-arm64-050 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of coq-hierarchy-builder 1.7.0-1build4 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-001 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-unicoq 1.6-8.19-1build1 in ubuntu oracular PROPOSED
Build started on bos02-s390x-008 and finished taking 2 minutes — see the log
[FULLYBUILT] riscv64 build of coq-unicoq 1.6-8.19-1build1 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-055 and finished taking 18 minutes — see the log
[FULLYBUILT] ppc64el build of coq-unicoq 1.6-8.19-1build1 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-003 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of coq-unicoq 1.6-8.19-1build1 in ubuntu oracular PROPOSED
Build started on bos01-arm64-006 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-unicoq 1.6-8.19-1build1 in ubuntu oracular PROPOSED
Build started on bos03-arm64-032 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-unicoq 1.6-8.19-1build1 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-099 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coqeal 2.0.2-1build4 in ubuntu oracular PROPOSED
Build started on bos02-s390x-008 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coqeal 2.0.2-1build4 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-043 and finished taking 42 minutes — see the log
[FULLYBUILT] ppc64el build of coqeal 2.0.2-1build4 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-009 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coqeal 2.0.2-1build4 in ubuntu oracular PROPOSED
Build started on bos01-arm64-032 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coqeal 2.0.2-1build4 in ubuntu oracular PROPOSED
Build started on bos02-arm64-080 and finished taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coqeal 2.0.2-1build4 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-114 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-quickchick 2.0.3-2build6 in ubuntu oracular PROPOSED
Build started on bos02-s390x-012 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-quickchick 2.0.3-2build6 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-004 and finished taking 26 minutes — see the log
[FULLYBUILT] ppc64el build of coq-quickchick 2.0.3-2build6 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-015 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-quickchick 2.0.3-2build6 in ubuntu oracular PROPOSED
Build started on bos02-arm64-007 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-quickchick 2.0.3-2build6 in ubuntu oracular PROPOSED
Build started on bos02-arm64-023 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of coq-quickchick 2.0.3-2build6 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-020 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-corn 8.19.0+ds1-1build1 in ubuntu oracular PROPOSED
Build started on bos01-s390x-016 and finished taking 20 minutes — see the log
[FULLYBUILT] riscv64 build of coq-corn 8.19.0+ds1-1build1 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-014 and finished taking 1 hour 40 minutes — see the log
[FULLYBUILT] ppc64el build of coq-corn 8.19.0+ds1-1build1 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-009 and finished taking 11 minutes — see the log
[FULLYBUILT] armhf build of coq-corn 8.19.0+ds1-1build1 in ubuntu oracular PROPOSED
Build started on bos02-arm64-040 and finished taking 19 minutes — see the log
[FULLYBUILT] arm64 build of coq-corn 8.19.0+ds1-1build1 in ubuntu oracular PROPOSED
Build started on bos02-arm64-038 and finished taking 39 minutes — see the log
[FULLYBUILT] amd64 build of coq-corn 8.19.0+ds1-1build1 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-068 and finished taking 8 minutes — see the log
[FULLYBUILT] s390x build of coqprime 8.19-1build2 in ubuntu oracular PROPOSED
Build started on bos01-s390x-004 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coqprime 8.19-1build2 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-039 and finished taking 37 minutes — see the log
[FULLYBUILT] ppc64el build of coqprime 8.19-1build2 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-022 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coqprime 8.19-1build2 in ubuntu oracular PROPOSED
Build started on bos01-arm64-020 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coqprime 8.19-1build2 in ubuntu oracular PROPOSED
Build started on bos01-arm64-028 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coqprime 8.19-1build2 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-030 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-simple-io 1.9.0-1build3 in ubuntu oracular PROPOSED
Build started on bos01-s390x-016 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-simple-io 1.9.0-1build3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-041 and finished taking 19 minutes — see the log
[FULLYBUILT] ppc64el build of coq-simple-io 1.9.0-1build3 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-005 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-simple-io 1.9.0-1build3 in ubuntu oracular PROPOSED
Build started on bos03-arm64-004 and finished taking 8 minutes — see the log
[FULLYBUILT] arm64 build of coq-simple-io 1.9.0-1build3 in ubuntu oracular PROPOSED
Build started on bos03-arm64-009 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of coq-simple-io 1.9.0-1build3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-058 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-relation-algebra 1.7.10-3build7 in ubuntu oracular PROPOSED
Build started on bos01-s390x-009 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coq-relation-algebra 1.7.10-3build7 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-038 and finished taking 35 minutes — see the log
[FULLYBUILT] ppc64el build of coq-relation-algebra 1.7.10-3build7 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-001 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-relation-algebra 1.7.10-3build7 in ubuntu oracular PROPOSED
Build started on bos03-arm64-033 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-relation-algebra 1.7.10-3build7 in ubuntu oracular PROPOSED
Build started on bos03-arm64-022 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of coq-relation-algebra 1.7.10-3build7 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-001 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-mtac2 1.4+8.19-1build2 in ubuntu oracular PROPOSED
Build started on bos01-s390x-003 and finished taking 6 minutes — see the log
[FULLYBUILT] riscv64 build of coq-mtac2 1.4+8.19-1build2 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-027 and finished taking 27 minutes — see the log
[FULLYBUILT] ppc64el build of coq-mtac2 1.4+8.19-1build2 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-014 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-mtac2 1.4+8.19-1build2 in ubuntu oracular PROPOSED
Build started on bos01-arm64-040 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-mtac2 1.4+8.19-1build2 in ubuntu oracular PROPOSED
Build started on bos01-arm64-006 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-mtac2 1.4+8.19-1build2 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-058 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-math-classes 8.19.0-1build3 in ubuntu oracular PROPOSED
Build started on bos01-s390x-001 and finished taking 6 minutes — see the log
[FULLYBUILT] riscv64 build of coq-math-classes 8.19.0-1build3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-013 and finished taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of coq-math-classes 8.19.0-1build3 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-025 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-math-classes 8.19.0-1build3 in ubuntu oracular PROPOSED
Build started on bos03-arm64-008 and finished taking 11 minutes — see the log
[FULLYBUILT] arm64 build of coq-math-classes 8.19.0-1build3 in ubuntu oracular PROPOSED
Build started on bos02-arm64-060 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of coq-math-classes 8.19.0-1build3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-052 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-iris 4.2.0-2build1 in ubuntu oracular PROPOSED
Build started on bos02-s390x-010 and finished taking 29 minutes — see the log
[FULLYBUILT] riscv64 build of coq-iris 4.2.0-2build1 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-043 and finished taking 3 hours 10 minutes — see the log
[FULLYBUILT] ppc64el build of coq-iris 4.2.0-2build1 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-004 and finished taking 25 minutes — see the log
[FULLYBUILT] armhf build of coq-iris 4.2.0-2build1 in ubuntu oracular PROPOSED
Build started on bos02-arm64-003 and finished taking 47 minutes — see the log
[FULLYBUILT] arm64 build of coq-iris 4.2.0-2build1 in ubuntu oracular PROPOSED
Build started on bos02-arm64-047 and finished taking 47 minutes — see the log
[FULLYBUILT] amd64 build of coq-iris 4.2.0-2build1 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-068 and finished taking 15 minutes — see the log
[FULLYBUILT] s390x build of coq-interval 4.11.0-1build1 in ubuntu oracular PROPOSED
Build started on bos01-s390x-006 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coq-interval 4.11.0-1build1 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-053 and finished taking 54 minutes — see the log
1 → 75 of 7651 results First • Previous • • Last