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

../
proofgeneral-doc_4.5-1_all.deb                     04-Mar-2026 10:10    667K
proofgeneral-doc_4.5-3build1_all.deb               22-Jul-2026 19:56    634K
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-3build1.debian.tar.xz             22-Jul-2026 19:56     17K
proofgeneral_4.5-3build1.dsc                       22-Jul-2026 19:56    2121
proofgeneral_4.5-3build1_all.deb                   22-Jul-2026 19:56    576K
proofgeneral_4.5.orig.tar.gz                       04-Mar-2026 10:10      1M