Index of /lotos/pool/main/p/proofgeneral/

../
proofgeneral-doc_4.3~pre131011-0.2_all.deb                                                                               16-Nov-2014 16:54    671K
proofgeneral-doc_4.4.1~pre170114-1.1_all.deb                                                                             25-Jul-2019 09:04    666K
proofgeneral-doc_4.4.1~pre170114-1_all.deb                                                                               16-Jan-2017 21:49    666K
proofgeneral_4.3~pre131011-0.2_all.deb                                                                                   16-Nov-2014 16:54    367K
proofgeneral_4.4.1~pre170114-1.1.debian.tar.xz                                                                           25-Jul-2019 08:19     19K
proofgeneral_4.4.1~pre170114-1.1.dsc                                                                                     25-Jul-2019 08:19    1989
proofgeneral_4.4.1~pre170114-1.1_all.deb                                                                                 25-Jul-2019 09:04    589K
proofgeneral_4.4.1~pre170114-1_all.deb                                                                                   16-Jan-2017 21:49    589K
proofgeneral_4.4.1~pre170114.orig.tar.xz                                                                                 16-Jan-2017 21:49      9M