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