Index of /ubuntu/pool/main/p/proofgeneral/


../
proofgeneral-doc_4.3~pre131011-0.2_all.deb         28-May-2020 21:51              680856
proofgeneral-doc_4.4.1~pre170114-1_all.deb         28-May-2020 17:53              671518
proofgeneral_4.3~pre131011-0.2_all.deb             28-May-2020 21:41              364274
proofgeneral_4.4.1~pre170114-1_all.deb             28-May-2020 17:34              542604