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

../
proofgeneral-coq_3.7-3.1_all.deb                   31-Mar-2026 01:23     71K
proofgeneral-coq_3.7-4_all.deb                     03-Apr-2026 00:15     71K
proofgeneral-doc_3.7-3.1_all.deb                   31-Mar-2026 01:23     88K
proofgeneral-doc_3.7-4_all.deb                     03-Apr-2026 00:15     88K
proofgeneral-minlog_3.7-3.1_all.deb                31-Mar-2026 01:23     20K
proofgeneral-minlog_3.7-4_all.deb                  03-Apr-2026 00:15     20K
proofgeneral-misc_3.7-3.1_all.deb                  31-Mar-2026 01:23    139K
proofgeneral-misc_3.7-4_all.deb                    03-Apr-2026 00:15    139K
proofgeneral_3.7-3.1_all.deb                       31-Mar-2026 01:23    473K
proofgeneral_3.7-4_all.deb                         03-Apr-2026 00:15    474K