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