Index of /gnewsense/pool/main/p/proofgeneral

      Name                                       Last modified      Size  Description
Parent Directory - proofgeneral_3.7.orig.tar.gz 2008-03-18 23:47 1.9M proofgeneral_4.2~pre120605.orig.tar.gz 2012-06-09 16:26 1.0M proofgeneral-doc_4.2~pre120605-2_all.deb 2012-12-06 11:41 656K proofgeneral_3.7-4_all.deb 2010-10-11 21:48 471K proofgeneral_4.2~pre120605-2_all.deb 2012-12-06 11:41 422K proofgeneral-misc_3.7-4_all.deb 2010-10-11 21:48 139K proofgeneral-doc_3.7-4_all.deb 2010-10-11 21:48 88K proofgeneral-coq_3.7-4_all.deb 2010-10-11 21:48 71K proofgeneral_3.7-4.diff.gz 2010-10-11 21:48 24K proofgeneral-minlog_3.7-4_all.deb 2010-10-11 21:48 20K proofgeneral_4.2~pre120605-2.debian.tar.gz 2012-12-06 11:41 19K proofgeneral_4.2~pre120605-2.dsc 2012-12-06 11:41 1.9K proofgeneral_3.7-4.dsc 2010-10-11 21:48 1.7K
ftp.heanet.ie