Index of /bianbu/pool/universe/p/proofgeneral/

../
proofgeneral-doc_4.5-1_all.deb                     21-Aug-2024 14:36    646K
proofgeneral-doc_4.5-3_all.deb                     26-May-2025 18:46    646K
proofgeneral_4.5-1.debian.tar.xz                   17-Aug-2023 17:16     17K
proofgeneral_4.5-1.dsc                             17-Aug-2023 17:16    2000
proofgeneral_4.5-1_all.deb                         21-Aug-2024 14:36    638K
proofgeneral_4.5-3.debian.tar.xz                   27-Nov-2024 23:56     17K
proofgeneral_4.5-3.dsc                             27-Nov-2024 23:56    2122
proofgeneral_4.5-3_all.deb                         26-May-2025 18:46    638K
proofgeneral_4.5.orig.tar.gz                       17-Aug-2023 17:16      1M