../ proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 13:28 655K proofgeneral-doc_4.5-1_all.deb 17-Aug-2023 12:49 667K proofgeneral-doc_4.5-3build1_all.deb 27-Jan-2026 11:44 634K proofgeneral_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 13:28 530K proofgeneral_4.5-1_all.deb 17-Aug-2023 12:49 577K proofgeneral_4.5-3build1_all.deb 27-Jan-2026 11:44 576K