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

../
proofgeneral-doc_4.5-1_all.deb                     18-Aug-2023 01:49    667K
proofgeneral_4.5-1.debian.tar.xz                   18-Aug-2023 01:16     17K
proofgeneral_4.5-1.dsc                             18-Aug-2023 01:16    2000
proofgeneral_4.5-1_all.deb                         18-Aug-2023 01:49    577K
proofgeneral_4.5.orig.tar.gz                       18-Aug-2023 01:16      1M