Edgemaster

Builds for coq-ocaml42

coq-ocaml42
Builds

	amd64 build of coq 8.4pl5-1~noextras~ppa5~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2015-01-06 on lgw01-26 and finished on 2015-01-06 taking 30 minutes — see the log
	i386 build of coq 8.4pl5-1~noextras~ppa5~ubuntu12.04.1 in ubuntu precise RELEASE Build started on 2015-01-06 on lgw01-25 and finished on 2015-01-06 taking 27 minutes — see the log
	deleted recipe build in ubuntu precise Build started on 2015-01-06 on lgw01-01 and finished on 2015-01-06 taking 1 minute — see the log
	deleted recipe build in ubuntu precise Build started on 2015-01-06 on lgw01-17 and finished on 2015-01-06 taking 2 minutes — see the log
	deleted recipe build in ubuntu precise Build started on 2015-01-06 on lgw01-07 and finished on 2015-01-06 taking 1 minute — see the log
	i386 build of camlp5 6.12-1~ppa1 in ubuntu precise RELEASE Build started on 2015-01-06 on lgw01-06 and finished on 2015-01-06 taking 7 minutes — see the log
	amd64 build of camlp5 6.12-1~ppa1 in ubuntu precise RELEASE Build started on 2015-01-06 on lgw01-14 and finished on 2015-01-06 taking 6 minutes — see the log
	i386 build of findlib 1.5.5-1~ppa1 in ubuntu precise RELEASE Build started on 2015-01-06 on lgw01-07 and finished on 2015-01-06 taking 3 minutes — see the log
	amd64 build of findlib 1.5.5-1~ppa1 in ubuntu precise RELEASE Build started on 2015-01-06 on lgw01-15 and finished on 2015-01-06 taking 1 minute — see the log
	i386 build of hevea 2.18-1~precise1~ppa1 in ubuntu precise RELEASE Build started on 2015-01-05 on lgw01-28 and finished on 2015-01-05 taking 1 minute — see the log