Ubuntu
coq-float package

Builds for coq-float in Ubuntu Xenial

  1. Xenial (16.04)
  2. Builds
1 → 7 of 7 results First • Previous • Next • Last
[FULLYBUILT] amd64 build of coq-float 1:8.4-5build2 in ubuntu yakkety PROPOSED
Build started on lgw01-57 and finished taking 29 minutes — see the log
[FAILEDTOBUILD] amd64 build of coq-float 1:8.4-5build2 in ubuntu xenial PROPOSED
Build started on lgw01-33 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq-float 1:8.4-5build1 in ubuntu xenial PROPOSED
Build started on lcy01-13 and finished taking 26 minutes — see the log
[FULLYBUILT] amd64 build of coq-float 1:8.4-5build1 in ubuntu xenial PROPOSED
Build started on lcy01-13 and finished taking 26 minutes — see the log
[FULLYBUILT] amd64 build of coq-float 1:8.4-5 in ubuntu xenial PROPOSED
Build started on lgw01-35 and finished taking 28 minutes — see the log
[FULLYBUILT] amd64 build of coq-float 1:8.4-5 in ubuntu xenial PROPOSED
Build started on lgw01-35 and finished taking 28 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.4-4 in ubuntu utopic PROPOSED
Build started on tipua (i386/amd64) and finished taking 19 minutes — see the log
1 → 7 of 7 results First • Previous • Next • Last