Jason Gross

Builds for Coq Daily Builds (v8.11)

  1. Coq Daily Builds (v8.11)
  2. Builds
Package:
76 → 150 of 1414 results First • • • Last
[FULLYBUILT] i386 build of coq 8.11~git~202005141924+20976-0~daily330-07fa380~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lgw01-amd64-057 and finished taking 41 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lgw01-amd64-045 and finished taking 39 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lgw01-amd64-019 and finished taking 37 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005141922+20976-0~daily330-07fa380~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lcy01-amd64-014 and finished taking 31 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lgw01-amd64-033 and finished taking 27 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy01-amd64-004 and finished taking 25 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005141924+20976-0~daily333-07fa380~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lgw01-amd64-011 and finished taking 21 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005141924+20976-0~daily330-07fa380~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lgw01-amd64-025 and finished taking 16 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lgw01-amd64-015 and finished taking 19 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005141923+20976-0~daily333-07fa380~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lgw01-amd64-060 and finished taking 15 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on lgw01-amd64-018 and finished taking 11 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started on lgw01-amd64-028 and finished taking 9 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on lcy01-amd64-021 and finished taking 8 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on lgw01-amd64-019 and finished taking 7 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu focal
Build started on lgw01-amd64-030 and finished taking 8 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started on lcy01-amd64-025 and finished taking 7 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005131322+20975-0~daily333-ebf789e~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lgw01-amd64-041 and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy01-amd64-024 and finished taking 24 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005131322+20975-0~daily333-ebf789e~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lgw01-amd64-043 and finished taking 28 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lgw01-amd64-020 and finished taking 18 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lgw01-amd64-055 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lgw01-amd64-056 and finished taking 21 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy01-amd64-023 and finished taking 18 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005131323+20975-0~daily333-ebf789e~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lgw01-amd64-054 and finished taking 19 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005131322+20975-0~daily330-ebf789e~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lcy01-amd64-022 and finished taking 19 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005131322+20975-0~daily330-ebf789e~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lcy01-amd64-025 and finished taking 19 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005131322+20975-0~daily330-ebf789e~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lcy01-amd64-021 and finished taking 17 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on lgw01-amd64-015 and finished taking 14 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on lgw01-amd64-014 and finished taking 12 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on lgw01-amd64-016 and finished taking 10 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started on lcy01-amd64-019 and finished taking 9 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu focal
Build started on lgw01-amd64-017 and finished taking 9 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started on lgw01-amd64-013 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005121322+20961-0~daily330-f8178c4~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lgw01-amd64-016 and finished taking 29 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005121321+20961-0~daily330-f8178c4~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lgw01-amd64-060 and finished taking 27 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005121323+20961-0~daily333-f8178c4~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lcy01-amd64-013 and finished taking 26 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005121323+20961-0~daily333-f8178c4~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lcy01-amd64-010 and finished taking 25 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005121323+20961-0~daily333-f8178c4~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lgw01-amd64-009 and finished taking 23 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005121323+20961-0~daily333-f8178c4~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lgw01-amd64-036 and finished taking 20 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005121322+20961-0~daily330-f8178c4~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lcy01-amd64-007 and finished taking 19 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005121322+20961-0~daily333-f8178c4~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lgw01-amd64-014 and finished taking 16 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005121322+20961-0~daily333-f8178c4~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lcy01-amd64-019 and finished taking 15 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005121322+20961-0~daily333-f8178c4~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lgw01-amd64-007 and finished taking 16 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005121322+20961-0~daily333-f8178c4~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lgw01-amd64-008 and finished taking 13 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu focal
Build started on lgw01-amd64-023 and finished taking 11 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on lgw01-amd64-003 and finished taking 10 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started on lgw01-amd64-032 and finished taking 10 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on lgw01-amd64-021 and finished taking 9 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on lcy01-amd64-024 and finished taking 7 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started on lgw01-amd64-027 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005111324+20951-0~daily330-484bb2f~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lcy01-amd64-009 and finished taking 23 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lgw01-amd64-060 and finished taking 24 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005111324+20951-0~daily330-484bb2f~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lgw01-amd64-013 and finished taking 22 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lgw01-amd64-017 and finished taking 22 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lgw01-amd64-010 and finished taking 21 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu18.04.1 in ubuntu bionic RELEASE
Build started on lgw01-amd64-018 and finished taking 21 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lcy01-amd64-029 and finished taking 21 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lcy01-amd64-011 and finished taking 17 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202005111324+20951-0~daily330-484bb2f~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lgw01-amd64-012 and finished taking 17 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lgw01-amd64-019 and finished taking 15 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202005111324+20951-0~daily333-484bb2f~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lcy01-amd64-018 and finished taking 14 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu focal
Build started on lgw01-amd64-004 and finished taking 10 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu bionic
Build started on lgw01-amd64-003 and finished taking 10 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu xenial
Build started on lgw01-amd64-001 and finished taking 10 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu trusty
Build started on lgw01-amd64-002 and finished taking 10 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu eoan
Build started on lcy01-amd64-003 and finished taking 10 minutes — see the log
[FULLYBUILT] ~jgross-h/coq/+git/coq recipe build in ubuntu precise
Build started on lgw01-amd64-018 and finished taking 9 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1 in ubuntu disco RELEASE
Build started on lgw01-amd64-023 and finished taking 40 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202004061713+20950-0~daily330-f40839e~ubuntu20.04.1 in ubuntu focal RELEASE
Build started on lgw01-amd64-014 and finished taking 44 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202004061720+20950-0~daily330-f40839e~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lcy01-amd64-028 and finished taking 29 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202004061716+20950-0~daily333-f40839e~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lgw01-amd64-012 and finished taking 31 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202004061720+20950-0~daily330-f40839e~ubuntu19.10.1 in ubuntu eoan RELEASE
Build started on lgw01-amd64-008 and finished taking 20 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202004061722+20950-0~daily333-f40839e~ubuntu16.04.1 in ubuntu xenial RELEASE
Build started on lcy01-amd64-005 and finished taking 22 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.11~git~202004061719+20950-0~daily333-f40839e~ubuntu14.04.1 in ubuntu trusty RELEASE
Build started on lgw01-amd64-031 and finished taking 24 minutes — see the log
[FULLYBUILT] i386 build of coq 8.11~git~202004061716+20950-0~daily333-f40839e~ubuntu12.04.1 in ubuntu precise RELEASE
Build started on lcy01-amd64-007 and finished taking 23 minutes — see the log
76 → 150 of 1414 results First • • • Last