../ 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