Builds for coq-doc in Ubuntu Intrepid

Build started on 2009-03-26 on palmer (i386) and finished on 2009-03-26 taking 12 minutes — see the log

Build started on 2008-09-09 on palmer (i386) and finished on 2008-09-09 taking 5 minutes — see the log

Build started on 2008-04-03 on palmer (i386) and finished on 2008-04-03 taking 4 minutes — see the log

Build started on 2007-05-03 on vernadsky (i386) and finished on 2007-05-03 taking 3 minutes — see the log