Index of /glondu/ppa/ubuntu/pool/main/c/coq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-theories_8.3.pl1+dfsg-2~ppa+lucid2_all.deb2011-03-09 22:47 51M 
[ ]coq-theories_8.3.pl1+dfsg-2~ppa+natty1_all.deb2011-06-16 14:37 51M 
[ ]coq-theories_8.4dfsg-2~ppa+oneiric1_all.deb2012-09-22 14:05 63M 
[ ]coq-theories_8.4dfsg-2~ppa+precise1_all.deb2012-09-22 14:05 63M 
[ ]coq_8.3.pl1+dfsg-2~ppa+lucid2.debian.tar.gz2011-03-09 21:52 16K 
[ ]coq_8.3.pl1+dfsg-2~ppa+lucid2.dsc2011-03-09 21:52 2.2K 
[ ]coq_8.3.pl1+dfsg-2~ppa+lucid2_amd64.deb2011-03-09 22:33 5.3M 
[ ]coq_8.3.pl1+dfsg-2~ppa+lucid2_i386.deb2011-03-09 22:47 4.6M 
[ ]coq_8.3.pl1+dfsg-2~ppa+natty1.debian.tar.gz2011-06-16 13:56 16K 
[ ]coq_8.3.pl1+dfsg-2~ppa+natty1.dsc2011-06-16 13:56 2.2K 
[ ]coq_8.3.pl1+dfsg-2~ppa+natty1_amd64.deb2011-06-16 14:26 5.2M 
[ ]coq_8.3.pl1+dfsg-2~ppa+natty1_i386.deb2011-06-16 14:37 4.6M 
[ ]coq_8.3.pl1+dfsg.orig.tar.gz2011-01-11 11:37 3.0M 
[ ]coq_8.4dfsg-2~ppa+oneiric1.debian.tar.gz2012-09-22 11:45 17K 
[ ]coq_8.4dfsg-2~ppa+oneiric1.dsc2012-09-22 11:45 2.3K 
[ ]coq_8.4dfsg-2~ppa+oneiric1_amd64.deb2012-09-22 18:40 5.6M 
[ ]coq_8.4dfsg-2~ppa+oneiric1_i386.deb2012-09-22 14:05 5.0M 
[ ]coq_8.4dfsg-2~ppa+precise1.debian.tar.gz2012-09-22 11:45 17K 
[ ]coq_8.4dfsg-2~ppa+precise1.dsc2012-09-22 11:45 2.3K 
[ ]coq_8.4dfsg-2~ppa+precise1_amd64.deb2012-09-22 18:59 5.6M 
[ ]coq_8.4dfsg-2~ppa+precise1_i386.deb2012-09-22 14:05 5.0M 
[ ]coq_8.4dfsg.orig.tar.gz2012-09-19 05:19 3.4M 
[ ]coqide_8.3.pl1+dfsg-2~ppa+lucid2_amd64.deb2011-03-09 22:33 5.3M 
[ ]coqide_8.3.pl1+dfsg-2~ppa+lucid2_i386.deb2011-03-09 22:47 4.9M 
[ ]coqide_8.3.pl1+dfsg-2~ppa+natty1_amd64.deb2011-06-16 14:26 5.2M 
[ ]coqide_8.3.pl1+dfsg-2~ppa+natty1_i386.deb2011-06-16 14:37 4.8M 
[ ]coqide_8.4dfsg-2~ppa+oneiric1_amd64.deb2012-09-22 18:40 1.0M 
[ ]coqide_8.4dfsg-2~ppa+oneiric1_i386.deb2012-09-22 14:05 777K 
[ ]coqide_8.4dfsg-2~ppa+precise1_amd64.deb2012-09-22 18:59 1.0M 
[ ]coqide_8.4dfsg-2~ppa+precise1_i386.deb2012-09-22 14:05 775K 
[ ]libcoq-ocaml-dev_8.3.pl1+dfsg-2~ppa+lucid2_amd64.deb2011-03-09 22:33 5.6M 
[ ]libcoq-ocaml-dev_8.3.pl1+dfsg-2~ppa+lucid2_i386.deb2011-03-09 22:47 5.5M 
[ ]libcoq-ocaml-dev_8.3.pl1+dfsg-2~ppa+natty1_amd64.deb2011-06-16 14:26 5.6M 
[ ]libcoq-ocaml-dev_8.3.pl1+dfsg-2~ppa+natty1_i386.deb2011-06-16 14:37 5.4M 
[ ]libcoq-ocaml-dev_8.4dfsg-2~ppa+oneiric1_amd64.deb2012-09-22 18:40 5.5M 
[ ]libcoq-ocaml-dev_8.4dfsg-2~ppa+oneiric1_i386.deb2012-09-22 14:05 5.3M 
[ ]libcoq-ocaml-dev_8.4dfsg-2~ppa+precise1_amd64.deb2012-09-22 18:59 5.5M 
[ ]libcoq-ocaml-dev_8.4dfsg-2~ppa+precise1_i386.deb2012-09-22 14:05 5.3M 
[ ]libcoq-ocaml_8.3.pl1+dfsg-2~ppa+lucid2_amd64.deb2011-03-09 22:33 2.0M 
[ ]libcoq-ocaml_8.3.pl1+dfsg-2~ppa+lucid2_i386.deb2011-03-09 22:47 1.8M 
[ ]libcoq-ocaml_8.3.pl1+dfsg-2~ppa+natty1_amd64.deb2011-06-16 14:26 1.9M 
[ ]libcoq-ocaml_8.3.pl1+dfsg-2~ppa+natty1_i386.deb2011-06-16 14:37 1.7M 
[ ]libcoq-ocaml_8.4dfsg-2~ppa+oneiric1_amd64.deb2012-09-22 18:40 2.1M 
[ ]libcoq-ocaml_8.4dfsg-2~ppa+oneiric1_i386.deb2012-09-22 14:05 1.8M 
[ ]libcoq-ocaml_8.4dfsg-2~ppa+precise1_amd64.deb2012-09-22 18:59 2.1M 
[ ]libcoq-ocaml_8.4dfsg-2~ppa+precise1_i386.deb2012-09-22 14:05 1.8M