Index of /repos/pool/main/p/proofgeneral/
../
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 27-Sep-2025 14:05 666K
proofgeneral-doc_4.5-3_all.deb 27-Sep-2025 04:24 660K
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 27-Sep-2025 14:05 19K
proofgeneral_4.4.1~pre170114-1.2.dsc 27-Sep-2025 14:05 1983
proofgeneral_4.4.1~pre170114-1.2_all.deb 27-Sep-2025 14:05 589K
proofgeneral_4.4.1~pre170114.orig.tar.xz 27-Sep-2025 14:05 9M
proofgeneral_4.5-3.debian.tar.xz 27-Sep-2025 04:24 17K
proofgeneral_4.5-3.dsc 27-Sep-2025 04:24 2122
proofgeneral_4.5-3_all.deb 27-Sep-2025 04:24 626K
proofgeneral_4.5.orig.tar.gz 27-Sep-2025 04:24 1M