Index of /debian-trixie/pool/main/p/proofgeneral/

../
proofgeneral-doc_4.5-3_all.deb                     28-Mar-2026 15:30              675940
proofgeneral_4.5-3_all.deb                         28-Mar-2026 15:22              640580