Index of /gnewsense/pool/main/c/coq

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