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

../
proofgeneral-doc_4.4.1~pre170114-1_all.deb         31-Oct-2025 17:29    666K
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       31-Oct-2025 17:35     19K
proofgeneral_4.4.1~pre170114-1.dsc                 31-Oct-2025 17:35    1989
proofgeneral_4.4.1~pre170114-1_all.deb             31-Oct-2025 17:18    589K
proofgeneral_4.4.1~pre170114.orig.tar.xz           31-Oct-2025 17:35      9M