Builds for Coq Daily Builds (v8.10)

Package:
175 of 1489 results
[FULLYBUILT] amd64 build of coq 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started 16 hours ago on lgw01-amd64-029 and finished 15 hours ago taking 35 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started 16 hours ago on lgw01-amd64-025 and finished 15 hours ago taking 31 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu19.04.1 in ubuntu disco RELEASE
Build started 16 hours ago on lgw01-amd64-043 and finished 16 hours ago taking 26 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu19.04.1 in ubuntu disco RELEASE
Build started 16 hours ago on lcy01-amd64-002 and finished 16 hours ago taking 22 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started 16 hours ago on lcy01-amd64-018 and finished 16 hours ago taking 21 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910220926+20493-0~daily322-63eb1f3~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started 16 hours ago on lgw01-amd64-019 and finished 16 hours ago taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu12.04.1 in ubuntu precise RELEASE
Build started 16 hours ago on lgw01-amd64-023 and finished 16 hours ago taking 17 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu12.04.1 in ubuntu precise RELEASE
Build started 16 hours ago on lgw01-amd64-024 and finished 16 hours ago taking 17 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910220926+20493-0~daily322-63eb1f3~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started 16 hours ago on lcy01-amd64-030 and finished 16 hours ago taking 15 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started 16 hours ago on lgw01-amd64-050 and finished 16 hours ago taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started 16 hours ago on lcy01-amd64-004 and finished 16 hours ago taking 14 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910220926+20493-0~daily324-63eb1f3~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started 16 hours ago on lcy01-amd64-003 and finished 16 hours ago taking 14 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started 16 hours ago on lgw01-amd64-027 and finished 16 hours ago taking 15 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu disco
Build started 16 hours ago on lgw01-amd64-058 and finished 16 hours ago taking 14 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started 16 hours ago on lgw01-amd64-024 and finished 16 hours ago taking 13 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started 16 hours ago on lgw01-amd64-021 and finished 16 hours ago taking 13 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started 16 hours ago on lgw01-amd64-057 and finished 16 hours ago taking 12 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started 16 hours ago on lcy01-amd64-029 and finished 16 hours ago taking 12 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910210941+20492-0~daily322-2aeb387~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on 2019-10-21 on lgw01-amd64-056 and finished on 2019-10-21 taking 26 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on 2019-10-21 on lgw01-amd64-029 and finished on 2019-10-21 taking 26 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910210941+20492-0~daily322-2aeb387~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on 2019-10-21 on lgw01-amd64-025 and finished on 2019-10-21 taking 23 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on 2019-10-21 on lgw01-amd64-054 and finished on 2019-10-21 taking 22 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on 2019-10-21 on lgw01-amd64-057 and finished on 2019-10-21 taking 21 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on 2019-10-21 on lgw01-amd64-021 and finished on 2019-10-21 taking 20 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on 2019-10-21 on lgw01-amd64-037 and finished on 2019-10-21 taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on 2019-10-21 on lgw01-amd64-026 and finished on 2019-10-21 taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on 2019-10-21 on lcy01-amd64-018 and finished on 2019-10-21 taking 16 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on 2019-10-21 on lgw01-amd64-030 and finished on 2019-10-21 taking 14 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on 2019-10-21 on lgw01-amd64-028 and finished on 2019-10-21 taking 15 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910210941+20492-0~daily324-2aeb387~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on 2019-10-21 on lgw01-amd64-050 and finished on 2019-10-21 taking 15 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on 2019-10-21 on lcy01-amd64-002 and finished on 2019-10-21 taking 28 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started on 2019-10-21 on lcy01-amd64-008 and finished on 2019-10-21 taking 28 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on 2019-10-21 on lcy01-amd64-005 and finished on 2019-10-21 taking 28 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu disco
Build started on 2019-10-21 on lcy01-amd64-001 and finished on 2019-10-21 taking 27 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started on 2019-10-21 on lcy01-amd64-004 and finished on 2019-10-21 taking 27 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on 2019-10-21 on lcy01-amd64-003 and finished on 2019-10-21 taking 27 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910161422+20491-0~daily322-954dcdc~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on 2019-10-16 on lgw01-amd64-059 and finished on 2019-10-16 taking 33 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on 2019-10-16 on lgw01-amd64-009 and finished on 2019-10-16 taking 24 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910161422+20491-0~daily324-954dcdc~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on 2019-10-16 on lgw01-amd64-052 and finished on 2019-10-16 taking 24 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910161423+20491-0~daily324-954dcdc~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on 2019-10-16 on lgw01-amd64-008 and finished on 2019-10-16 taking 23 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910161422+20491-0~daily324-954dcdc~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on 2019-10-16 on lgw01-amd64-033 and finished on 2019-10-16 taking 24 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910161422+20491-0~daily324-954dcdc~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on 2019-10-16 on lgw01-amd64-024 and finished on 2019-10-16 taking 20 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910161422+20491-0~daily324-954dcdc~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on 2019-10-16 on lgw01-amd64-050 and finished on 2019-10-16 taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910161422+20491-0~daily324-954dcdc~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on 2019-10-16 on lgw01-amd64-022 and finished on 2019-10-16 taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910161422+20491-0~daily322-954dcdc~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on 2019-10-16 on lgw01-amd64-056 and finished on 2019-10-16 taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910161422+20491-0~daily324-954dcdc~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on 2019-10-16 on lgw01-amd64-012 and finished on 2019-10-16 taking 15 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910161422+20491-0~daily324-954dcdc~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on 2019-10-16 on lgw01-amd64-025 and finished on 2019-10-16 taking 14 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910161422+20491-0~daily324-954dcdc~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on 2019-10-16 on lgw01-amd64-018 and finished on 2019-10-16 taking 14 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu disco
Build started on 2019-10-16 on lcy01-amd64-007 and finished on 2019-10-16 taking 10 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on 2019-10-16 on lcy01-amd64-003 and finished on 2019-10-16 taking 9 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on 2019-10-16 on lcy01-amd64-004 and finished on 2019-10-16 taking 8 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started on 2019-10-16 on lcy01-amd64-005 and finished on 2019-10-16 taking 8 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started on 2019-10-16 on lgw01-amd64-040 and finished on 2019-10-16 taking 8 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on 2019-10-16 on lcy01-amd64-001 and finished on 2019-10-16 taking 8 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910150806+20489-0~daily322-53243af~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on 2019-10-15 on lcy01-amd64-015 and finished on 2019-10-15 taking 31 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on 2019-10-15 on lcy01-amd64-016 and finished on 2019-10-15 taking 28 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on 2019-10-15 on lcy01-amd64-023 and finished on 2019-10-15 taking 23 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on 2019-10-15 on lcy01-amd64-010 and finished on 2019-10-15 taking 23 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on 2019-10-15 on lcy01-amd64-026 and finished on 2019-10-15 taking 19 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on 2019-10-15 on lcy01-amd64-012 and finished on 2019-10-15 taking 20 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on 2019-10-15 on lcy01-amd64-024 and finished on 2019-10-15 taking 17 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on 2019-10-15 on lcy01-amd64-011 and finished on 2019-10-15 taking 16 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910150806+20489-0~daily322-53243af~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on 2019-10-15 on lcy01-amd64-019 and finished on 2019-10-15 taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on 2019-10-15 on lcy01-amd64-018 and finished on 2019-10-15 taking 14 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on 2019-10-15 on lcy01-amd64-013 and finished on 2019-10-15 taking 14 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910150806+20489-0~daily324-53243af~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on 2019-10-15 on lcy01-amd64-014 and finished on 2019-10-15 taking 14 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started on 2019-10-15 on lcy01-amd64-029 and finished on 2019-10-15 taking 8 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started on 2019-10-15 on lcy01-amd64-023 and finished on 2019-10-15 taking 7 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on 2019-10-15 on lcy01-amd64-021 and finished on 2019-10-15 taking 7 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on 2019-10-15 on lcy01-amd64-022 and finished on 2019-10-15 taking 7 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu disco
Build started on 2019-10-15 on lcy01-amd64-024 and finished on 2019-10-15 taking 7 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on 2019-10-15 on lcy01-amd64-026 and finished on 2019-10-15 taking 7 minutes — see the log
[FULLYBUILT] i386 build of coq 8.10~git~201910140753+20488-0~daily324-297daea~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on 2019-10-14 on lcy01-amd64-015 and finished on 2019-10-14 taking 20 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910140749+20488-0~daily324-297daea~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on 2019-10-14 on lgw01-amd64-024 and finished on 2019-10-14 taking 21 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.10~git~201910140749+20488-0~daily324-297daea~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on 2019-10-14 on lgw01-amd64-014 and finished on 2019-10-14 taking 21 minutes — see the log
175 of 1489 results