Ubuntu
coq-elpi package

Builds for coq-elpi in Ubuntu Mantic

  1. Mantic (23.10)
  2. Builds
1 → 75 of 96 results First • Previous • • Last
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos01-s390x-014 and finished taking 2 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos01-s390x-014 and finished taking 2 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-019 and finished taking 36 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-019 and finished taking 36 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-025 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-025 and finished taking 4 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-058 and finished taking 3 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-058 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Build started on bos02-arm64-080 and finished taking 10 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Build started on bos02-arm64-080 and finished taking 10 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-004 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build8 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-004 and finished taking 3 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-s390x-017 and finished taking 3 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-s390x-017 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-027 and finished taking 46 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-027 and finished taking 46 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Build started on bos01-ppc64el-006 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Build started on bos01-ppc64el-006 and finished taking 4 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-001 and finished taking 4 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-001 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Build started on bos01-arm64-040 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Build started on bos01-arm64-040 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-034 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build7 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-034 and finished taking 3 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos01-s390x-009 and finished taking 1 minute — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos01-s390x-009 and finished taking 1 minute — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-027 and finished taking 44 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-027 and finished taking 44 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-026 and finished taking 6 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-026 and finished taking 6 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-003 and finished taking 10 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-003 and finished taking 10 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Build started on bos02-arm64-039 and finished taking 12 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Build started on bos02-arm64-039 and finished taking 12 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-077 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build6 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-077 and finished taking 5 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build5 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-s390x-008 and finished taking 2 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build5 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-025 and finished taking 44 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build5 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-024 and finished taking 7 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build5 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos01-arm64-038 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build5 in ubuntu mantic PROPOSED
Build started on bos01-arm64-031 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build5 in ubuntu mantic PROPOSED
Build started on bos03-amd64-008 and finished taking 4 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build4 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-s390x-008 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build4 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-026 and finished taking 47 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build4 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-005 and finished taking 5 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build4 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos01-arm64-021 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build4 in ubuntu mantic PROPOSED
Build started on bos01-arm64-004 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build4 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-009 and finished taking 5 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build3 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-s390x-006 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build3 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-086 and finished taking 59 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build3 in ubuntu mantic PROPOSED
Build started on bos01-ppc64el-009 and finished taking 16 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build3 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-040 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build3 in ubuntu mantic PROPOSED
Build started on bos01-arm64-037 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build3 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-073 and finished taking 4 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-s390x-014 and finished taking 1 minute — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-s390x-014 and finished taking 1 minute — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-027 and finished taking 42 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-027 and finished taking 42 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Build started on bos01-ppc64el-012 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Build started on bos01-ppc64el-012 and finished taking 4 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-078 and finished taking 2 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-078 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Build started on bos02-arm64-002 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Build started on bos02-arm64-002 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-014 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-elpi 1.17.1-1build2 in ubuntu mantic PROPOSED
Build started on lcy02-amd64-014 and finished taking 4 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build1 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-s390x-017 and finished taking 2 minutes — see the log
[MANUALDEPWAIT] s390x build of coq-elpi 1.17.1-1build1 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-s390x-017 and finished taking 2 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build1 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-021 and finished taking 43 minutes — see the log
[FULLYBUILT] riscv64 build of coq-elpi 1.17.1-1build1 in ubuntu mantic PROPOSED
Build started on riscv64-qemu-lgw01-021 and finished taking 43 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build1 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-021 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-elpi 1.17.1-1build1 in ubuntu mantic PROPOSED
Build started on bos02-ppc64el-021 and finished taking 7 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build1 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-062 and finished taking 3 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-elpi 1.17.1-1build1 in ubuntu mantic PROPOSED
Missing dependencies: libelpi-ocaml-dev
Build started on bos02-arm64-062 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-elpi 1.17.1-1build1 in ubuntu mantic PROPOSED
Build started on bos02-arm64-079 and finished taking 12 minutes — see the log
1 → 75 of 96 results First • Previous • • Last