../ proofgeneral-doc_4.3~pre130510-1.1_all.deb 28-Feb-2014 12:38 657740 proofgeneral-doc_4.3~pre131011-0.2_all.deb 16-Nov-2014 23:34 680856 proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 18:28 671136 proofgeneral-doc_4.4.1~pre170114-1_all.deb 17-Jan-2017 05:23 671518 proofgeneral-doc_4.5-1_all.deb 17-Aug-2023 17:49 683198 proofgeneral-doc_4.5-3_all.deb 27-Nov-2024 23:56 661798 proofgeneral_4.3~pre130510-1.1.debian.tar.xz 28-Feb-2014 12:38 19108 proofgeneral_4.3~pre130510-1.1.dsc 28-Feb-2014 12:38 2016 proofgeneral_4.3~pre130510-1.1_all.deb 28-Feb-2014 12:38 361556 proofgeneral_4.3~pre130510.orig.tar.gz 18-May-2013 17:33 1047655 proofgeneral_4.3~pre131011-0.2.debian.tar.xz 16-Nov-2014 23:33 19412 proofgeneral_4.3~pre131011-0.2.dsc 16-Nov-2014 23:33 1975 proofgeneral_4.3~pre131011-0.2_all.deb 16-Nov-2014 23:34 364274 proofgeneral_4.3~pre131011.orig.tar.xz 25-Oct-2014 12:32 11592524 proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19-Dec-2019 17:58 19908 proofgeneral_4.4.1~pre170114-1.2.dsc 19-Dec-2019 17:58 1983 proofgeneral_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 18:28 542408 proofgeneral_4.4.1~pre170114-1.debian.tar.xz 17-Jan-2017 05:13 19736 proofgeneral_4.4.1~pre170114-1.dsc 17-Jan-2017 05:13 1989 proofgeneral_4.4.1~pre170114-1_all.deb 17-Jan-2017 05:23 542604 proofgeneral_4.4.1~pre170114.orig.tar.xz 17-Jan-2017 05:13 9299752 proofgeneral_4.5-1.debian.tar.xz 17-Aug-2023 17:16 17188 proofgeneral_4.5-1.dsc 17-Aug-2023 17:16 2000 proofgeneral_4.5-1_all.deb 17-Aug-2023 17:49 590368 proofgeneral_4.5-3.debian.tar.xz 27-Nov-2024 23:56 17424 proofgeneral_4.5-3.dsc 27-Nov-2024 23:56 2122 proofgeneral_4.5-3_all.deb 27-Nov-2024 23:56 590214 proofgeneral_4.5.orig.tar.gz 17-Aug-2023 17:16 1198535
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.