Index of /ubuntu-testing/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.2_all.deb       21-Dec-2020 15:31              671136
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.2_all.deb           21-Dec-2020 16:07              542408
proofgeneral_4.4.1~pre170114-1_all.deb             28-May-2020 17:34              542604