Jason Gross

Builds for Coq Daily Builds (v8.8)

Coq Daily Builds (v8.8)
Builds

	i386 build of coq 8.8~git~201804140133+18934-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-14 on lgw01-amd64-041 and finished on 2018-04-14 taking 19 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-04-14 on lgw01-amd64-034 and finished on 2018-04-14 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-04-14 on lgw01-amd64-024 and finished on 2018-04-14 taking 7 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-04-14 on lgw01-amd64-042 and finished on 2018-04-14 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-04-14 on lcy01-amd64-008 and finished on 2018-04-14 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-04-14 on lgw01-amd64-036 and finished on 2018-04-14 taking 3 minutes — see the log
	i386 build of coq 8.8~git~201804130133+18925-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-13 on lgw01-amd64-020 and finished on 2018-04-13 taking 32 minutes — see the log
	i386 build of coq 8.8~git~201804130132+18925-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-13 on lgw01-amd64-059 and finished on 2018-04-13 taking 31 minutes — see the log
	i386 build of coq 8.8~git~201804130132+18925-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-13 on lgw01-amd64-053 and finished on 2018-04-13 taking 29 minutes — see the log
	amd64 build of coq 8.8~git~201804130133+18925-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-13 on lcy01-amd64-026 and finished on 2018-04-13 taking 24 minutes — see the log
	amd64 build of coq 8.8~git~201804130133+18925-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-13 on lcy01-amd64-008 and finished on 2018-04-13 taking 24 minutes — see the log
	amd64 build of coq 8.8~git~201804130132+18925-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-13 on lgw01-amd64-043 and finished on 2018-04-13 taking 22 minutes — see the log
	i386 build of coq 8.8~git~201804130132+18925-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-13 on lcy01-amd64-013 and finished on 2018-04-13 taking 21 minutes — see the log
	amd64 build of coq 8.8~git~201804130132+18925-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-13 on lcy01-amd64-018 and finished on 2018-04-13 taking 21 minutes — see the log
	amd64 build of coq 8.8~git~201804130132+18925-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-13 on lgw01-amd64-011 and finished on 2018-04-13 taking 19 minutes — see the log
	i386 build of coq 8.8~git~201804130133+18925-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-13 on lcy01-amd64-017 and finished on 2018-04-13 taking 18 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-04-13 on lgw01-amd64-022 and finished on 2018-04-13 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-04-13 on lcy01-amd64-017 and finished on 2018-04-13 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-04-13 on lgw01-amd64-011 and finished on 2018-04-13 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-04-13 on lgw01-amd64-019 and finished on 2018-04-13 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-04-13 on lgw01-amd64-042 and finished on 2018-04-13 taking 3 minutes — see the log
	amd64 build of coq 8.8~git~201804120132+18923-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-12 on lgw01-amd64-033 and finished on 2018-04-12 taking 26 minutes — see the log
	i386 build of coq 8.8~git~201804120133+18923-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-12 on lgw01-amd64-044 and finished on 2018-04-12 taking 26 minutes — see the log
	amd64 build of coq 8.8~git~201804120132+18923-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-12 on lgw01-amd64-022 and finished on 2018-04-12 taking 24 minutes — see the log
	amd64 build of coq 8.8~git~201804120133+18923-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-12 on lcy01-amd64-002 and finished on 2018-04-12 taking 21 minutes — see the log
	i386 build of coq 8.8~git~201804120133+18923-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-12 on lgw01-amd64-002 and finished on 2018-04-12 taking 20 minutes — see the log
	amd64 build of coq 8.8~git~201804120133+18923-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-12 on lgw01-amd64-038 and finished on 2018-04-12 taking 22 minutes — see the log
	amd64 build of coq 8.8~git~201804120132+18923-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-12 on lcy01-amd64-018 and finished on 2018-04-12 taking 21 minutes — see the log
	i386 build of coq 8.8~git~201804120132+18923-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-12 on lgw01-amd64-014 and finished on 2018-04-12 taking 20 minutes — see the log
	i386 build of coq 8.8~git~201804120132+18923-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-12 on lgw01-amd64-059 and finished on 2018-04-12 taking 19 minutes — see the log
	i386 build of coq 8.8~git~201804120132+18923-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-12 on lcy01-amd64-021 and finished on 2018-04-12 taking 18 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-04-12 on lgw01-amd64-003 and finished on 2018-04-12 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-04-12 on lgw01-amd64-016 and finished on 2018-04-12 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-04-12 on lgw01-amd64-010 and finished on 2018-04-12 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-04-12 on lgw01-amd64-014 and finished on 2018-04-12 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-04-12 on lcy01-amd64-009 and finished on 2018-04-12 taking 3 minutes — see the log
	i386 build of coq 8.8~git~201804110134+18916-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-11 on lgw01-amd64-058 and finished on 2018-04-11 taking 53 minutes — see the log
	amd64 build of coq 8.8~git~201804110132+18916-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-11 on lgw01-amd64-007 and finished on 2018-04-11 taking 40 minutes — see the log
	i386 build of coq 8.8~git~201804110134+18916-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-11 on lgw01-amd64-013 and finished on 2018-04-11 taking 32 minutes — see the log
	i386 build of coq 8.8~git~201804110134+18916-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-11 on lcy01-amd64-016 and finished on 2018-04-11 taking 29 minutes — see the log
	i386 build of coq 8.8~git~201804110132+18916-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-11 on lgw01-amd64-006 and finished on 2018-04-11 taking 29 minutes — see the log
	amd64 build of coq 8.8~git~201804110134+18916-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-11 on lgw01-amd64-059 and finished on 2018-04-11 taking 21 minutes — see the log
	amd64 build of coq 8.8~git~201804110134+18916-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-11 on lgw01-amd64-052 and finished on 2018-04-11 taking 24 minutes — see the log
	amd64 build of coq 8.8~git~201804110134+18916-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-11 on lcy01-amd64-017 and finished on 2018-04-11 taking 20 minutes — see the log
	amd64 build of coq 8.8~git~201804110132+18916-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-11 on lgw01-amd64-047 and finished on 2018-04-11 taking 21 minutes — see the log
	i386 build of coq 8.8~git~201804110132+18916-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-11 on lgw01-amd64-002 and finished on 2018-04-11 taking 20 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-04-11 on lgw01-amd64-060 and finished on 2018-04-11 taking 9 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-04-11 on lgw01-amd64-027 and finished on 2018-04-11 taking 6 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-04-11 on lgw01-amd64-052 and finished on 2018-04-11 taking 6 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-04-11 on lcy01-amd64-012 and finished on 2018-04-11 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-04-11 on lgw01-amd64-010 and finished on 2018-04-11 taking 2 minutes — see the log
	amd64 build of coq 8.8~git~201803181534+18879-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-03-18 on lgw01-amd64-046 and finished on 2018-03-18 taking 37 minutes — see the log
	amd64 build of coq 8.8~git~201803181534+18879-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-03-18 on lgw01-amd64-016 and finished on 2018-03-18 taking 30 minutes — see the log
	i386 build of coq 8.8~git~201803181534+18879-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-03-18 on lgw01-amd64-014 and finished on 2018-03-18 taking 29 minutes — see the log
	amd64 build of coq 8.8~git~201803181534+18879-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-03-18 on lcy01-amd64-001 and finished on 2018-03-18 taking 25 minutes — see the log
	i386 build of coq 8.8~git~201803181534+18879-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-03-18 on lgw01-amd64-024 and finished on 2018-03-18 taking 24 minutes — see the log
	i386 build of coq 8.8~git~201803181534+18879-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-03-18 on lgw01-amd64-054 and finished on 2018-03-18 taking 20 minutes — see the log
	amd64 build of coq 8.8~git~201803181534+18879-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-03-18 on lgw01-amd64-050 and finished on 2018-03-18 taking 19 minutes — see the log
	amd64 build of coq 8.8~git~201803181534+18879-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-03-18 on lcy01-amd64-021 and finished on 2018-03-18 taking 19 minutes — see the log
	i386 build of coq 8.8~git~201803181534+18879-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-03-18 on lcy01-amd64-017 and finished on 2018-03-18 taking 17 minutes — see the log
	i386 build of coq 8.8~git~201803181534+18879-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-03-18 on lcy01-amd64-005 and finished on 2018-03-18 taking 17 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-03-18 on lcy01-amd64-007 and finished on 2018-03-18 taking 6 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-03-18 on lgw01-amd64-043 and finished on 2018-03-18 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-03-18 on lgw01-amd64-021 and finished on 2018-03-18 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-03-18 on lcy01-amd64-030 and finished on 2018-03-18 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-03-18 on lgw01-amd64-041 and finished on 2018-03-18 taking 5 minutes — see the log
	amd64 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-03-17 on lgw01-amd64-009 and finished on 2018-03-17 taking 44 minutes — see the log
	amd64 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-03-17 on lgw01-amd64-003 and finished on 2018-03-17 taking 39 minutes — see the log
	i386 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-03-17 on lgw01-amd64-004 and finished on 2018-03-17 taking 26 minutes — see the log
	i386 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-03-17 on lgw01-amd64-014 and finished on 2018-03-17 taking 25 minutes — see the log
	amd64 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-03-17 on lgw01-amd64-005 and finished on 2018-03-17 taking 26 minutes — see the log
	i386 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-03-17 on lgw01-amd64-042 and finished on 2018-03-17 taking 24 minutes — see the log
	i386 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-03-17 on lcy01-amd64-025 and finished on 2018-03-17 taking 22 minutes — see the log
	i386 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-03-17 on lgw01-amd64-054 and finished on 2018-03-17 taking 22 minutes — see the log
	amd64 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-03-17 on lcy01-amd64-004 and finished on 2018-03-17 taking 20 minutes — see the log