Ubuntu
why3 package

Builds for why3 in Ubuntu Artful

  1. Artful (17.10)
  2. Builds
1 → 57 of 57 results First • Previous • Next • Last
[SUPERSEDED] arm64 build of why3 0.87.3-2ubuntu3 in ubuntu bionic RELEASE
[SUPERSEDED] arm64 build of why3 0.87.3-2ubuntu3 in ubuntu bionic RELEASE
[FULLYBUILT] s390x build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Build started on z13-010 and finished taking 6 minutes — see the log
[FULLYBUILT] s390x build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Build started on z13-010 and finished taking 6 minutes — see the log
[FULLYBUILT] ppc64el build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-027 and finished taking 5 minutes — see the log
[FULLYBUILT] ppc64el build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-027 and finished taking 5 minutes — see the log
[FULLYBUILT] i386 build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Build started on lcy01-04 and finished taking 6 minutes — see the log
[FULLYBUILT] i386 build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Build started on lcy01-04 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Build started on bos01-arm64-009 and finished taking 12 minutes — see the log
[FULLYBUILT] armhf build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Build started on bos01-arm64-009 and finished taking 12 minutes — see the log
[MANUALDEPWAIT] arm64 build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Missing dependencies: libcoq-ocaml-dev
Build started on bos01-arm64-044 and finished taking 2 minutes — see the log
[MANUALDEPWAIT] arm64 build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Missing dependencies: libcoq-ocaml-dev
Build started on bos01-arm64-044 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Build started on lcy01-09 and finished taking 9 minutes — see the log
[FULLYBUILT] amd64 build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED
Build started on lcy01-09 and finished taking 9 minutes — see the log
[FULLYBUILT] s390x build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Build started on z13-010 and finished taking 9 minutes — see the log
[FULLYBUILT] s390x build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Build started on z13-010 and finished taking 9 minutes — see the log
[FULLYBUILT] ppc64el build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-025 and finished taking 6 minutes — see the log
[FULLYBUILT] ppc64el build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-025 and finished taking 6 minutes — see the log
[FULLYBUILT] i386 build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Build started on lcy01-02 and finished taking 6 minutes — see the log
[FULLYBUILT] i386 build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Build started on lcy01-02 and finished taking 6 minutes — see the log
[FULLYBUILT] armhf build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Build started on bos01-arm64-001 and finished taking 11 minutes — see the log
[FULLYBUILT] armhf build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Build started on bos01-arm64-001 and finished taking 11 minutes — see the log
[MANUALDEPWAIT] arm64 build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Missing dependencies: libcoq-ocaml-dev
Build started on bos01-arm64-023 and finished taking 3 minutes — see the log
[MANUALDEPWAIT] arm64 build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Missing dependencies: libcoq-ocaml-dev
Build started on bos01-arm64-023 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Build started on lgw01-13 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED
Build started on lgw01-13 and finished taking 8 minutes — see the log
[FULLYBUILT] s390x build of why3 0.87.3-2build3 in ubuntu artful PROPOSED
Build started on z13-019 and finished taking 11 minutes — see the log
[FULLYBUILT] ppc64el build of why3 0.87.3-2build3 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-024 and finished taking 5 minutes — see the log
[FULLYBUILT] i386 build of why3 0.87.3-2build3 in ubuntu artful PROPOSED
Build started on lcy01-03 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of why3 0.87.3-2build3 in ubuntu artful PROPOSED
Build started on bos01-arm64-009 and finished taking 11 minutes — see the log
[FAILEDTOBUILD] arm64 build of why3 0.87.3-2build3 in ubuntu artful PROPOSED
Build started on bos01-arm64-024 and finished taking 5 minutes — see the log
[FULLYBUILT] amd64 build of why3 0.87.3-2build3 in ubuntu artful PROPOSED
Build started on lcy01-33 and finished taking 8 minutes — see the log
[FAILEDTOBUILD] s390x build of why3 0.87.3-2build2 in ubuntu artful PROPOSED
Build started on z13-023 and finished taking 2 minutes — see the log
[FULLYBUILT] ppc64el build of why3 0.87.3-2build2 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-024 and finished taking 6 minutes — see the log
[FULLYBUILT] i386 build of why3 0.87.3-2build2 in ubuntu artful PROPOSED
Build started on lgw01-51 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of why3 0.87.3-2build2 in ubuntu artful PROPOSED
Build started on bos01-arm64-034 and finished taking 10 minutes — see the log
[FAILEDTOBUILD] arm64 build of why3 0.87.3-2build2 in ubuntu artful PROPOSED
Build started on bos01-arm64-021 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of why3 0.87.3-2build2 in ubuntu artful PROPOSED
Build started on lgw01-01 and finished taking 18 minutes — see the log
[FULLYBUILT] s390x build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on z13-017 and finished taking 13 minutes — see the log
[FULLYBUILT] s390x build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on z13-017 and finished taking 13 minutes — see the log
[FULLYBUILT] ppc64el build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-028 and finished taking 11 minutes — see the log
[FULLYBUILT] ppc64el build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on bos01-ppc64el-028 and finished taking 11 minutes — see the log
[FULLYBUILT] i386 build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on lgw01-12 and finished taking 7 minutes — see the log
[FULLYBUILT] i386 build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on lgw01-12 and finished taking 7 minutes — see the log
[FULLYBUILT] armhf build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on bos01-arm64-007 and finished taking 9 minutes — see the log
[FULLYBUILT] armhf build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on bos01-arm64-007 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on bos01-arm64-041 and finished taking 9 minutes — see the log
[FULLYBUILT] arm64 build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on bos01-arm64-041 and finished taking 9 minutes — see the log
[FULLYBUILT] amd64 build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on lgw01-10 and finished taking 12 minutes — see the log
[FULLYBUILT] amd64 build of why3 0.87.3-2build1 in ubuntu artful PROPOSED
Build started on lgw01-10 and finished taking 12 minutes — see the log
[FULLYBUILT] s390x build of why3 0.87.3-2 in ubuntu zesty PROPOSED
Build started on z13-003 and finished taking 15 minutes — see the log
[FULLYBUILT] ppc64el build of why3 0.87.3-2 in ubuntu zesty PROPOSED
Build started on bos01-ppc64el-001 and finished taking 13 minutes — see the log
[FULLYBUILT] powerpc build of why3 0.87.3-2 in ubuntu zesty PROPOSED
Build started on fisher04 (powerpc) and finished taking 9 minutes — see the log
[FULLYBUILT] i386 build of why3 0.87.3-2 in ubuntu zesty PROPOSED
Build started on lgw01-45 and finished taking 8 minutes — see the log
[FULLYBUILT] armhf build of why3 0.87.3-2 in ubuntu zesty PROPOSED
Build started on bos01-arm64-022 and finished taking 11 minutes — see the log
[FULLYBUILT] arm64 build of why3 0.87.3-2 in ubuntu zesty PROPOSED
Build started on bos01-arm64-020 and finished taking 11 minutes — see the log
[FULLYBUILT] amd64 build of why3 0.87.3-2 in ubuntu zesty PROPOSED
Build started on lgw01-13 and finished taking 11 minutes — see the log
1 → 57 of 57 results First • Previous • Next • Last