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


../
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb       24-Aug-2021 19:35    666K
proofgeneral-doc_4.4.1~pre170114-1_all.deb         25-Aug-2021 04:15    666K
proofgeneral-doc_4.5-3_all.deb                     13-Aug-2025 00:59    660K
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz     24-Aug-2021 18:57     19K
proofgeneral_4.4.1~pre170114-1.2.dsc               24-Aug-2021 18:57    1983
proofgeneral_4.4.1~pre170114-1.2_all.deb           24-Aug-2021 19:47    589K
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       25-Aug-2021 03:56     19K
proofgeneral_4.4.1~pre170114-1.dsc                 25-Aug-2021 03:56    1989
proofgeneral_4.4.1~pre170114-1_all.deb             25-Aug-2021 04:13    589K
proofgeneral_4.4.1~pre170114.orig.tar.xz           24-Aug-2021 18:57      9M
proofgeneral_4.5-3.debian.tar.xz                   13-Aug-2025 00:52     17K
proofgeneral_4.5-3.dsc                             13-Aug-2025 00:52    2122
proofgeneral_4.5-3_all.deb                         13-Aug-2025 03:00    626K
proofgeneral_4.5.orig.tar.gz                       13-Aug-2025 00:52      1M