Builds for Ubuntu

Package:
73517425 of 7651 results
[FULLYBUILT] i386 build of coq-doc 8.3pl2-1build1 in ubuntu precise RELEASE
Build started on rothera (i386) and finished taking 33 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
Build started on ross (powerpc) and finished taking 54 minutes — see the log
[FULLYBUILT] i386 build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
Build started on rothera (i386) and finished taking 43 minutes — see the log
[FAILEDTOBUILD] armhf build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
Build started on ain (armhf - panda) and finished taking 23 minutes — see the log
[FULLYBUILT] armel build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
Build started on satinash (arm) and finished taking 4 hours — see the log
[FULLYBUILT] amd64 build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
Build started on yellow (amd64) and finished taking 54 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.2-1.2-9 in ubuntu precise RELEASE
Build started on roseapple (i386/amd64) and finished taking 13 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.2-1.2-8build2 in ubuntu precise RELEASE
Build started on vernadsky (i386) and finished taking 31 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
Build started on ross (powerpc) and finished taking 56 minutes — see the log
[FULLYBUILT] i386 build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
Build started on roseapple (i386/amd64) and finished taking 18 minutes — see the log
[FULLYBUILT] armhf build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
Build started on shedir (armhf panda) and finished taking 4 hours 40 minutes — see the log
[FULLYBUILT] armel build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
Build started on genip (arm) and finished taking 4 hours — see the log
[FULLYBUILT] amd64 build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
Build started on allspice (i386/amd64) and finished taking 19 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.2-1.2-8build1 in ubuntu precise RELEASE
Build started on rothera (i386) and finished taking 30 minutes — see the log
[FULLYBUILT] armhf build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
Build started on kitalpha (arm) and finished taking 5 hours 10 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
Build started on ross (powerpc) and finished taking 51 minutes — see the log
[FULLYBUILT] i386 build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
Build started on vernadsky (i386) and finished taking 38 minutes — see the log
[FULLYBUILT] armel build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
Build started on crabapple (arm) and finished taking 4 hours — see the log
[FULLYBUILT] amd64 build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
Build started on allspice (i386/amd64) and finished taking 18 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.3.pl2+dfsg-2build1 in ubuntu precise RELEASE
Build started on adare (powerpc) and finished taking 55 minutes — see the log
[FULLYBUILT] i386 build of coq 8.3.pl2+dfsg-2build1 in ubuntu precise RELEASE
Build started on palmer (i386) and finished taking 44 minutes — see the log
[FULLYBUILT] armel build of coq 8.3.pl2+dfsg-2build1 in ubuntu precise RELEASE
Build started on chort (armhf panda) and finished taking 1 hour 50 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.3.pl2+dfsg-2build1 in ubuntu precise RELEASE
Build started on allspice (i386/amd64) and finished taking 21 minutes — see the log
[SUPERSEDED] powerpc build of coq 8.3.pl2+dfsg-2 in ubuntu precise RELEASE
[FULLYBUILT] i386 build of coq 8.3.pl2+dfsg-2 in ubuntu precise RELEASE
Build started on rothera (i386) and finished taking 40 minutes — see the log
[FULLYBUILT] armel build of coq 8.3.pl2+dfsg-2 in ubuntu precise RELEASE
Build started on genip (arm) and finished taking 3 hours 50 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.3.pl2+dfsg-2 in ubuntu precise RELEASE
Build started on yellow (amd64) and finished taking 54 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.2-1.2-8 in ubuntu precise RELEASE
Build started on zirconium and finished taking 21 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.3.pl2+dfsg-1build1 in ubuntu oneiric RELEASE
Build started on ross (powerpc) and finished taking 55 minutes — see the log
[FULLYBUILT] i386 build of coq 8.3.pl2+dfsg-1build1 in ubuntu oneiric RELEASE
Build started on zirconium and finished taking 29 minutes — see the log
[FULLYBUILT] armel build of coq 8.3.pl2+dfsg-1build1 in ubuntu oneiric RELEASE
Build started on buttercup (arm) and finished taking 4 hours — see the log
[FULLYBUILT] amd64 build of coq 8.3.pl2+dfsg-1build1 in ubuntu oneiric RELEASE
Build started on allspice (i386/amd64) and finished taking 20 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.3.pl2+dfsg-1 in ubuntu oneiric RELEASE
Build started on ross (powerpc) and finished taking 54 minutes — see the log
[FULLYBUILT] i386 build of coq 8.3.pl2+dfsg-1 in ubuntu oneiric RELEASE
Build started on zirconium and finished taking 29 minutes — see the log
[FULLYBUILT] armel build of coq 8.3.pl2+dfsg-1 in ubuntu oneiric RELEASE
Build started on anacardiaceae (armel) and finished taking 4 hours 50 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.3.pl2+dfsg-1 in ubuntu oneiric RELEASE
Build started on allspice (i386/amd64) and finished taking 26 minutes — see the log
[FAILEDTOBUILD] powerpc build of coq 8.2.pl2+dfsg-1ubuntu2 in ubuntu oneiric RELEASE
Build started on adare (powerpc) and finished taking 7 minutes — see the log
[FAILEDTOBUILD] i386 build of coq 8.2.pl2+dfsg-1ubuntu2 in ubuntu oneiric RELEASE
Build started on vernadsky (i386) and finished taking 4 minutes — see the log
[FAILEDTOBUILD] armel build of coq 8.2.pl2+dfsg-1ubuntu2 in ubuntu oneiric RELEASE
Build started on anacardiaceae (armel) and finished taking 21 minutes — see the log
[FAILEDTOBUILD] amd64 build of coq 8.2.pl2+dfsg-1ubuntu2 in ubuntu oneiric RELEASE
Build started on crested (amd64) and finished taking 18 minutes — see the log
[FULLYBUILT] i386 build of coq-doc 8.3pl2-1 in ubuntu oneiric RELEASE
Build started on palmer (i386) and finished taking 37 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.2-1.2-7 in ubuntu oneiric RELEASE
Build started on palmer (i386) and finished taking 29 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.2.pl2+dfsg-1ubuntu1 in ubuntu maverick RELEASE
Build started on ross (powerpc) and finished taking 58 minutes — see the log
[FULLYBUILT] i386 build of coq 8.2.pl2+dfsg-1ubuntu1 in ubuntu maverick RELEASE
Build started on roseapple (i386/amd64) and finished taking 28 minutes — see the log
[FULLYBUILT] armel build of coq 8.2.pl2+dfsg-1ubuntu1 in ubuntu maverick RELEASE
Build started on satinash (arm) and finished taking 9 hours 40 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.2.pl2+dfsg-1ubuntu1 in ubuntu maverick RELEASE
Build started on crested (amd64) and finished taking 54 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.2-1.2-5 in ubuntu maverick RELEASE
Build started on vernadsky (i386) and finished taking 38 minutes — see the log
[FULLYBUILT] sparc build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
Build started on sejong (sparc) and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
Build started on ross (powerpc) and finished taking 56 minutes — see the log
[FULLYBUILT] ia64 build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
Build started on hooker (ia64) and finished taking 5 hours — see the log
[FULLYBUILT] i386 build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
Build started on palmer (i386) and finished taking 44 minutes — see the log
[FAILEDTOBUILD] armel build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
Build started on crabapple (arm) and finished taking 28 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
Build started on crested (amd64) and finished taking 56 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.2-1.2-4 in ubuntu lucid RELEASE
Build started on palmer (i386) and finished taking 22 minutes — see the log
[FULLYBUILT] sparc build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
Build started on artigas (sparc) and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
Build started on ross (powerpc) and finished taking 52 minutes — see the log
[FULLYBUILT] ia64 build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
Build started on floe (ia64) and finished taking 5 hours — see the log
[FULLYBUILT] i386 build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
Build started on palmer (i386) and finished taking 40 minutes — see the log
[FAILEDTOBUILD] armel build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
Build started on kaylaberry (arm) and finished taking 1 hour — see the log
[FULLYBUILT] amd64 build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
Build started on crested (amd64) and finished taking 49 minutes — see the log
[FULLYBUILT] i386 build of coq-doc 8.2pl1-1 in ubuntu lucid RELEASE
Build started on rothera (i386) and finished taking 29 minutes — see the log
[FAILEDTOBUILD] sparc build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
Build started on artigas (sparc) and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
Build started on ross (powerpc) and finished taking 53 minutes — see the log
[FULLYBUILT] ia64 build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
Build started on hooker (ia64) and finished taking 5 hours — see the log
[FULLYBUILT] i386 build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
Build started on palmer (i386) and finished taking 40 minutes — see the log
[SUPERSEDED] armel build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
[FULLYBUILT] amd64 build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
Build started on yellow (amd64) and finished taking 45 minutes — see the log
[FAILEDTOBUILD] sparc build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
Build started on sejong (sparc) and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] powerpc build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
Build started on adare (powerpc) and finished taking 52 minutes — see the log
[FULLYBUILT] ia64 build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
Build started on hooker (ia64) and finished taking 5 hours — see the log
[FULLYBUILT] i386 build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
Build started on palmer (i386) and finished taking 41 minutes — see the log
[FULLYBUILT] armel build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
Build started on huito (armel) and finished taking 9 hours 50 minutes — see the log
[FULLYBUILT] amd64 build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
Build started on yellow (amd64) and finished taking 46 minutes — see the log
[FULLYBUILT] i386 build of coq-float 1:8.2-1.2-3 in ubuntu karmic RELEASE
Build started on rothera (i386) and finished taking 27 minutes — see the log
[FULLYBUILT] sparc build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
Build started on artigas (sparc) and finished taking 1 hour 20 minutes — see the log
73517425 of 7651 results