Index of /debian/pool/main/p/proofgeneral

Icon  Name                                       Last modified      Size  Description
[DIR] Parent Directory - [TXT] proofgeneral_3.7-3.dsc 02-Apr-2008 18:17 714 [TXT] proofgeneral_3.7-4.dsc 12-Oct-2010 04:48 1.7K [TXT] proofgeneral_4.2~pre120112-1.dsc 13-Jan-2012 16:54 1.9K [TXT] proofgeneral_4.2~pre120206-1.dsc 29-Feb-2012 05:11 1.9K [   ] proofgeneral_4.2~pre120112-1.debian.tar.gz 13-Jan-2012 16:54 18K [   ] proofgeneral_4.2~pre120206-1.debian.tar.gz 29-Feb-2012 05:11 19K [   ] proofgeneral-minlog_3.7-3_all.deb 02-Apr-2008 18:17 19K [   ] proofgeneral-minlog_3.7-4_all.deb 12-Oct-2010 04:48 20K [   ] proofgeneral_3.7-3.diff.gz 02-Apr-2008 18:17 21K [   ] proofgeneral_3.7-4.diff.gz 12-Oct-2010 04:48 24K [   ] proofgeneral-coq_3.7-3_all.deb 02-Apr-2008 18:17 70K [   ] proofgeneral-coq_3.7-4_all.deb 12-Oct-2010 04:48 71K [   ] proofgeneral-doc_3.7-3_all.deb 02-Apr-2008 18:17 88K [   ] proofgeneral-doc_3.7-4_all.deb 12-Oct-2010 04:48 88K [   ] proofgeneral-misc_3.7-3_all.deb 02-Apr-2008 18:17 138K [   ] proofgeneral-misc_3.7-4_all.deb 12-Oct-2010 04:48 139K [   ] proofgeneral_4.2~pre120206-1_all.deb 29-Feb-2012 05:11 420K [   ] proofgeneral_4.2~pre120112-1_all.deb 13-Jan-2012 16:54 436K [   ] proofgeneral_3.7-4_all.deb 12-Oct-2010 04:48 471K [   ] proofgeneral_3.7-3_all.deb 02-Apr-2008 18:17 472K [   ] proofgeneral-doc_4.2~pre120112-1_all.deb 13-Jan-2012 16:54 660K [   ] proofgeneral-doc_4.2~pre120206-1_all.deb 29-Feb-2012 05:11 660K [   ] proofgeneral_4.2~pre120112.orig.tar.gz 13-Jan-2012 16:54 920K [   ] proofgeneral_4.2~pre120206.orig.tar.gz 29-Feb-2012 05:11 931K [   ] proofgeneral_3.7.orig.tar.gz 19-Mar-2008 07:47 1.9M
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80