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

../
proofgeneral-coq_3.7-4_all.deb                     26-Apr-2023 12:12     71K
proofgeneral-doc_3.7-4_all.deb                     26-Apr-2023 12:12     88K
proofgeneral-doc_4.4.1~pre170114-1_all.deb         26-Apr-2023 16:29    666K
proofgeneral-minlog_3.7-4_all.deb                  26-Apr-2023 12:12     20K
proofgeneral-misc_3.7-4_all.deb                    26-Apr-2023 12:12    139K
proofgeneral_3.7-4.diff.gz                         26-Apr-2023 12:12     24K
proofgeneral_3.7-4.dsc                             26-Apr-2023 12:12    1742
proofgeneral_3.7-4_all.deb                         26-Apr-2023 12:12    471K
proofgeneral_3.7.orig.tar.gz                       26-Apr-2023 12:12      2M
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       26-Apr-2023 16:29     19K
proofgeneral_4.4.1~pre170114-1.dsc                 26-Apr-2023 16:29    1989
proofgeneral_4.4.1~pre170114-1_all.deb             26-Apr-2023 16:29    589K
proofgeneral_4.4.1~pre170114.orig.tar.xz           26-Apr-2023 16:29      9M