Index of /dev/devuan/merged/pool/DEBIAN/main/p/proofgeneral/

../
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb       07-Sep-2026 16:21    666K
proofgeneral-doc_4.5-3_all.deb                     07-Sep-2026 16:21    660K
proofgeneral_4.4.1~pre170114-1.2_all.deb           07-Sep-2026 16:21    589K
proofgeneral_4.5-3_all.deb                         07-Sep-2026 16:21    626K