Apache/2.4.63 (Debian) Server at mirror.freedif.org Port 443Name Last modified Size Description
Parent Directory -
proofgeneral_4.5-3_all.deb 2024-11-28 02:28 626K
proofgeneral-doc_4.5-3_all.deb 2024-11-28 02:28 660K
proofgeneral_4.5-3.dsc 2024-11-28 01:42 2.1K
proofgeneral_4.5-3.debian.tar.xz 2024-11-28 01:42 17K
proofgeneral_4.5.orig.tar.gz 2023-08-17 20:46 1.1M