Index of /ubuntu/pool/universe/p/proofgeneral/

../
proofgeneral-doc_4.5-1_all.deb                     04-Mar-2026 10:10    667K
proofgeneral_4.5-1.debian.tar.xz                   04-Mar-2026 10:10     17K
proofgeneral_4.5-1.dsc                             04-Mar-2026 10:10    2000
proofgeneral_4.5-1_all.deb                         04-Mar-2026 10:10    577K
proofgeneral_4.5.orig.tar.gz                       04-Mar-2026 10:10      1M