Index of /gnewsense-parkes/gnewsense/pool/main/c/coq
Name Last modified Size Description
Parent Directory -
libcoq-ocaml_8.3.pl4+dfsg-2_mipsel.deb 2012-06-06 13:32 521K
libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 2012-06-06 08:32 1.8M
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 07:32 2.0M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_mipsel.deb 2012-06-06 13:32 2.4M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 2012-06-06 08:32 5.5M
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 07:32 5.6M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_mipsel.deb 2010-07-03 07:32 1.9M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb 2010-07-02 18:03 5.7M
libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb 2010-07-02 16:19 5.8M
coqide_8.3.pl4+dfsg-2_mipsel.deb 2012-06-06 13:32 2.4M
coqide_8.3.pl4+dfsg-2_i386.deb 2012-06-06 08:32 5.0M
coqide_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 07:32 5.4M
coqide_8.2.pl2+dfsg-1_mipsel.deb 2010-07-03 07:32 2.3M
coqide_8.2.pl2+dfsg-1_i386.deb 2010-07-02 18:03 5.7M
coqide_8.2.pl2+dfsg-1_amd64.deb 2010-07-02 16:19 6.2M
coq_8.3.pl4+dfsg.orig.tar.gz 2012-03-27 08:02 3.0M
coq_8.3.pl4+dfsg-2_mipsel.deb 2012-06-06 13:32 1.7M
coq_8.3.pl4+dfsg-2_i386.deb 2012-06-06 08:32 4.8M
coq_8.3.pl4+dfsg-2_amd64.deb 2012-06-06 07:32 5.4M
coq_8.3.pl4+dfsg-2.dsc 2012-06-06 07:32 2.3K
coq_8.3.pl4+dfsg-2.debian.tar.gz 2012-06-06 07:32 16K
coq_8.2.pl2+dfsg.orig.tar.gz 2010-07-02 16:19 3.0M
coq_8.2.pl2+dfsg-1_mipsel.deb 2010-07-03 07:32 3.5M
coq_8.2.pl2+dfsg-1_i386.deb 2010-07-02 18:03 13M
coq_8.2.pl2+dfsg-1_amd64.deb 2010-07-02 16:19 15M
coq_8.2.pl2+dfsg-1.dsc 2010-07-02 16:19 2.1K
coq_8.2.pl2+dfsg-1.debian.tar.gz 2010-07-02 16:19 16K
coq-theories_8.3.pl4+dfsg-2_all.deb 2012-06-06 07:32 52M
coq-theories_8.2.pl2+dfsg-1_all.deb 2010-07-02 16:19 18M
ftp.heanet.ie