|
powerpc build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
|
|
lpia build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
|
|
ia64 build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
|
|
i386 build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
|
|
armel build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
|
|
amd64 build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
|
|
sparc build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
|
|
powerpc build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
|
|
lpia build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
|
|
ia64 build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
|
|
i386 build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
|
|
armel build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
|
|
amd64 build of coq 8.2-1+dfsg-1 in ubuntu karmic RELEASE
|
|
i386 build of coq-float 1:8.2-1.2-1 in ubuntu karmic RELEASE
|
|
armel build of coq 8.1.pl3+dfsg-1build1 in ubuntu jaunty RELEASE
|
|
i386 build of coq-doc 8.1-3 in ubuntu jaunty RELEASE
|
|
sparc build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
|
|
powerpc build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
|
|
lpia build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
|
|
ia64 build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
|
|
i386 build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
|
|
hppa build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
|
|
amd64 build of coq 8.1.pl3+dfsg-1build1 in ubuntu intrepid RELEASE
|
|
i386 build of coq-float 1:8.1-1.0-4 in ubuntu intrepid RELEASE
|
|
i386 build of coq-doc 8.1-3 in ubuntu intrepid RELEASE
|
|
sparc build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
|
|
powerpc build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
|
|
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
|
|
ia64 build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
|
|
i386 build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
|
|
hppa build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
|
|
amd64 build of coq 8.1.pl3+dfsg-1 in ubuntu hardy RELEASE
|
|
sparc build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
|
|
powerpc build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
|
|
lpia build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
|
|
ia64 build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
|
|
i386 build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
|
|
hppa build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
|
|
amd64 build of coq 8.1.pl2+dfsg-3 in ubuntu hardy RELEASE
|
|
sparc build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
|
|
powerpc build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
|
|
lpia build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
|
|
ia64 build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
|
|
i386 build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
|
|
hppa build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
|
|
amd64 build of coq 8.1.pl2+dfsg-2 in ubuntu hardy RELEASE
|
|
i386 build of coq-float 1:8.1-1.0-3 in ubuntu hardy RELEASE
|
|
i386 build of coq-float 1:8.1-1.0-2 in ubuntu hardy RELEASE
|
|
sparc build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
|
|
powerpc build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
|
|
lpia build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
|
|
ia64 build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
|
|
i386 build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
|
|
hppa build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
|
|
amd64 build of coq 8.1.pl1+dfsg-3 in ubuntu hardy RELEASE
|
|
i386 build of coq-doc 8.1-3 in ubuntu hardy RELEASE
|
|
lpia build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
|
|
sparc build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
|
|
powerpc build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
|
|
ia64 build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
|
|
i386 build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
|
|
amd64 build of coq 8.1+dfsg-6 in ubuntu gutsy RELEASE
|
|
sparc build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE
|
|
powerpc build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE
|
|
ia64 build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE
|
|
i386 build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE
|
|
amd64 build of coq 8.1+dfsg-5 in ubuntu gutsy RELEASE
|
|
sparc build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE
|
|
powerpc build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE
|
|
ia64 build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE
|
|
i386 build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE
|
|
amd64 build of coq 8.1+dfsg-4 in ubuntu gutsy RELEASE
|
|
i386 build of coq-doc 8.1-3 in ubuntu gutsy RELEASE
|
|
sparc build of coq 8.0pl3-2ubuntu1 in ubuntu feisty RELEASE
|
|
powerpc build of coq 8.0pl3-2ubuntu1 in ubuntu feisty RELEASE
|