Index of /ubuntu/pool/universe/c/coq

Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory - [   ] coq-libs_8.1.pl3+dfsg-1_all.deb 08-Jan-2008 08:07 12M [   ] coq-theories_8.2.pl1+dfsg-6_all.deb 28-Feb-2010 01:04 17M [   ] coq-theories_8.2.pl2+dfsg-1ubuntu1_all.deb 19-Sep-2010 03:04 18M [   ] coq-theories_8.3.pl2+dfsg-1build1_all.deb 25-Aug-2011 13:04 50M [   ] coq-theories_8.3.pl4+dfsg-1_all.deb 03-Apr-2012 19:04 52M [   ] coq-theories_8.3.pl4+dfsg-2_all.deb 09-Jun-2012 02:04 52M [   ] coq_8.1.pl3+dfsg-1.diff.gz 08-Jan-2008 05:03 15K [TXT] coq_8.1.pl3+dfsg-1.dsc 08-Jan-2008 05:03 1.0K [   ] coq_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 08:06 8.6M [   ] coq_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 08:07 8.1M [   ] coq_8.1.pl3+dfsg.orig.tar.gz 08-Jan-2008 05:03 2.4M [   ] coq_8.2.pl1+dfsg-6.diff.gz 28-Feb-2010 00:04 15K [TXT] coq_8.2.pl1+dfsg-6.dsc 28-Feb-2010 00:04 2.2K [   ] coq_8.2.pl1+dfsg-6_amd64.deb 28-Feb-2010 01:04 15M [   ] coq_8.2.pl1+dfsg-6_i386.deb 28-Feb-2010 01:04 13M [   ] coq_8.2.pl1+dfsg.orig.tar.gz 29-Jul-2009 03:13 3.0M [   ] coq_8.2.pl2+dfsg-1ubuntu1.debian.tar.gz 19-Sep-2010 02:05 17K [TXT] coq_8.2.pl2+dfsg-1ubuntu1.dsc 19-Sep-2010 02:05 1.5K [   ] coq_8.2.pl2+dfsg-1ubuntu1_amd64.deb 19-Sep-2010 03:04 14M [   ] coq_8.2.pl2+dfsg-1ubuntu1_i386.deb 19-Sep-2010 03:05 13M [   ] coq_8.2.pl2+dfsg.orig.tar.gz 28-Jul-2010 03:05 3.0M [   ] coq_8.3.pl2+dfsg-1build1.debian.tar.gz 25-Aug-2011 13:04 16K [TXT] coq_8.3.pl2+dfsg-1build1.dsc 25-Aug-2011 13:04 1.5K [   ] coq_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 13:04 5.3M [   ] coq_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 13:05 4.7M [   ] coq_8.3.pl2+dfsg.orig.tar.gz 19-May-2011 23:05 3.0M [   ] coq_8.3.pl4+dfsg-1.debian.tar.gz 03-Apr-2012 18:33 16K [TXT] coq_8.3.pl4+dfsg-1.dsc 03-Apr-2012 18:33 2.3K [   ] coq_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 19:34 5.3M [   ] coq_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 19:04 4.7M [   ] coq_8.3.pl4+dfsg-2.debian.tar.gz 08-Jun-2012 22:36 16K [TXT] coq_8.3.pl4+dfsg-2.dsc 08-Jun-2012 22:36 2.3K [   ] coq_8.3.pl4+dfsg-2_amd64.deb 09-Jun-2012 05:03 5.3M [   ] coq_8.3.pl4+dfsg-2_i386.deb 09-Jun-2012 02:04 4.7M [   ] coq_8.3.pl4+dfsg.orig.tar.gz 03-Apr-2012 18:33 3.0M [   ] coqide_8.1.pl3+dfsg-1_amd64.deb 08-Jan-2008 08:06 5.0M [   ] coqide_8.1.pl3+dfsg-1_i386.deb 08-Jan-2008 08:07 4.7M [   ] coqide_8.2.pl1+dfsg-6_amd64.deb 28-Feb-2010 01:04 6.2M [   ] coqide_8.2.pl1+dfsg-6_i386.deb 28-Feb-2010 01:04 5.7M [   ] coqide_8.2.pl2+dfsg-1ubuntu1_amd64.deb 19-Sep-2010 03:04 6.1M [   ] coqide_8.2.pl2+dfsg-1ubuntu1_i386.deb 19-Sep-2010 03:05 5.6M [   ] coqide_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 13:04 5.2M [   ] coqide_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 13:05 4.9M [   ] coqide_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 19:34 5.2M [   ] coqide_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 19:04 4.9M [   ] coqide_8.3.pl4+dfsg-2_amd64.deb 09-Jun-2012 05:03 5.2M [   ] coqide_8.3.pl4+dfsg-2_i386.deb 09-Jun-2012 02:04 4.9M [   ] libcoq-ocaml-dev_8.2.pl1+dfsg-6_amd64.deb 28-Feb-2010 01:04 5.8M [   ] libcoq-ocaml-dev_8.2.pl1+dfsg-6_i386.deb 28-Feb-2010 01:04 5.6M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_amd64.deb 19-Sep-2010 03:04 5.7M [   ] libcoq-ocaml-dev_8.2.pl2+dfsg-1ubuntu1_i386.deb 19-Sep-2010 03:05 5.6M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 13:04 5.6M [   ] libcoq-ocaml-dev_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 13:05 5.4M [   ] libcoq-ocaml-dev_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 19:34 5.6M [   ] libcoq-ocaml-dev_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 19:04 5.5M [   ] libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb 09-Jun-2012 05:03 5.6M [   ] libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb 09-Jun-2012 02:04 5.5M [   ] libcoq-ocaml_8.3.pl2+dfsg-1build1_amd64.deb 25-Aug-2011 13:04 1.9M [   ] libcoq-ocaml_8.3.pl2+dfsg-1build1_i386.deb 25-Aug-2011 13:05 1.7M [   ] libcoq-ocaml_8.3.pl4+dfsg-1_amd64.deb 03-Apr-2012 19:34 1.9M [   ] libcoq-ocaml_8.3.pl4+dfsg-1_i386.deb 03-Apr-2012 19:04 1.7M [   ] libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb 09-Jun-2012 05:03 1.9M [   ] libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb 09-Jun-2012 02:04 1.7M
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80