Jason Gross

Builds for Coq Daily Builds (v8.8)

	amd64 build of coq 8.8~git~201803171546+18877-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-03-17 on lcy01-amd64-015 and finished on 2018-03-17 taking 17 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-03-17 on lgw01-amd64-044 and finished on 2018-03-17 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-03-17 on lgw01-amd64-002 and finished on 2018-03-17 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-03-17 on lcy01-amd64-007 and finished on 2018-03-17 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-03-17 on lgw01-amd64-016 and finished on 2018-03-17 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-03-17 on lcy01-amd64-030 and finished on 2018-03-17 taking 3 minutes — see the log