Index of /kylin/desktop/releases/10/mips64el/pool/universe/p/proofgeneral/

../
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb       19-Oct-2023 03:04    658K
proofgeneral_4.4.1~pre170114-1.2_all.deb           19-Oct-2023 03:04    581K