Index of /debian/pool/non-free/c/coq-doc

Icon  Name                           Last modified      Size  Description
[DIR] Parent Directory - [   ] coq-doc-html_8.1-3_all.deb 24-Apr-2007 04:47 427K [   ] coq-doc-html_8.2pl1-1_all.deb 08-Jan-2010 06:47 522K [   ] coq-doc-html_8.3pl2-1_all.deb 06-May-2011 19:48 543K [   ] coq-doc-html_8.3pl3-1_all.deb 04-Jan-2012 15:47 543K [   ] coq-doc-pdf_8.1-3_all.deb 24-Apr-2007 04:47 1.6M [   ] coq-doc-pdf_8.2pl1-1_all.deb 08-Jan-2010 06:47 2.3M [   ] coq-doc-pdf_8.3pl2-1_all.deb 06-May-2011 19:48 2.3M [   ] coq-doc-pdf_8.3pl3-1_all.deb 04-Jan-2012 15:47 2.3M [   ] coq-doc_8.1-3.diff.gz 24-Apr-2007 04:47 7.6K [TXT] coq-doc_8.1-3.dsc 24-Apr-2007 04:47 906 [   ] coq-doc_8.1-3_all.deb 24-Apr-2007 04:47 5.4K [   ] coq-doc_8.1.orig.tar.gz 14-Feb-2007 01:47 494K [   ] coq-doc_8.2pl1-1.debian.tar.gz 08-Jan-2010 06:47 8.4K [TXT] coq-doc_8.2pl1-1.dsc 08-Jan-2010 06:47 2.1K [   ] coq-doc_8.2pl1-1_all.deb 08-Jan-2010 06:47 36K [   ] coq-doc_8.2pl1.orig.tar.gz 08-Jan-2010 06:47 3.4M [   ] coq-doc_8.3pl2-1.debian.tar.gz 06-May-2011 19:48 8.6K [TXT] coq-doc_8.3pl2-1.dsc 06-May-2011 19:48 2.0K [   ] coq-doc_8.3pl2-1_all.deb 06-May-2011 19:48 43K [   ] coq-doc_8.3pl2.orig.tar.gz 06-May-2011 19:48 3.6M [   ] coq-doc_8.3pl3-1.debian.tar.gz 04-Jan-2012 15:47 8.5K [TXT] coq-doc_8.3pl3-1.dsc 04-Jan-2012 15:47 2.2K [   ] coq-doc_8.3pl3-1_all.deb 04-Jan-2012 15:47 43K [   ] coq-doc_8.3pl3.orig.tar.gz 04-Jan-2012 15:47 3.7M
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80