Index of /repos/pool/trixie/main/p/proofgeneral/

../
proofgeneral-doc_4.5-3_all.deb                     11-Aug-2026 05:06    660K
proofgeneral_4.5-3.debian.tar.xz                   11-Aug-2026 05:06     17K
proofgeneral_4.5-3.dsc                             11-Aug-2026 05:06    2122
proofgeneral_4.5-3_all.deb                         11-Aug-2026 05:06    626K
proofgeneral_4.5.orig.tar.gz                       11-Aug-2026 05:06      1M