Jason Gross

Builds for Coq Daily Builds (v8.11)

Coq Daily Builds (v8.11)
Builds

	amd64 build of coq 8.11~git~202004061724+20950-0~daily333-f40839e~ubuntu19.04.1 in ubuntu disco RELEASE Build started on 2020-04-06 on lcy01-amd64-001 and finished on 2020-04-06 taking 16 minutes — see the log
	i386 build of coq 8.11~git~202004061719+20950-0~daily333-f40839e~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2020-04-06 on lgw01-amd64-050 and finished on 2020-04-06 taking 21 minutes — see the log
	amd64 build of coq 8.11~git~202004061716+20950-0~daily333-f40839e~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-04-06 on lgw01-amd64-037 and finished on 2020-04-06 taking 21 minutes — see the log
	i386 build of coq 8.11~git~202004061722+20950-0~daily333-f40839e~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2020-04-06 on lgw01-amd64-033 and finished on 2020-04-06 taking 15 minutes — see the log
	i386 build of coq 8.11~git~202004061716+20950-0~daily333-f40839e~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-04-06 on lgw01-amd64-009 and finished on 2020-04-06 taking 15 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu eoan Build started on 2020-04-06 on lgw01-amd64-038 and finished on 2020-04-06 taking 41 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu disco Build started on 2020-04-06 on lgw01-amd64-020 and finished on 2020-04-06 taking 40 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2020-04-06 on lgw01-amd64-026 and finished on 2020-04-06 taking 38 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2020-04-06 on lgw01-amd64-034 and finished on 2020-04-06 taking 35 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2020-04-06 on lgw01-amd64-028 and finished on 2020-04-06 taking 32 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2020-04-06 on lgw01-amd64-039 and finished on 2020-04-06 taking 32 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2020-04-06 on lgw01-amd64-037 and finished on 2020-04-06 taking 31 minutes — see the log
	amd64 build of coq 8.11~git~202004041638+20949-0~daily330-c48af75~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2020-04-04 on lgw01-amd64-029 and finished on 2020-04-04 taking 29 minutes — see the log
	amd64 build of coq 8.11~git~202004041636+20949-0~daily333-c48af75~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2020-04-04 on lgw01-amd64-016 and finished on 2020-04-04 taking 34 minutes — see the log
	amd64 build of coq 8.11~git~202004041638+20949-0~daily333-c48af75~ubuntu19.04.1 in ubuntu disco RELEASE Build started on 2020-04-04 on lgw01-amd64-010 and finished on 2020-04-04 taking 31 minutes — see the log
	i386 build of coq 8.11~git~202004041638+20949-0~daily333-c48af75~ubuntu19.04.1 in ubuntu disco RELEASE Build started on 2020-04-04 on lgw01-amd64-017 and finished on 2020-04-04 taking 31 minutes — see the log
	amd64 build of coq 8.11~git~202004041637+20949-0~daily333-c48af75~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2020-04-04 on lgw01-amd64-012 and finished on 2020-04-04 taking 28 minutes — see the log
	i386 build of coq 8.11~git~202004041635+20949-0~daily333-c48af75~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-04-04 on lgw01-amd64-030 and finished on 2020-04-04 taking 29 minutes — see the log
	i386 build of coq 8.11~git~202004041634+20949-0~daily333-c48af75~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2020-04-04 on lgw01-amd64-019 and finished on 2020-04-04 taking 28 minutes — see the log
	amd64 build of coq 8.11~git~202004041638+20949-0~daily330-c48af75~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2020-04-04 on lgw01-amd64-020 and finished on 2020-04-04 taking 18 minutes — see the log
	i386 build of coq 8.11~git~202004041637+20949-0~daily333-c48af75~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2020-04-04 on lgw01-amd64-011 and finished on 2020-04-04 taking 22 minutes — see the log
	amd64 build of coq 8.11~git~202004041635+20949-0~daily333-c48af75~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-04-04 on lgw01-amd64-004 and finished on 2020-04-04 taking 24 minutes — see the log
	i386 build of coq 8.11~git~202004041636+20949-0~daily333-c48af75~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2020-04-04 on lgw01-amd64-003 and finished on 2020-04-04 taking 22 minutes — see the log
	i386 build of coq 8.11~git~202004041638+20949-0~daily330-c48af75~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2020-04-04 on lgw01-amd64-036 and finished on 2020-04-04 taking 15 minutes — see the log
	amd64 build of coq 8.11~git~202004041634+20949-0~daily333-c48af75~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2020-04-04 on lgw01-amd64-015 and finished on 2020-04-04 taking 17 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2020-04-04 on lgw01-amd64-043 and finished on 2020-04-04 taking 27 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu eoan Build started on 2020-04-04 on lgw01-amd64-041 and finished on 2020-04-04 taking 27 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu disco Build started on 2020-04-04 on lgw01-amd64-036 and finished on 2020-04-04 taking 24 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2020-04-04 on lgw01-amd64-042 and finished on 2020-04-04 taking 23 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2020-04-04 on lgw01-amd64-047 and finished on 2020-04-04 taking 22 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2020-04-04 on lgw01-amd64-026 and finished on 2020-04-04 taking 20 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2020-04-04 on lgw01-amd64-030 and finished on 2020-04-04 taking 20 minutes — see the log
	amd64 build of coq 8.11~git~202004031643+20946-0~daily333-ae64fbc~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2020-04-03 on lgw01-amd64-001 and finished on 2020-04-03 taking 51 minutes — see the log
	i386 build of coq 8.11~git~202004031643+20946-0~daily333-ae64fbc~ubuntu19.04.1 in ubuntu disco RELEASE Build started on 2020-04-03 on lgw01-amd64-017 and finished on 2020-04-03 taking 23 minutes — see the log
	i386 build of coq 8.11~git~202004031640+20946-0~daily333-ae64fbc~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2020-04-03 on lgw01-amd64-048 and finished on 2020-04-03 taking 26 minutes — see the log
	i386 build of coq 8.11~git~202004031639+20946-0~daily333-ae64fbc~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-04-03 on lcy01-amd64-015 and finished on 2020-04-03 taking 24 minutes — see the log
	i386 build of coq 8.11~git~202004031643+20946-0~daily333-ae64fbc~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2020-04-03 on lcy01-amd64-023 and finished on 2020-04-03 taking 23 minutes — see the log
	amd64 build of coq 8.11~git~202004031640+20946-0~daily333-ae64fbc~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2020-04-03 on lcy01-amd64-019 and finished on 2020-04-03 taking 22 minutes — see the log
	amd64 build of coq 8.11~git~202004031639+20946-0~daily330-ae64fbc~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2020-04-03 on lcy01-amd64-018 and finished on 2020-04-03 taking 19 minutes — see the log
	amd64 build of coq 8.11~git~202004031643+20946-0~daily333-ae64fbc~ubuntu19.04.1 in ubuntu disco RELEASE Build started on 2020-04-03 on lcy01-amd64-011 and finished on 2020-04-03 taking 18 minutes — see the log
	i386 build of coq 8.11~git~202004031638+20946-0~daily333-ae64fbc~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2020-04-03 on lcy01-amd64-012 and finished on 2020-04-03 taking 21 minutes — see the log
	amd64 build of coq 8.11~git~202004031639+20946-0~daily333-ae64fbc~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-04-03 on lcy01-amd64-024 and finished on 2020-04-03 taking 18 minutes — see the log
	i386 build of coq 8.11~git~202004031639+20946-0~daily330-ae64fbc~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2020-04-03 on lgw01-amd64-010 and finished on 2020-04-03 taking 18 minutes — see the log
	amd64 build of coq 8.11~git~202004031639+20946-0~daily330-ae64fbc~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2020-04-03 on lcy01-amd64-010 and finished on 2020-04-03 taking 18 minutes — see the log
	amd64 build of coq 8.11~git~202004031638+20946-0~daily333-ae64fbc~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2020-04-03 on lcy01-amd64-006 and finished on 2020-04-03 taking 16 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu disco Build started on 2020-04-03 on lgw01-amd64-001 and finished on 2020-04-03 taking 29 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2020-04-03 on lgw01-amd64-058 and finished on 2020-04-03 taking 30 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2020-04-03 on lgw01-amd64-017 and finished on 2020-04-03 taking 29 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2020-04-03 on lgw01-amd64-049 and finished on 2020-04-03 taking 27 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu eoan Build started on 2020-04-03 on lgw01-amd64-050 and finished on 2020-04-03 taking 26 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2020-04-03 on lcy01-amd64-015 and finished on 2020-04-03 taking 24 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2020-04-03 on lcy01-amd64-030 and finished on 2020-04-03 taking 22 minutes — see the log
	amd64 build of coq 8.11~git~202004011528+20943-0~daily333-64b7153~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2020-04-01 on lgw01-amd64-028 and finished on 2020-04-01 taking 51 minutes — see the log
	i386 build of coq 8.11~git~202004011525+20943-0~daily333-64b7153~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-04-01 on lgw01-amd64-041 and finished on 2020-04-01 taking 40 minutes — see the log
	i386 build of coq 8.11~git~202004011532+20943-0~daily333-64b7153~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2020-04-01 on lcy01-amd64-024 and finished on 2020-04-01 taking 23 minutes — see the log
	amd64 build of coq 8.11~git~202004011525+20943-0~daily330-64b7153~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2020-04-01 on lgw01-amd64-055 and finished on 2020-04-01 taking 36 minutes — see the log
	amd64 build of coq 8.11~git~202004011525+20943-0~daily333-64b7153~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-04-01 on lgw01-amd64-034 and finished on 2020-04-01 taking 37 minutes — see the log
	amd64 build of coq 8.11~git~202004011532+20943-0~daily333-64b7153~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2020-04-01 on lgw01-amd64-009 and finished on 2020-04-01 taking 17 minutes — see the log
	amd64 build of coq 8.11~git~202004011527+20943-0~daily333-64b7153~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2020-04-01 on lcy01-amd64-023 and finished on 2020-04-01 taking 29 minutes — see the log
	amd64 build of coq 8.11~git~202004011522+20943-0~daily330-64b7153~ubuntu20.04.1 in ubuntu focal RELEASE Build started on 2020-04-01 on lgw01-amd64-036 and finished on 2020-04-01 taking 31 minutes — see the log
	i386 build of coq 8.11~git~202004011527+20943-0~daily333-64b7153~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2020-04-01 on lgw01-amd64-052 and finished on 2020-04-01 taking 20 minutes — see the log
	i386 build of coq 8.11~git~202004011525+20943-0~daily330-64b7153~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2020-04-01 on lgw01-amd64-044 and finished on 2020-04-01 taking 20 minutes — see the log
	i386 build of coq 8.11~git~202004011528+20943-0~daily333-64b7153~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2020-04-01 on lgw01-amd64-010 and finished on 2020-04-01 taking 18 minutes — see the log
	i386 build of coq 8.11~git~202004011526+20943-0~daily333-64b7153~ubuntu19.04.1 in ubuntu disco RELEASE Build started on 2020-04-01 on lgw01-amd64-031 and finished on 2020-04-01 taking 20 minutes — see the log
	amd64 build of coq 8.11~git~202004011526+20943-0~daily333-64b7153~ubuntu19.04.1 in ubuntu disco RELEASE Build started on 2020-04-01 on lgw01-amd64-001 and finished on 2020-04-01 taking 17 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2020-04-01 on lgw01-amd64-040 and finished on 2020-04-01 taking 21 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2020-04-01 on lgw01-amd64-036 and finished on 2020-04-01 taking 15 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2020-04-01 on lgw01-amd64-026 and finished on 2020-04-01 taking 13 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu eoan Build started on 2020-04-01 on lcy01-amd64-009 and finished on 2020-04-01 taking 13 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu disco Build started on 2020-04-01 on lcy01-amd64-001 and finished on 2020-04-01 taking 11 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2020-04-01 on lgw01-amd64-041 and finished on 2020-04-01 taking 11 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu focal Build started on 2020-04-01 on lgw01-amd64-006 and finished on 2020-04-01 taking 9 minutes — see the log
	i386 build of coq 8.11~git~202003311540+20940-0~daily333-6aec530~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2020-03-31 on lgw01-amd64-037 and finished on 2020-03-31 taking 45 minutes — see the log
	i386 build of coq 8.11~git~202003311540+20940-0~daily330-6aec530~ubuntu19.10.1 in ubuntu eoan RELEASE Build started on 2020-03-31 on lgw01-amd64-030 and finished on 2020-03-31 taking 42 minutes — see the log
	i386 build of coq 8.11~git~202003311535+20940-0~daily333-6aec530~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2020-03-31 on lgw01-amd64-024 and finished on 2020-03-31 taking 42 minutes — see the log