Ubuntu
coq-reduction-effects package

Builds for coq-reduction-effects in Ubuntu Oracular

  1. Oracular (24.10)
  2. Builds
1 → 75 of 84 results First • Previous • • Last
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Build started on bos01-s390x-002 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Build started on bos01-s390x-002 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-042 and finished taking 17 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-042 and finished taking 17 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-012 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-012 and finished taking 3 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Missing dependencies: libcoq-stdlib
Build started on bos03-arm64-047 and finished taking 2 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Missing dependencies: libcoq-stdlib
Build started on bos03-arm64-047 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Build started on bos03-arm64-062 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Build started on bos03-arm64-062 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-118 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-5build3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-118 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-5build2 in ubuntu oracular PROPOSED
Build started on bos02-s390x-012 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-5build2 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-049 and finished taking 18 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-5build2 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-023 and finished taking 4 minutes — see the log
[MANUALDEPWAIT] armhf build of coq-reduction-effects 0.1.5-5build2 in ubuntu oracular PROPOSED
Missing dependencies: libcoq-stdlib
Build started on bos03-arm64-010 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-5build2 in ubuntu oracular PROPOSED
Build started on bos03-arm64-076 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-5build2 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-013 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-5build1 in ubuntu oracular PROPOSED
Build started on bos02-s390x-012 and finished taking 5 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-5build1 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-042 and finished taking 20 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-5build1 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-007 and finished taking 5 minutes — see the log
[FAILEDTOBUILD] armhf build of coq-reduction-effects 0.1.5-5build1 in ubuntu oracular PROPOSED
Build started on bos03-arm64-028 and finished taking 3 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-5build1 in ubuntu oracular PROPOSED
Build started on bos03-arm64-040 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-5build1 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-061 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on bos01-s390x-008 and finished taking 4 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on bos01-s390x-008 and finished taking 4 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-025 and finished taking 22 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-025 and finished taking 22 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-021 and finished taking 4 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-021 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on bos03-arm64-045 and finished taking 4 minutes — see the log
[FULLYBUILT] armhf build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on bos03-arm64-045 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on bos03-arm64-049 and finished taking 4 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on bos03-arm64-049 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-102 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-5 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-102 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on bos01-s390x-016 and finished taking 3 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on bos01-s390x-016 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-020 and finished taking 17 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-020 and finished taking 17 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-012 and finished taking 6 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-012 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on bos02-arm64-038 and finished taking 8 minutes — see the log
[FULLYBUILT] armhf build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on bos02-arm64-038 and finished taking 8 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on bos01-arm64-012 and finished taking 5 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on bos01-arm64-012 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-056 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-056 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on bos01-s390x-008 and finished taking 7 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on bos01-s390x-008 and finished taking 7 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-045 and finished taking 27 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-045 and finished taking 27 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-010 and finished taking 5 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-010 and finished taking 5 minutes — see the log
[FULLYBUILT] armhf build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on bos01-arm64-020 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on bos01-arm64-020 and finished taking 6 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on bos02-arm64-043 and finished taking 10 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on bos02-arm64-043 and finished taking 10 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-106 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-106 and finished taking 3 minutes — see the log
[FULLYBUILT] armhf build of coq-reduction-effects 0.1.5-4 in ubuntu oracular RELEASE
Build started on bos02-arm64-002 and finished taking 9 minutes — see the log
[FULLYBUILT] armhf build of coq-reduction-effects 0.1.5-4 in ubuntu oracular RELEASE
Build started on bos02-arm64-002 and finished taking 9 minutes — see the log
[FULLYBUILT] armhf build of coq-reduction-effects 0.1.5-4build1 in ubuntu oracular PROPOSED
Build started on bos03-arm64-029 and finished taking 15 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-4build1 in ubuntu oracular PROPOSED
Build started on bos01-s390x-019 and finished taking 3 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-4build1 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-117 and finished taking 19 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-4build1 in ubuntu oracular PROPOSED
Build started on bos01-ppc64el-009 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-4build1 in ubuntu oracular PROPOSED
Build started on bos02-arm64-032 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-reduction-effects 0.1.5-4build1 in ubuntu oracular PROPOSED
Build started on lcy02-amd64-050 and finished taking 1 minute — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-4 in ubuntu oracular PROPOSED
Build started on bos01-s390x-007 and finished taking 2 minutes — see the log
[FULLYBUILT] s390x build of coq-reduction-effects 0.1.5-4 in ubuntu oracular PROPOSED
Build started on bos01-s390x-007 and finished taking 2 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-4 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-113 and finished taking 20 minutes — see the log
[FULLYBUILT] riscv64 build of coq-reduction-effects 0.1.5-4 in ubuntu oracular PROPOSED
Build started on bos03-riscv64-113 and finished taking 20 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-4 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-028 and finished taking 2 minutes — see the log
[FULLYBUILT] ppc64el build of coq-reduction-effects 0.1.5-4 in ubuntu oracular PROPOSED
Build started on bos02-ppc64el-028 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of coq-reduction-effects 0.1.5-4 in ubuntu oracular PROPOSED
Build started on bos03-arm64-022 and finished taking 2 minutes — see the log
1 → 75 of 84 results First • Previous • • Last