Ubuntu

Builds for Ubuntu

	ia64 build of coq 8.0pl3-2ubuntu1 in ubuntu feisty RELEASE Build started on 2007-03-23 on floe (ia64) and finished on 2007-03-23 taking 52 minutes — see the log
	i386 build of coq 8.0pl3-2ubuntu1 in ubuntu feisty RELEASE Build started on 2007-03-23 on palmer (i386) and finished on 2007-03-23 taking 11 minutes — see the log
	amd64 build of coq 8.0pl3-2ubuntu1 in ubuntu feisty RELEASE Build started on 2007-03-23 on yellow (amd64) and finished on 2007-03-23 taking 11 minutes — see the log
	ia64 build of coq 8.0pl3-2 in ubuntu edgy RELEASE Build started on 2006-07-08 on hooker (ia64) and finished on 2006-07-08 taking 52 minutes — see the log
	sparc build of coq 8.0pl3-2 in ubuntu edgy RELEASE Build started on 2006-07-13 on artigas (sparc) and finished on 2006-07-13 taking 20 minutes — see the log
	powerpc build of coq 8.0pl3-2 in ubuntu edgy RELEASE Build started on 2006-07-13 on ross (powerpc) and finished on 2006-07-13 taking 13 minutes — see the log
	i386 build of coq 8.0pl3-2 in ubuntu edgy RELEASE Build started on 2006-07-12 on vernadsky (i386) and finished on 2006-07-12 taking 10 minutes — see the log
	amd64 build of coq 8.0pl3-2 in ubuntu edgy RELEASE Build started on 2006-07-12 on yellow (amd64) and finished on 2006-07-12 taking 10 minutes — see the log