|
i386 build of coq-doc 8.3pl2-1build1 in ubuntu precise RELEASE
|
|
powerpc build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
|
|
i386 build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
|
|
armhf build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
|
|
armel build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
|
|
i386 build of coq-float 1:8.2-1.2-9 in ubuntu precise RELEASE
|
|
i386 build of coq-float 1:8.2-1.2-8build2 in ubuntu precise RELEASE
|
|
powerpc build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
|
|
i386 build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
|
|
armhf build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
|
|
armel build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
|
|
i386 build of coq-float 1:8.2-1.2-8build1 in ubuntu precise RELEASE
|
|
armhf build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
|
|
powerpc build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
|
|
i386 build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
|
|
armel build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
|
|
powerpc build of coq 8.3.pl2+dfsg-2build1 in ubuntu precise RELEASE
|
|
i386 build of coq 8.3.pl2+dfsg-2build1 in ubuntu precise RELEASE
|
|
armel build of coq 8.3.pl2+dfsg-2build1 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.3.pl2+dfsg-2build1 in ubuntu precise RELEASE
|
|
powerpc build of coq 8.3.pl2+dfsg-2 in ubuntu precise RELEASE
|
|
i386 build of coq 8.3.pl2+dfsg-2 in ubuntu precise RELEASE
|
|
armel build of coq 8.3.pl2+dfsg-2 in ubuntu precise RELEASE
|
|
amd64 build of coq 8.3.pl2+dfsg-2 in ubuntu precise RELEASE
|
|
i386 build of coq-float 1:8.2-1.2-8 in ubuntu precise RELEASE
|
|
powerpc build of coq 8.3.pl2+dfsg-1build1 in ubuntu oneiric RELEASE
|
|
i386 build of coq 8.3.pl2+dfsg-1build1 in ubuntu oneiric RELEASE
|
|
armel build of coq 8.3.pl2+dfsg-1build1 in ubuntu oneiric RELEASE
|
|
amd64 build of coq 8.3.pl2+dfsg-1build1 in ubuntu oneiric RELEASE
|
|
powerpc build of coq 8.3.pl2+dfsg-1 in ubuntu oneiric RELEASE
|
|
i386 build of coq 8.3.pl2+dfsg-1 in ubuntu oneiric RELEASE
|
|
armel build of coq 8.3.pl2+dfsg-1 in ubuntu oneiric RELEASE
|
|
amd64 build of coq 8.3.pl2+dfsg-1 in ubuntu oneiric RELEASE
|
|
powerpc build of coq 8.2.pl2+dfsg-1ubuntu2 in ubuntu oneiric RELEASE
|
|
i386 build of coq 8.2.pl2+dfsg-1ubuntu2 in ubuntu oneiric RELEASE
|
|
armel build of coq 8.2.pl2+dfsg-1ubuntu2 in ubuntu oneiric RELEASE
|
|
amd64 build of coq 8.2.pl2+dfsg-1ubuntu2 in ubuntu oneiric RELEASE
|
|
i386 build of coq-doc 8.3pl2-1 in ubuntu oneiric RELEASE
|
|
i386 build of coq-float 1:8.2-1.2-7 in ubuntu oneiric RELEASE
|
|
powerpc build of coq 8.2.pl2+dfsg-1ubuntu1 in ubuntu maverick RELEASE
|
|
i386 build of coq 8.2.pl2+dfsg-1ubuntu1 in ubuntu maverick RELEASE
|
|
armel build of coq 8.2.pl2+dfsg-1ubuntu1 in ubuntu maverick RELEASE
|
|
amd64 build of coq 8.2.pl2+dfsg-1ubuntu1 in ubuntu maverick RELEASE
|
|
i386 build of coq-float 1:8.2-1.2-5 in ubuntu maverick RELEASE
|
|
sparc build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
|
|
powerpc build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
|
|
ia64 build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
|
|
i386 build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
|
|
armel build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
|
|
amd64 build of coq 8.2.pl2+dfsg-1 in ubuntu maverick RELEASE
|
|
i386 build of coq-float 1:8.2-1.2-4 in ubuntu lucid RELEASE
|
|
sparc build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
|
|
powerpc build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
|
|
ia64 build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
|
|
i386 build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
|
|
armel build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
|
|
amd64 build of coq 8.2.pl1+dfsg-6 in ubuntu lucid RELEASE
|
|
i386 build of coq-doc 8.2pl1-1 in ubuntu lucid RELEASE
|
|
sparc build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
|
|
powerpc build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
|
|
ia64 build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
|
|
i386 build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
|
|
armel build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
|
|
amd64 build of coq 8.2.pl1+dfsg-4 in ubuntu lucid RELEASE
|
|
sparc build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
|
|
powerpc build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
|
|
ia64 build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
|
|
i386 build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
|
|
armel build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
|
|
amd64 build of coq 8.2.pl1+dfsg-3 in ubuntu lucid RELEASE
|
|
i386 build of coq-float 1:8.2-1.2-3 in ubuntu karmic RELEASE
|
|
sparc build of coq 8.2.pl1+dfsg-2 in ubuntu karmic RELEASE
|