Jason Gross

Builds for Coq Daily Builds (v8.11)

  1. Coq Daily Builds (v8.11)
  2. Builds
Package:
1351 → 1414 of 1414 results First • • Next • Last
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started on lgw01-amd64-025 and finished taking 7 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started on lgw01-amd64-053 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911260219+20798-0~daily326-f42d691~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lgw01-amd64-032 and finished taking 18 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911260219+20798-0~daily326-f42d691~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lcy01-amd64-026 and finished taking 17 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911260219+20798-0~daily326-f42d691~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lcy01-amd64-027 and finished taking 17 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911260219+20798-0~daily326-f42d691~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lcy01-amd64-029 and finished taking 16 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started on lgw01-amd64-033 and finished taking 5 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu focal
Build started on lcy01-amd64-025 and finished taking 5 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911252121+20798-0~daily329-f42d691~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lgw01-amd64-050 and finished taking 21 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911252119+20798-0~daily329-f42d691~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lgw01-amd64-038 and finished taking 20 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911252120+20798-0~daily329-f42d691~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on lgw01-amd64-036 and finished taking 20 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911252119+20798-0~daily329-f42d691~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lgw01-amd64-032 and finished taking 18 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911252119+20798-0~daily329-f42d691~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lgw01-amd64-031 and finished taking 17 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911252121+20798-0~daily329-f42d691~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lgw01-amd64-052 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911252120+20798-0~daily329-f42d691~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy01-amd64-021 and finished taking 16 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911252120+20798-0~daily329-f42d691~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on lcy01-amd64-023 and finished taking 15 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911252120+20798-0~daily329-f42d691~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy01-amd64-024 and finished taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911252119+20798-0~daily329-f42d691~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lgw01-amd64-034 and finished taking 15 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on lgw01-amd64-060 and finished taking 6 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on lgw01-amd64-026 and finished taking 5 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu disco
Build started on lcy01-amd64-029 and finished taking 5 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on lcy01-amd64-023 and finished taking 4 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started on lcy01-amd64-021 and finished taking 4 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911251912+20791-0~daily328-4a5a531~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lgw01-amd64-046 and finished taking 30 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911251912+20791-0~daily328-4a5a531~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on lcy01-amd64-028 and finished taking 15 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911251912+20791-0~daily328-4a5a531~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lgw01-amd64-003 and finished taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911251912+20791-0~daily328-4a5a531~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on lgw01-amd64-036 and finished taking 15 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu disco
Build started on lgw01-amd64-010 and finished taking 6 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on lgw01-amd64-013 and finished taking 5 minutes — see the log
[FULLYBUILT] i386 build of hevea 2.32-1.1~precise~ppa5 in ubuntu precise RELEASE
Build started on lgw01-amd64-037 and finished taking 1 minute — see the log
[FULLYBUILT] i386 build of hevea 2.32-1.1~trusty~ppa5 in ubuntu trusty RELEASE
Build started on lgw01-amd64-034 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hevea 2.32-1.1~xenial~ppa5 in ubuntu xenial RELEASE
Build started on lcy01-amd64-006 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of ocamlbuild 0.11.0-3build1~ubuntu16.04.1~ppa5 in ubuntu xenial RELEASE
Build started on lgw01-amd64-030 and finished taking 2 minutes — see the log
[FULLYBUILT] i386 build of ocamlbuild 0.11.0-3build1~ubuntu12.04.1~ppa5 in ubuntu precise RELEASE
Build started on lgw01-amd64-036 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of ocamlbuild 0.11.0-3build1~ubuntu12.04.1~ppa5 in ubuntu precise RELEASE
Build started on lgw01-amd64-038 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of ocamlbuild 0.11.0-3build1~ubuntu14.04.1~ppa5 in ubuntu trusty RELEASE
Build started on lcy01-amd64-027 and finished taking 1 minute — see the log
[FULLYBUILT] i386 build of ocamlbuild 0.11.0-3build1~ubuntu14.04.1~ppa5 in ubuntu trusty RELEASE
Build started on lgw01-amd64-037 and finished taking 1 minute — see the log
[FULLYBUILT] i386 build of ocamlbuild 0.11.0-3build1~ubuntu16.04.1~ppa5 in ubuntu xenial RELEASE
Build started on lcy01-amd64-030 and finished taking 1 minute — see the log
[FULLYBUILT] i386 build of findlib 1.7.3-2~ubuntu14.04.1~ppa5 in ubuntu trusty RELEASE
Build started on lgw01-amd64-037 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of findlib 1.7.3-2~ubuntu12.04.1~ppa5 in ubuntu precise RELEASE
Build started on lgw01-amd64-033 and finished taking 3 minutes — see the log
[FULLYBUILT] i386 build of findlib 1.7.3-2~ubuntu12.04.1~ppa5 in ubuntu precise RELEASE
Build started on lgw01-amd64-032 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of findlib 1.7.3-2~ubuntu16.04.1~ppa5 in ubuntu xenial RELEASE
Build started on lgw01-amd64-036 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of findlib 1.7.3-2~ubuntu14.04.1~ppa5 in ubuntu trusty RELEASE
Build started on lgw01-amd64-035 and finished taking 2 minutes — see the log
[FULLYBUILT] i386 build of findlib 1.7.3-2~ubuntu16.04.1~ppa5 in ubuntu xenial RELEASE
Build started on lgw01-amd64-030 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911250221+20789-0~daily325-2dc5988~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lgw01-amd64-031 and finished taking 28 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~201911250220+20789-0~daily325-2dc5988~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lgw01-amd64-036 and finished taking 24 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.master~git~201911250221+20789-0~daily327-2dc5988~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lgw01-amd64-018 and finished taking 19 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911250220+20789-0~daily325-2dc5988~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lgw01-amd64-039 and finished taking 17 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.master~git~201911250221+20789-0~daily327-2dc5988~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on lgw01-amd64-023 and finished taking 16 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~201911250221+20789-0~daily325-2dc5988~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lcy01-amd64-021 and finished taking 16 minutes — see the log
[FULLYBUILT] i386 build of coq 8.master~git~201911250221+20789-0~daily327-2dc5988~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lgw01-amd64-013 and finished taking 15 minutes — see the log
[FULLYBUILT] i386 build of coq 8.master~git~201911250221+20789-0~daily327-2dc5988~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on lgw01-amd64-055 and finished taking 15 minutes — see the log
[FULLYBUILT] amd64 build of ocaml 4.05.0-10ubuntu2.1~precise~ppa5 in ubuntu precise RELEASE
Build started on lgw01-amd64-044 and finished taking 16 minutes — see the log
[FULLYBUILT] i386 build of ocaml 4.05.0-10ubuntu2.1~precise~ppa5 in ubuntu precise RELEASE
Build started on lgw01-amd64-016 and finished taking 10 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu disco
Build started on lgw01-amd64-053 and finished taking 8 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu focal
Build started on lgw01-amd64-023 and finished taking 7 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started on lgw01-amd64-059 and finished taking 7 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on lcy01-amd64-011 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of ocaml 4.05.0-10ubuntu2.1~xenial~ppa5 in ubuntu xenial RELEASE
Build started on lgw01-amd64-060 and finished taking 14 minutes — see the log
[FULLYBUILT] amd64 build of ocaml 4.05.0-10ubuntu2.1~trusty~ppa5 in ubuntu trusty RELEASE
Build started on lcy01-amd64-029 and finished taking 14 minutes — see the log
[FULLYBUILT] i386 build of ocaml 4.05.0-10ubuntu2.1~xenial~ppa5 in ubuntu xenial RELEASE
Build started on lgw01-amd64-023 and finished taking 13 minutes — see the log
[FULLYBUILT] i386 build of ocaml 4.05.0-10ubuntu2.1~trusty~ppa5 in ubuntu trusty RELEASE
Build started on lgw01-amd64-029 and finished taking 13 minutes — see the log
[FULLYBUILT] i386 build of libiberty 20180614-1~ubuntu12.04.1~ppa5 in ubuntu precise RELEASE
Build started on lcy01-amd64-020 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of libiberty 20180614-1~ubuntu12.04.1~ppa5 in ubuntu precise RELEASE
Build started on lgw01-amd64-033 and finished taking 1 minute — see the log
1351 → 1414 of 1414 results First • • Next • Last