../ proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 18:51 666K proofgeneral-doc_4.5-3_all.deb 28-Nov-2024 03:58 660K proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19-Dec-2019 17:36 19K proofgeneral_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 18:51 589K proofgeneral_4.5-3.debian.tar.xz 28-Nov-2024 03:12 17K proofgeneral_4.5-3.dsc 28-Nov-2024 03:12 2122 proofgeneral_4.5-3_all.deb 28-Nov-2024 03:58 626K