Ubuntu

Builds for Ubuntu

Package:
1 → 75 of 7541 results First • Previous • • Last
[FULLYBUILT] s390x build of coqeal 2.0.1-1build5 in ubuntu noble PROPOSED
Build started on bos02-s390x-012 and finished taking 12 minutes — see the log
[FULLYBUILT] riscv64 build of coqeal 2.0.1-1build5 in ubuntu noble PROPOSED
Build started on bos03-riscv64-039 and finished taking 57 minutes — see the log
[FULLYBUILT] ppc64el build of coqeal 2.0.1-1build5 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-001 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coqeal 2.0.1-1build5 in ubuntu noble PROPOSED
Build started on bos03-arm64-031 and finished taking 8 minutes — see the log
[FULLYBUILT] arm64 build of coqeal 2.0.1-1build5 in ubuntu noble PROPOSED
Build started on bos02-arm64-035 and finished taking 22 minutes — see the log
[FULLYBUILT] amd64 build of coqeal 2.0.1-1build5 in ubuntu noble PROPOSED
Build started on lcy02-amd64-089 and finished taking 5 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] 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] 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] s390x build of coq-corn 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-018 and finished taking 17 minutes — see the log
[FULLYBUILT] riscv64 build of coq-corn 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-014 and finished taking 2 hours 20 minutes — see the log
[FULLYBUILT] ppc64el build of coq-corn 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-028 and finished taking 14 minutes — see the log
[FULLYBUILT] armhf build of coq-corn 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-001 and finished taking 11 minutes — see the log
[FULLYBUILT] arm64 build of coq-corn 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on bos01-arm64-017 and finished taking 26 minutes — see the log
[FULLYBUILT] amd64 build of coq-corn 8.18.0-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-083 and finished taking 11 minutes — see the log
[FULLYBUILT] s390x build of coqprime 8.18-1build3 in ubuntu noble PROPOSED
Build started on bos01-s390x-020 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coqprime 8.18-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-071 and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] ppc64el build of coqprime 8.18-1build3 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-023 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coqprime 8.18-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-014 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coqprime 8.18-1build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-057 and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] amd64 build of coqprime 8.18-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-116 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-simple-io 1.8.0-4ubuntu4 in ubuntu noble PROPOSED
Build started on bos02-s390x-002 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-simple-io 1.8.0-4ubuntu4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-045 and finished taking 20 minutes — see the log
[FULLYBUILT] ppc64el build of coq-simple-io 1.8.0-4ubuntu4 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-009 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-simple-io 1.8.0-4ubuntu4 in ubuntu noble PROPOSED
Build started on bos03-arm64-011 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-simple-io 1.8.0-4ubuntu4 in ubuntu noble PROPOSED
Build started on bos02-arm64-041 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-simple-io 1.8.0-4ubuntu4 in ubuntu noble PROPOSED
Build started on lcy02-amd64-059 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-relation-algebra 1.7.9-2build5 in ubuntu noble PROPOSED
Build started on bos02-s390x-006 and finished taking 6 minutes — see the log
[FULLYBUILT] riscv64 build of coq-relation-algebra 1.7.9-2build5 in ubuntu noble PROPOSED
Build started on bos03-riscv64-088 and finished taking 43 minutes — see the log
[FULLYBUILT] ppc64el build of coq-relation-algebra 1.7.9-2build5 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-013 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-relation-algebra 1.7.9-2build5 in ubuntu noble PROPOSED
Build started on bos02-arm64-021 and finished taking 11 minutes — see the log
[FULLYBUILT] arm64 build of coq-relation-algebra 1.7.9-2build5 in ubuntu noble PROPOSED
Build started on bos01-arm64-023 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of coq-relation-algebra 1.7.9-2build5 in ubuntu noble PROPOSED
Build started on lcy02-amd64-076 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-mtac2 1.4+8.18-1build3 in ubuntu noble PROPOSED
Build started on bos01-s390x-017 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coq-mtac2 1.4+8.18-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-034 and finished taking 28 minutes — see the log
[FULLYBUILT] ppc64el build of coq-mtac2 1.4+8.18-1build3 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-002 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-mtac2 1.4+8.18-1build3 in ubuntu noble PROPOSED
Build started on bos01-arm64-023 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-mtac2 1.4+8.18-1build3 in ubuntu noble PROPOSED
Build started on bos01-arm64-007 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of coq-mtac2 1.4+8.18-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-090 and finished taking 3 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] 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] 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] s390x build of coq-iris 4.1.0-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-018 and finished taking 26 minutes — see the log
[FULLYBUILT] riscv64 build of coq-iris 4.1.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-084 and finished taking 4 hours — see the log
[FULLYBUILT] ppc64el build of coq-iris 4.1.0-1build3 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-016 and finished taking 27 minutes — see the log
[FULLYBUILT] armhf build of coq-iris 4.1.0-1build3 in ubuntu noble PROPOSED
Build started on bos01-arm64-031 and finished taking 23 minutes — see the log
[FULLYBUILT] arm64 build of coq-iris 4.1.0-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-004 and finished taking 23 minutes — see the log
[FULLYBUILT] amd64 build of coq-iris 4.1.0-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-024 and finished taking 19 minutes — see the log
[FULLYBUILT] s390x build of coq-interval 4.9.0-1build5 in ubuntu noble PROPOSED
Build started on bos02-s390x-002 and finished taking 9 minutes — see the log
[FULLYBUILT] riscv64 build of coq-interval 4.9.0-1build5 in ubuntu noble PROPOSED
Build started on bos03-riscv64-058 and finished taking 59 minutes — see the log
[FULLYBUILT] ppc64el build of coq-interval 4.9.0-1build5 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-019 and finished taking 8 minutes — see the log
[FULLYBUILT] armhf build of coq-interval 4.9.0-1build5 in ubuntu noble PROPOSED
Build started on bos01-arm64-001 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of coq-interval 4.9.0-1build5 in ubuntu noble PROPOSED
Build started on bos02-arm64-066 and finished taking 18 minutes — see the log
[FULLYBUILT] amd64 build of coq-interval 4.9.0-1build5 in ubuntu noble PROPOSED
Build started on lcy02-amd64-080 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coq-hierarchy-builder 1.6.0-1build5 in ubuntu noble PROPOSED
Build started on bos01-s390x-020 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-hierarchy-builder 1.6.0-1build5 in ubuntu noble PROPOSED
Build started on bos03-riscv64-001 and finished taking 26 minutes — see the log
[FULLYBUILT] ppc64el build of coq-hierarchy-builder 1.6.0-1build5 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-018 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-hierarchy-builder 1.6.0-1build5 in ubuntu noble PROPOSED
Build started on bos01-arm64-036 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-hierarchy-builder 1.6.0-1build5 in ubuntu noble PROPOSED
Build started on bos01-arm64-018 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-hierarchy-builder 1.6.0-1build5 in ubuntu noble PROPOSED
Build started on lcy02-amd64-072 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-gappa 1.5.4-1build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-006 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-gappa 1.5.4-1build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-005 and finished taking 25 minutes — see the log
[FULLYBUILT] ppc64el build of coq-gappa 1.5.4-1build3 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-026 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-gappa 1.5.4-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-001 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-gappa 1.5.4-1build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-017 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-gappa 1.5.4-1build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-042 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-extructures 0.4.0-1build5 in ubuntu noble PROPOSED
Build started on bos01-s390x-019 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coq-extructures 0.4.0-1build5 in ubuntu noble PROPOSED
Build started on bos03-riscv64-116 and finished taking 27 minutes — see the log
[FULLYBUILT] ppc64el build of coq-extructures 0.4.0-1build5 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-018 and finished taking 3 minutes — see the log
1 → 75 of 7541 results First • Previous • • Last