../ proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 16:21 666K proofgeneral-doc_4.5-3_all.deb 28-Nov-2024 01:28 660K proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19-Dec-2019 15:06 19K proofgeneral_4.4.1~pre170114-1.2.dsc 19-Dec-2019 15:06 1983 proofgeneral_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 16:21 589K proofgeneral_4.4.1~pre170114.orig.tar.xz 17-Jan-2017 04:49 9M proofgeneral_4.5-3.debian.tar.xz 28-Nov-2024 00:42 17K proofgeneral_4.5-3.dsc 28-Nov-2024 00:42 2122 proofgeneral_4.5-3_all.deb 28-Nov-2024 01:28 626K proofgeneral_4.5.orig.tar.gz 17-Aug-2023 19:46 1M
mirror server hosted at Truenetwork, Russian Federation.