Index of /ubuntu/pool/universe/p/proofgeneral/

../
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb       18-Dec-2024 03:26              671136
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz     18-Dec-2023 16:21               19908
proofgeneral_4.4.1~pre170114-1.2.dsc               18-Dec-2023 16:21                1983
proofgeneral_4.4.1~pre170114-1.2_all.deb           18-Dec-2024 03:26              542408
proofgeneral_4.4.1~pre170114.orig.tar.xz           18-Dec-2023 16:21             9299752