Index of /old/debian/pool/main/p/proofgeneral/

../
proofgeneral-doc_4.2~pre120605-2_all.deb           03-Apr-2019 01:53              671274
proofgeneral-doc_4.3~pre131011-0.2_all.deb         24-Aug-2017 09:51              687198
proofgeneral_4.2~pre120605-2.debian.tar.gz         03-Apr-2019 02:17               19826
proofgeneral_4.2~pre120605-2.dsc                   03-Apr-2019 02:17                1962
proofgeneral_4.2~pre120605-2_all.deb               03-Apr-2019 02:22              432172
proofgeneral_4.2~pre120605.orig.tar.gz             03-Apr-2019 02:17             1020306
proofgeneral_4.3~pre131011-0.2.debian.tar.xz       03-Oct-2017 12:50               19412
proofgeneral_4.3~pre131011-0.2.dsc                 03-Oct-2017 12:50                1975
proofgeneral_4.3~pre131011-0.2_all.deb             24-Aug-2017 09:20              375316
proofgeneral_4.3~pre131011.orig.tar.xz             03-Oct-2017 12:50            11592524