Ubuntu
coq-libhyps package

Builds for coq-libhyps in Ubuntu Oracular

  1. Oracular (24.10)
  2. Builds
1 → 36 of 36 results First • Previous • Next • Last
[FULLYBUILT] s390x build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on bos02-s390x-019 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on bos02-s390x-019 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-098 and finished taking 27 minutes — see the log
[FULLYBUILT] riscv64 build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-098 and finished taking 27 minutes — see the log
[FULLYBUILT] ppc64el build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-005 and finished taking 7 minutes — see the log
[FULLYBUILT] ppc64el build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-005 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on bos02-arm64-049 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on bos02-arm64-049 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on bos02-arm64-031 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on bos02-arm64-031 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-028 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-libhyps 2.0.8-3build2 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-028 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-libhyps 2.0.8-3 in ubuntu oracular RELEASE
Build started on bos03-arm64-013 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of coq-libhyps 2.0.8-3 in ubuntu oracular RELEASE
Build started on bos03-arm64-013 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of coq-libhyps 2.0.8-3build1 in ubuntu oracular PROPOSED
Build started on bos03-arm64-031 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-libhyps 2.0.8-3build1 in ubuntu oracular PROPOSED
Build started on bos01-s390x-010 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-libhyps 2.0.8-3build1 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-014 and finished taking 19 minutes — see the log
[FULLYBUILT] ppc64el build of coq-libhyps 2.0.8-3build1 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-018 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-libhyps 2.0.8-3build1 in ubuntu oracular PROPOSED
Build started on bos02-arm64-020 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of coq-libhyps 2.0.8-3build1 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-067 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-libhyps 2.0.8-3 in ubuntu oracular PROPOSED
Build started on bos01-s390x-007 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-libhyps 2.0.8-3 in ubuntu oracular PROPOSED
Build started on bos01-s390x-007 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-libhyps 2.0.8-3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-105 and finished taking 19 minutes — see the log
[FULLYBUILT] riscv64 build of coq-libhyps 2.0.8-3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-105 and finished taking 19 minutes — see the log
[FULLYBUILT] ppc64el build of coq-libhyps 2.0.8-3 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-015 and finished taking 2 minutes — see the log
[FULLYBUILT] ppc64el build of coq-libhyps 2.0.8-3 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-015 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-libhyps 2.0.8-3 in ubuntu oracular PROPOSED
Build started on bos02-arm64-017 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coq-libhyps 2.0.8-3 in ubuntu oracular PROPOSED
Build started on bos02-arm64-017 and finished taking 6 minutes — see the log
[FULLYBUILT] amd64 build of coq-libhyps 2.0.8-3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-119 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of coq-libhyps 2.0.8-3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-119 and finished taking 1 minute — see the log
[FULLYBUILT] s390x build of coq-libhyps 2.0.8-1build4 in ubuntu noble PROPOSED
Build started on bos02-s390x-008 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coq-libhyps 2.0.8-1build4 in ubuntu noble PROPOSED
Build started on bos03-riscv64-110 and finished taking 19 minutes — see the log
[FULLYBUILT] ppc64el build of coq-libhyps 2.0.8-1build4 in ubuntu noble PROPOSED
Build started on bos02-ppc64el-007 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of coq-libhyps 2.0.8-1build4 in ubuntu noble PROPOSED
Build started on bos03-arm64-001 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-libhyps 2.0.8-1build4 in ubuntu noble PROPOSED
Build started on bos01-arm64-017 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-libhyps 2.0.8-1build4 in ubuntu noble PROPOSED
Build started on lcy02-amd64-028 and finished taking 3 minutes — see the log
1 → 36 of 36 results First • Previous • Next • Last