Index of /pardus/pool/main/p/proofgeneral/

../
proofgeneral-doc_4.4.1~pre170114-1_all.deb         02-Jul-2026 16:11    666K
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       02-Jul-2026 15:23     19K
proofgeneral_4.4.1~pre170114-1.dsc                 02-Jul-2026 15:23    1989
proofgeneral_4.4.1~pre170114-1_all.deb             02-Jul-2026 15:44    589K
proofgeneral_4.4.1~pre170114.orig.tar.xz           02-Jul-2026 15:23      9M