../ proofgeneral-doc_4.5-3_all.deb 16-Jul-2025 11:56 660K proofgeneral_4.5-3.debian.tar.xz 18-Jul-2025 14:41 17K proofgeneral_4.5-3.dsc 18-Jul-2025 14:41 1214 proofgeneral_4.5-3_all.deb 16-Jul-2025 11:56 626K proofgeneral_4.5.orig.tar.gz 18-Jul-2025 14:41 1M