Index of /loongson64/pool/main/p/proofgeneral/

../
proofgeneral-doc_4.4.1~pre170114-1_all.deb         24-Apr-2019 17:40    666K
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       24-Apr-2019 17:40     19K
proofgeneral_4.4.1~pre170114-1.dsc                 24-Apr-2019 17:40    1989
proofgeneral_4.4.1~pre170114-1_all.deb             24-Apr-2019 17:40    589K
proofgeneral_4.4.1~pre170114.orig.tar.xz           24-Apr-2019 17:40      9M