../ proofgeneral-doc_4.5-1_all.deb 17-Aug-2023 20:22 681K proofgeneral_4.5-1.debian.tar.xz 17-Aug-2023 19:46 17K proofgeneral_4.5-1.dsc 17-Aug-2023 19:46 2000 proofgeneral_4.5-1_all.deb 17-Aug-2023 20:22 625K proofgeneral_4.5.orig.tar.gz 17-Aug-2023 19:46 1M