../ 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