Ubuntu
coq-elpi package

Builds for coq-elpi in Ubuntu Noble

  1. Noble (24.04)
  2. Builds
1 → 75 of 90 results First • Previous • • Last
[FULLYBUILT] s390x build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on bos02-s390x-007 and finished taking 7 minutes — see the log
[FULLYBUILT] s390x build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on bos02-s390x-007 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-058 and finished taking 35 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-058 and finished taking 35 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-029 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-029 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on bos02-arm64-065 and finished taking 8 minutes — see the log
[FULLYBUILT] armhf build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on bos02-arm64-065 and finished taking 8 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-017 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-017 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on lcy02-amd64-083 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-2build4 in ubuntu noble PROPOSED
Build started on lcy02-amd64-083 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-elpi 1.19.3-2build3 in ubuntu noble PROPOSED
Build started on bos02-s390x-002 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-2build3 in ubuntu noble PROPOSED
Build started on bos03-riscv64-002 and finished taking 42 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-2build3 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-020 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-elpi 1.19.3-2build3 in ubuntu noble PROPOSED
Build started on bos03-arm64-010 and finished taking 7 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-2build3 in ubuntu noble PROPOSED
Build started on bos02-arm64-070 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-2build3 in ubuntu noble PROPOSED
Build started on lcy02-amd64-080 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on bos01-s390x-008 and finished taking 9 minutes — see the log
[FULLYBUILT] s390x build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on bos01-s390x-008 and finished taking 9 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-056 and finished taking 34 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-056 and finished taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-017 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-017 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on bos03-arm64-012 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on bos03-arm64-012 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on bos01-arm64-010 and finished taking 10 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on bos01-arm64-010 and finished taking 10 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-049 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-2build2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-049 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos02-s390x-008 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos02-s390x-008 and finished taking 5 minutes — see the log
[FULLYBUILT] s390x build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos02-s390x-008 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-048 and finished taking 34 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-048 and finished taking 34 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-048 and finished taking 34 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-019 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-019 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos01-ppc64el-019 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos03-arm64-023 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos03-arm64-023 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos03-arm64-023 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos03-arm64-029 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos03-arm64-029 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on bos03-arm64-029 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-071 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-071 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-2build1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-071 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on bos02-s390x-015 and finished taking 7 minutes — see the log
[FULLYBUILT] s390x build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on bos02-s390x-015 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-029 and finished taking 30 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on bos03-riscv64-029 and finished taking 30 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-023 and finished taking 8 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-023 and finished taking 8 minutes — see the log
[FULLYBUILT] armhf build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on bos02-arm64-013 and finished taking 11 minutes — see the log
[FULLYBUILT] armhf build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on bos02-arm64-013 and finished taking 11 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on bos02-arm64-038 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on bos02-arm64-038 and finished taking 9 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-007 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-2 in ubuntu noble PROPOSED
Build started on lcy02-amd64-007 and finished taking 4 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.19.3-1 in ubuntu noble PROPOSED
Missing dependencies: libstdlib-ocaml-dev-ep7y0
Build started on bos01-s390x-011 and finished taking 2 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.19.3-1 in ubuntu noble PROPOSED
Build started on bos03-riscv64-010 and finished taking 35 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.19.3-1 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-014 and finished taking 8 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.19.3-1 in ubuntu noble PROPOSED
Missing dependencies: libstdlib-ocaml-dev-ep7y0
Build started on bos02-arm64-046 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.19.3-1 in ubuntu noble PROPOSED
Build started on bos02-arm64-080 and finished taking 14 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.19.3-1 in ubuntu noble PROPOSED
Build started on lcy02-amd64-048 and finished taking 6 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
Missing dependencies: libstdlib-ocaml-dev-ep7y0
Build started on bos01-s390x-008 and finished taking 2 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
Missing dependencies: libstdlib-ocaml-dev-ep7y0
Build started on bos01-s390x-008 and finished taking 2 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
Build started on bos03-riscv64-041 and finished taking 25 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
Build started on bos03-riscv64-041 and finished taking 25 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-008 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-008 and finished taking 7 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
Missing dependencies: libstdlib-ocaml-dev-ep7y0
Build started on bos02-arm64-075 and finished taking 3 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
Missing dependencies: libstdlib-ocaml-dev-ep7y0
Build started on bos02-arm64-075 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build10 in ubuntu noble PROPOSED
Build started on bos02-arm64-070 and finished taking 9 minutes — see the log
1 → 75 of 90 results First • Previous • • Last