Builds for Ubuntu

Package:
74267500 of 7612 results
[FULLYBUILT] powerpc build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
Build started on ross (powerpc) and finished taking 51 minutes — see the log
[FULLYBUILT] lpia build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
Build started on molybdenum (i386/lpia) and finished taking 29 minutes — see the log
[FULLYBUILT] ia64 build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
Build started on floe (ia64) and finished taking 5 hours — see the log
[FULLYBUILT] i386 build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
Build started on rothera (i386) and finished taking 43 minutes — see the log
[FULLYBUILT] armel build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
Build started on kahikatea (armel) and finished taking 8 hours — see the log
[FULLYBUILT] amd64 build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
Build started on crested (amd64) and finished taking 52 minutes — see the log
[FULLYBUILT] sparc build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
Build started on artigas (sparc) and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
Build started on adare (powerpc) and finished taking 54 minutes — see the log
[FULLYBUILT] lpia build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
Build started on zirconium and finished taking 29 minutes — see the log
[FULLYBUILT] ia64 build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
Build started on floe (ia64) and finished taking 5 hours 10 minutes — see the log
[FULLYBUILT] i386 build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
Build started on palmer (i386) and finished taking 42 minutes — see the log
[FULLYBUILT] armel build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
Build started on kahikatea (armel) and finished taking 7 hours 20 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
Build started on crested (amd64) and finished taking 53 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.2-1.2-1 in ubuntu karmic RELEASE
Build started on vernadsky (i386) and finished taking 27 minutes — see the log
[FULLYBUILT] armel build of coq 8.1.pl3+dfsg-1build1 in ubuntu jaunty RELEASE
Build started on prumnopitys (armel) and finished taking 4 hours — see the log
[FAILEDTOBUILD] i386 build of coq-doc 8.1-3 in ubuntu jaunty RELEASE
Build started on palmer (i386) and finished taking 12 minutes — see the log
[FULLYBUILT] sparc build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
Build started on artigas (sparc) and finished taking 53 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
Build started on ross (powerpc) and finished taking 35 minutes — see the log
[FULLYBUILT] lpia build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
Build started on molybdenum (i386/lpia) and finished taking 1 hour 10 minutes — see the log
[FULLYBUILT] ia64 build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
Build started on floe (ia64) and finished taking 2 hours 20 minutes — see the log
[FULLYBUILT] i386 build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
Build started on vernadsky (i386) and finished taking 26 minutes — see the log
[FULLYBUILT] hppa build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
Build started on primero (hppa) and finished taking 2 hours 20 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
Build started on yellow (amd64) and finished taking 27 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.1-1.0-4 in ubuntu intrepid RELEASE
Build started on vernadsky (i386) and finished taking 23 minutes — see the log
[FAILEDTOBUILD] i386 build of coq-doc 8.1-3 in ubuntu intrepid RELEASE
Build started on palmer (i386) and finished taking 5 minutes — see the log
[FULLYBUILT] sparc build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
Build started on sejong (sparc) and finished taking 52 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
Build started on ross (powerpc) and finished taking 34 minutes — see the log
[FULLYBUILT] lpia build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
Build started on zirconium and finished taking 1 hour 10 minutes — see the log
[FULLYBUILT] ia64 build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
Build started on hooker (ia64) and finished taking 1 hour — see the log
[FULLYBUILT] i386 build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
Build started on rothera (i386) and finished taking 25 minutes — see the log
[FULLYBUILT] hppa build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
Build started on castilla (hppa) and finished taking 2 hours 30 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
Build started on yellow (amd64) and finished taking 27 minutes — see the log
[SUPERSEDED] sparc build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] powerpc build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] lpia build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] ia64 build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] i386 build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] hppa build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] amd64 build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] sparc build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
[SUPERSEDED] powerpc build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
[SUPERSEDED] lpia build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
[SUPERSEDED] ia64 build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
[SUPERSEDED] i386 build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
[SUPERSEDED] hppa build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
[SUPERSEDED] amd64 build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
[FULLYBUILT] i386 build of coq-float 1:8.1-1.0-3 in ubuntu hardy RELEASE
Build started on palmer (i386) and finished taking 20 minutes — see the log
[SUPERSEDED] i386 build of coq-float 1:8.1-1.0-2 in ubuntu hardy RELEASE
[SUPERSEDED] sparc build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] powerpc build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] lpia build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] ia64 build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] i386 build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] hppa build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
[SUPERSEDED] amd64 build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
[FAILEDTOBUILD] i386 build of coq-doc 8.1-3 in ubuntu hardy RELEASE
Build started on palmer (i386) and finished taking 4 minutes — see the log
[FULLYBUILT] lpia build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
Build started on molybdenum (i386/lpia) and finished taking 17 minutes — see the log
[FULLYBUILT] sparc build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
Build started on artigas (sparc) and finished taking 47 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
Build started on ross (powerpc) and finished taking 29 minutes — see the log
[FULLYBUILT] ia64 build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
Build started on floe (ia64) and finished taking 2 hours 20 minutes — see the log
[FULLYBUILT] i386 build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
Build started on rothera (i386) and finished taking 22 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
Build started on yellow (amd64) and finished taking 25 minutes — see the log
[FULLYBUILT] sparc build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE
Build started on artigas (sparc) and finished taking 47 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE
Build started on adare (powerpc) and finished taking 30 minutes — see the log
[SUPERSEDED] ia64 build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE
[FULLYBUILT] i386 build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE
Build started on palmer (i386) and finished taking 22 minutes — see the log
[FAILEDTOBUILD] amd64 build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE
Build started on crested (amd64) and finished taking 2 minutes — see the log
[FULLYBUILT] sparc build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE
Build started on sejong (sparc) and finished taking 48 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE
Build started on ross (powerpc) and finished taking 30 minutes — see the log
[FULLYBUILT] ia64 build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE
Build started on floe (ia64) and finished taking 2 hours 20 minutes — see the log
[FULLYBUILT] i386 build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE
Build started on rothera (i386) and finished taking 22 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE
Build started on crested (amd64) and finished taking 31 minutes — see the log
[FAILEDTOBUILD] i386 build of coq-doc 8.1-3 in ubuntu gutsy RELEASE
Build started on vernadsky (i386) and finished taking 3 minutes — see the log
[FULLYBUILT] sparc build of coq 8.0pl3-2ubuntu1 in ubuntu feisty RELEASE
Build started on sejong (sparc) and finished taking 20 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.0pl3-2ubuntu1 in ubuntu feisty RELEASE
Build started on ross (powerpc) and finished taking 13 minutes — see the log
74267500 of 7612 results