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

../
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb       18-Nov-2020 02:51    655K
proofgeneral-doc_4.4.1~pre170114-1_all.deb         16-Jan-2017 22:23    656K
proofgeneral-doc_4.5-1_all.deb                     06-May-2024 23:39    667K
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz     06-Nov-2024 23:16     19K
proofgeneral_4.4.1~pre170114-1.2.dsc               06-Nov-2024 23:16    1983
proofgeneral_4.4.1~pre170114-1.2_all.deb           18-Nov-2020 02:51    530K
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       08-Sep-2021 04:10     19K
proofgeneral_4.4.1~pre170114-1.dsc                 08-Sep-2021 04:10    1989
proofgeneral_4.4.1~pre170114-1_all.deb             16-Jan-2017 22:23    530K
proofgeneral_4.4.1~pre170114.orig.tar.xz           06-Nov-2024 23:16      9M
proofgeneral_4.5-1.debian.tar.xz                   06-May-2024 23:39     17K
proofgeneral_4.5-1.dsc                             06-May-2024 23:39    2000
proofgeneral_4.5-1_all.deb                         06-May-2024 23:39    577K
proofgeneral_4.5.orig.tar.gz                       06-May-2024 23:39      1M