Index of /glondu/ppa/ubuntu/pool/main/c/coq
Name
Last modified
Size
Description
Parent Directory
-
coq-theories_8.3.pl1+dfsg-2~ppa+lucid2_all.deb
2011-03-09 22:47
51M
coq-theories_8.3.pl1+dfsg-2~ppa+natty1_all.deb
2011-06-16 14:37
51M
coq-theories_8.4dfsg-2~ppa+oneiric1_all.deb
2012-09-22 14:05
63M
coq-theories_8.4dfsg-2~ppa+precise1_all.deb
2012-09-22 14:05
63M
coq_8.3.pl1+dfsg-2~ppa+lucid2.debian.tar.gz
2011-03-09 21:52
16K
coq_8.3.pl1+dfsg-2~ppa+lucid2.dsc
2011-03-09 21:52
2.2K
coq_8.3.pl1+dfsg-2~ppa+lucid2_amd64.deb
2011-03-09 22:33
5.3M
coq_8.3.pl1+dfsg-2~ppa+lucid2_i386.deb
2011-03-09 22:47
4.6M
coq_8.3.pl1+dfsg-2~ppa+natty1.debian.tar.gz
2011-06-16 13:56
16K
coq_8.3.pl1+dfsg-2~ppa+natty1.dsc
2011-06-16 13:56
2.2K
coq_8.3.pl1+dfsg-2~ppa+natty1_amd64.deb
2011-06-16 14:26
5.2M
coq_8.3.pl1+dfsg-2~ppa+natty1_i386.deb
2011-06-16 14:37
4.6M
coq_8.3.pl1+dfsg.orig.tar.gz
2011-01-11 11:37
3.0M
coq_8.4dfsg-2~ppa+oneiric1.debian.tar.gz
2012-09-22 11:45
17K
coq_8.4dfsg-2~ppa+oneiric1.dsc
2012-09-22 11:45
2.3K
coq_8.4dfsg-2~ppa+oneiric1_amd64.deb
2012-09-22 18:40
5.6M
coq_8.4dfsg-2~ppa+oneiric1_i386.deb
2012-09-22 14:05
5.0M
coq_8.4dfsg-2~ppa+precise1.debian.tar.gz
2012-09-22 11:45
17K
coq_8.4dfsg-2~ppa+precise1.dsc
2012-09-22 11:45
2.3K
coq_8.4dfsg-2~ppa+precise1_amd64.deb
2012-09-22 18:59
5.6M
coq_8.4dfsg-2~ppa+precise1_i386.deb
2012-09-22 14:05
5.0M
coq_8.4dfsg.orig.tar.gz
2012-09-19 05:19
3.4M
coqide_8.3.pl1+dfsg-2~ppa+lucid2_amd64.deb
2011-03-09 22:33
5.3M
coqide_8.3.pl1+dfsg-2~ppa+lucid2_i386.deb
2011-03-09 22:47
4.9M
coqide_8.3.pl1+dfsg-2~ppa+natty1_amd64.deb
2011-06-16 14:26
5.2M
coqide_8.3.pl1+dfsg-2~ppa+natty1_i386.deb
2011-06-16 14:37
4.8M
coqide_8.4dfsg-2~ppa+oneiric1_amd64.deb
2012-09-22 18:40
1.0M
coqide_8.4dfsg-2~ppa+oneiric1_i386.deb
2012-09-22 14:05
777K
coqide_8.4dfsg-2~ppa+precise1_amd64.deb
2012-09-22 18:59
1.0M
coqide_8.4dfsg-2~ppa+precise1_i386.deb
2012-09-22 14:05
775K
libcoq-ocaml-dev_8.3.pl1+dfsg-2~ppa+lucid2_amd64.deb
2011-03-09 22:33
5.6M
libcoq-ocaml-dev_8.3.pl1+dfsg-2~ppa+lucid2_i386.deb
2011-03-09 22:47
5.5M
libcoq-ocaml-dev_8.3.pl1+dfsg-2~ppa+natty1_amd64.deb
2011-06-16 14:26
5.6M
libcoq-ocaml-dev_8.3.pl1+dfsg-2~ppa+natty1_i386.deb
2011-06-16 14:37
5.4M
libcoq-ocaml-dev_8.4dfsg-2~ppa+oneiric1_amd64.deb
2012-09-22 18:40
5.5M
libcoq-ocaml-dev_8.4dfsg-2~ppa+oneiric1_i386.deb
2012-09-22 14:05
5.3M
libcoq-ocaml-dev_8.4dfsg-2~ppa+precise1_amd64.deb
2012-09-22 18:59
5.5M
libcoq-ocaml-dev_8.4dfsg-2~ppa+precise1_i386.deb
2012-09-22 14:05
5.3M
libcoq-ocaml_8.3.pl1+dfsg-2~ppa+lucid2_amd64.deb
2011-03-09 22:33
2.0M
libcoq-ocaml_8.3.pl1+dfsg-2~ppa+lucid2_i386.deb
2011-03-09 22:47
1.8M
libcoq-ocaml_8.3.pl1+dfsg-2~ppa+natty1_amd64.deb
2011-06-16 14:26
1.9M
libcoq-ocaml_8.3.pl1+dfsg-2~ppa+natty1_i386.deb
2011-06-16 14:37
1.7M
libcoq-ocaml_8.4dfsg-2~ppa+oneiric1_amd64.deb
2012-09-22 18:40
2.1M
libcoq-ocaml_8.4dfsg-2~ppa+oneiric1_i386.deb
2012-09-22 14:05
1.8M
libcoq-ocaml_8.4dfsg-2~ppa+precise1_amd64.deb
2012-09-22 18:59
2.1M
libcoq-ocaml_8.4dfsg-2~ppa+precise1_i386.deb
2012-09-22 14:05
1.8M