Index of /ubuntu/pool/universe/p/proofgeneral

Icon  Name                                       Last modified      Size  Description
[DIR] Parent Directory - [   ] proofgeneral-coq_3.5-6_all.deb 29-Oct-2007 17:03 44K [   ] proofgeneral-coq_3.7-3.1_all.deb 08-Nov-2009 03:04 71K [   ] proofgeneral-coq_3.7-4_all.deb 17-Oct-2010 23:05 71K [   ] proofgeneral-doc_3.5-6_all.deb 29-Oct-2007 17:03 119K [   ] proofgeneral-doc_3.7-3.1_all.deb 08-Nov-2009 03:04 88K [   ] proofgeneral-doc_3.7-4_all.deb 17-Oct-2010 23:05 88K [   ] proofgeneral-doc_4.2~pre120605-1_all.deb 11-Jun-2012 01:34 650K [   ] proofgeneral-doc_4.2~pre120605-2_all.deb 07-Dec-2012 01:33 651K [   ] proofgeneral-minlog_3.5-6_all.deb 29-Oct-2007 17:03 16K [   ] proofgeneral-minlog_3.7-3.1_all.deb 08-Nov-2009 03:04 20K [   ] proofgeneral-minlog_3.7-4_all.deb 17-Oct-2010 23:05 20K [   ] proofgeneral-misc_3.5-6_all.deb 29-Oct-2007 17:03 147K [   ] proofgeneral-misc_3.7-3.1_all.deb 08-Nov-2009 03:04 139K [   ] proofgeneral-misc_3.7-4_all.deb 17-Oct-2010 23:05 139K [   ] proofgeneral_3.5-6.diff.gz 24-Oct-2007 08:04 17K [TXT] proofgeneral_3.5-6.dsc 24-Oct-2007 08:04 671 [   ] proofgeneral_3.5-6_all.deb 29-Oct-2007 17:03 409K [   ] proofgeneral_3.5.orig.tar.gz 26-Oct-2004 05:16 1.7M [   ] proofgeneral_3.7-3.1.diff.gz 06-Nov-2009 18:04 23K [TXT] proofgeneral_3.7-3.1.dsc 06-Nov-2009 18:04 1.1K [   ] proofgeneral_3.7-3.1_all.deb 08-Nov-2009 03:04 473K [   ] proofgeneral_3.7-4.diff.gz 15-Oct-2010 22:09 24K [TXT] proofgeneral_3.7-4.dsc 15-Oct-2010 22:09 1.7K [   ] proofgeneral_3.7-4_all.deb 17-Oct-2010 23:05 474K [   ] proofgeneral_3.7.orig.tar.gz 03-May-2008 12:19 1.9M [   ] proofgeneral_4.2~pre120605-1.debian.tar.gz 11-Jun-2012 01:04 19K [TXT] proofgeneral_4.2~pre120605-1.dsc 11-Jun-2012 01:04 1.9K [   ] proofgeneral_4.2~pre120605-1_all.deb 11-Jun-2012 01:34 420K [   ] proofgeneral_4.2~pre120605-2.debian.tar.gz 07-Dec-2012 01:33 19K [TXT] proofgeneral_4.2~pre120605-2.dsc 07-Dec-2012 01:33 1.9K [   ] proofgeneral_4.2~pre120605-2_all.deb 07-Dec-2012 01:33 422K [   ] proofgeneral_4.2~pre120605.orig.tar.gz 11-Jun-2012 01:04 1.0M
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80