../ proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 28-May-2024 18:11 681756 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 08-May-2024 16:10 19908 proofgeneral_4.4.1~pre170114-1.2.dsc 08-May-2024 16:10 1983 proofgeneral_4.4.1~pre170114-1.2_all.deb 28-May-2024 18:11 603032 proofgeneral_4.4.1~pre170114.orig.tar.xz 08-May-2024 16:10 9299752