Jason Gross

Builds for Coq Daily Builds (v8.8)

Coq Daily Builds (v8.8)
Builds

	i386 build of coq 8.8~git~201805032003+18971-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-05-03 on lcy01-amd64-021 and finished on 2018-05-03 taking 19 minutes — see the log
	i386 build of coq 8.8~git~201805032002+18971-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-05-03 on lcy01-amd64-012 and finished on 2018-05-03 taking 19 minutes — see the log
	amd64 build of coq 8.8~git~201805032002+18971-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-05-03 on lcy01-amd64-011 and finished on 2018-05-03 taking 19 minutes — see the log
	i386 build of coq 8.8~git~201805032003+18971-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-05-03 on lgw01-amd64-023 and finished on 2018-05-03 taking 17 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-05-03 on lgw01-amd64-016 and finished on 2018-05-03 taking 7 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-05-03 on lgw01-amd64-004 and finished on 2018-05-03 taking 6 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-05-03 on lcy01-amd64-003 and finished on 2018-05-03 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-05-03 on lgw01-amd64-018 and finished on 2018-05-03 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-05-03 on lcy01-amd64-014 and finished on 2018-05-03 taking 4 minutes — see the log
	amd64 build of coq 8.8~git~201804251347+18960-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-25 on lgw01-amd64-027 and finished on 2018-04-25 taking 21 minutes — see the log
	amd64 build of coq 8.8~git~201804251347+18960-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-25 on lgw01-amd64-032 and finished on 2018-04-25 taking 20 minutes — see the log
	amd64 build of coq 8.8~git~201804251347+18960-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-25 on lcy01-amd64-016 and finished on 2018-04-25 taking 21 minutes — see the log
	i386 build of coq 8.8~git~201804251347+18960-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-25 on lgw01-amd64-054 and finished on 2018-04-25 taking 19 minutes — see the log
	i386 build of coq 8.8~git~201804251347+18960-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-25 on lcy01-amd64-018 and finished on 2018-04-25 taking 20 minutes — see the log
	i386 build of coq 8.8~git~201804251347+18960-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-25 on lcy01-amd64-019 and finished on 2018-04-25 taking 19 minutes — see the log
	amd64 build of coq 8.8~git~201804251347+18960-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-25 on lcy01-amd64-027 and finished on 2018-04-25 taking 19 minutes — see the log
	i386 build of coq 8.8~git~201804251347+18960-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-25 on lcy01-amd64-015 and finished on 2018-04-25 taking 18 minutes — see the log
	i386 build of coq 8.8~git~201804251347+18960-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-25 on lcy01-amd64-011 and finished on 2018-04-25 taking 18 minutes — see the log
	amd64 build of coq 8.8~git~201804251347+18960-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-25 on lgw01-amd64-051 and finished on 2018-04-25 taking 15 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-04-25 on lgw01-amd64-011 and finished on 2018-04-25 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-04-25 on lgw01-amd64-014 and finished on 2018-04-25 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-04-25 on lcy01-amd64-004 and finished on 2018-04-25 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-04-25 on lgw01-amd64-040 and finished on 2018-04-25 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-04-25 on lgw01-amd64-048 and finished on 2018-04-25 taking 3 minutes — see the log
	amd64 build of coq 8.8~git~201804201932+18958-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-20 on lgw01-amd64-038 and finished on 2018-04-20 taking 24 minutes — see the log
	i386 build of coq 8.8~git~201804201932+18958-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-20 on lgw01-amd64-036 and finished on 2018-04-20 taking 23 minutes — see the log
	amd64 build of coq 8.8~git~201804201932+18958-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-20 on lcy01-amd64-010 and finished on 2018-04-20 taking 23 minutes — see the log
	amd64 build of coq 8.8~git~201804201932+18958-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-20 on lcy01-amd64-017 and finished on 2018-04-20 taking 22 minutes — see the log
	i386 build of coq 8.8~git~201804201932+18958-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-20 on lgw01-amd64-057 and finished on 2018-04-20 taking 21 minutes — see the log
	amd64 build of coq 8.8~git~201804201932+18958-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-20 on lcy01-amd64-006 and finished on 2018-04-20 taking 21 minutes — see the log
	i386 build of coq 8.8~git~201804201932+18958-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-20 on lcy01-amd64-016 and finished on 2018-04-20 taking 20 minutes — see the log
	i386 build of coq 8.8~git~201804201932+18958-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-20 on lcy01-amd64-014 and finished on 2018-04-20 taking 18 minutes — see the log
	i386 build of coq 8.8~git~201804201932+18958-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-20 on lgw01-amd64-037 and finished on 2018-04-20 taking 16 minutes — see the log
	amd64 build of coq 8.8~git~201804201932+18958-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-20 on lcy01-amd64-020 and finished on 2018-04-20 taking 13 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-04-20 on lcy01-amd64-023 and finished on 2018-04-20 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-04-20 on lcy01-amd64-021 and finished on 2018-04-20 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-04-20 on lcy01-amd64-024 and finished on 2018-04-20 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-04-20 on lcy01-amd64-020 and finished on 2018-04-20 taking 3 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-04-20 on lcy01-amd64-026 and finished on 2018-04-20 taking 3 minutes — see the log
	i386 build of coq 8.8~git~201804171334+18953-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-17 on lgw01-amd64-021 and finished on 2018-04-17 taking 32 minutes — see the log
	amd64 build of coq 8.8~git~201804171334+18953-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-17 on lcy01-amd64-012 and finished on 2018-04-17 taking 22 minutes — see the log
	i386 build of coq 8.8~git~201804171332+18953-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-17 on lcy01-amd64-017 and finished on 2018-04-17 taking 26 minutes — see the log
	i386 build of coq 8.8~git~201804171334+18953-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-17 on lcy01-amd64-001 and finished on 2018-04-17 taking 19 minutes — see the log
	amd64 build of coq 8.8~git~201804171332+18953-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-17 on lcy01-amd64-013 and finished on 2018-04-17 taking 22 minutes — see the log
	amd64 build of coq 8.8~git~201804171332+18953-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-17 on lcy01-amd64-018 and finished on 2018-04-17 taking 20 minutes — see the log
	i386 build of coq 8.8~git~201804171332+18953-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-17 on lcy01-amd64-014 and finished on 2018-04-17 taking 20 minutes — see the log
	amd64 build of coq 8.8~git~201804171334+18953-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-17 on lcy01-amd64-023 and finished on 2018-04-17 taking 15 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-04-17 on lgw01-amd64-002 and finished on 2018-04-17 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-04-17 on lgw01-amd64-004 and finished on 2018-04-17 taking 7 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-04-17 on lcy01-amd64-002 and finished on 2018-04-17 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-04-17 on lcy01-amd64-009 and finished on 2018-04-17 taking 4 minutes — see the log
	i386 build of coq 8.8~git~201804161333+18941-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-16 on lgw01-amd64-006 and finished on 2018-04-16 taking 56 minutes — see the log
	amd64 build of coq 8.8~git~201804161334+18941-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-16 on lgw01-amd64-014 and finished on 2018-04-16 taking 49 minutes — see the log
	i386 build of coq 8.8~git~201804161334+18941-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-16 on lgw01-amd64-004 and finished on 2018-04-16 taking 48 minutes — see the log
	i386 build of coq 8.8~git~201804161333+18941-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-16 on lgw01-amd64-012 and finished on 2018-04-16 taking 48 minutes — see the log
	amd64 build of coq 8.8~git~201804161334+18941-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-16 on lgw01-amd64-002 and finished on 2018-04-16 taking 22 minutes — see the log
	amd64 build of coq 8.8~git~201804161333+18941-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-16 on lgw01-amd64-029 and finished on 2018-04-16 taking 24 minutes — see the log
	amd64 build of coq 8.8~git~201804161333+18941-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-16 on lgw01-amd64-009 and finished on 2018-04-16 taking 22 minutes — see the log
	i386 build of coq 8.8~git~201804161333+18941-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-16 on lcy01-amd64-018 and finished on 2018-04-16 taking 22 minutes — see the log
	amd64 build of coq 8.8~git~201804161333+18941-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-16 on lgw01-amd64-059 and finished on 2018-04-16 taking 21 minutes — see the log
	i386 build of coq 8.8~git~201804161334+18941-0~daily309~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2018-04-16 on lcy01-amd64-008 and finished on 2018-04-16 taking 17 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu artful Build started on 2018-04-16 on lgw01-amd64-014 and finished on 2018-04-16 taking 8 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu precise Build started on 2018-04-16 on lgw01-amd64-041 and finished on 2018-04-16 taking 7 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu bionic Build started on 2018-04-16 on lgw01-amd64-029 and finished on 2018-04-16 taking 5 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu xenial Build started on 2018-04-16 on lgw01-amd64-058 and finished on 2018-04-16 taking 4 minutes — see the log
	~jgross-h/coq/+git/coq recipe build in ubuntu trusty Build started on 2018-04-16 on lgw01-amd64-057 and finished on 2018-04-16 taking 3 minutes — see the log
	amd64 build of coq 8.8~git~201804140136+18934-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-14 on lgw01-amd64-043 and finished on 2018-04-14 taking 45 minutes — see the log
	i386 build of coq 8.8~git~201804140136+18934-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-14 on lgw01-amd64-008 and finished on 2018-04-14 taking 40 minutes — see the log
	i386 build of coq 8.8~git~201804140134+18934-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-14 on lgw01-amd64-001 and finished on 2018-04-14 taking 46 minutes — see the log
	i386 build of coq 8.8~git~201804140136+18934-0~daily309~ubuntu14.04.1 in ubuntu trusty RELEASE Build started on 2018-04-14 on lcy01-amd64-021 and finished on 2018-04-14 taking 25 minutes — see the log
	amd64 build of coq 8.8~git~201804140136+18934-0~daily309~ubuntu16.04.1 in ubuntu xenial RELEASE Build started on 2018-04-14 on lcy01-amd64-008 and finished on 2018-04-14 taking 23 minutes — see the log
	amd64 build of coq 8.8~git~201804140134+18934-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-14 on lcy01-amd64-014 and finished on 2018-04-14 taking 23 minutes — see the log
	amd64 build of coq 8.8~git~201804140134+18934-0~daily309~ubuntu17.10.1 in ubuntu artful RELEASE Build started on 2018-04-14 on lcy01-amd64-029 and finished on 2018-04-14 taking 24 minutes — see the log
	i386 build of coq 8.8~git~201804140134+18934-0~daily309~ubuntu18.04.1 in ubuntu bionic RELEASE Build started on 2018-04-14 on lgw01-amd64-015 and finished on 2018-04-14 taking 20 minutes — see the log
	amd64 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-036 and finished on 2018-04-14 taking 22 minutes — see the log