../ proofgeneral-doc_4.3~pre130510-1.1_all.deb 28-Feb-2014 16:08 642K proofgeneral-doc_4.3~pre131011-0.2_all.deb 17-Nov-2014 03:04 665K proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 21:58 655K proofgeneral-doc_4.4.1~pre170114-1_all.deb 17-Jan-2017 08:53 656K proofgeneral-doc_4.5-1_all.deb 17-Aug-2023 21:19 667K proofgeneral-doc_4.5-3_all.deb 28-Nov-2024 03:26 646K proofgeneral_4.3~pre130510-1.1.debian.tar.xz 28-Feb-2014 16:08 19K proofgeneral_4.3~pre130510-1.1.dsc 28-Feb-2014 16:08 2016 proofgeneral_4.3~pre130510-1.1_all.deb 28-Feb-2014 16:08 353K proofgeneral_4.3~pre130510.orig.tar.gz 18-May-2013 21:03 1023K proofgeneral_4.3~pre131011-0.2.debian.tar.xz 17-Nov-2014 03:03 19K proofgeneral_4.3~pre131011-0.2.dsc 17-Nov-2014 03:03 1975 proofgeneral_4.3~pre131011-0.2_all.deb 17-Nov-2014 03:04 356K proofgeneral_4.3~pre131011.orig.tar.xz 25-Oct-2014 16:02 11M proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19-Dec-2019 21:28 19K proofgeneral_4.4.1~pre170114-1.2.dsc 19-Dec-2019 21:28 1983 proofgeneral_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 21:58 530K proofgeneral_4.4.1~pre170114-1.debian.tar.xz 17-Jan-2017 08:43 19K proofgeneral_4.4.1~pre170114-1.dsc 17-Jan-2017 08:43 1989 proofgeneral_4.4.1~pre170114-1_all.deb 17-Jan-2017 08:53 530K proofgeneral_4.4.1~pre170114.orig.tar.xz 17-Jan-2017 08:43 9M proofgeneral_4.5-1.debian.tar.xz 17-Aug-2023 20:46 17K proofgeneral_4.5-1.dsc 17-Aug-2023 20:46 2000 proofgeneral_4.5-1_all.deb 17-Aug-2023 21:19 577K proofgeneral_4.5-3.debian.tar.xz 28-Nov-2024 03:26 17K proofgeneral_4.5-3.dsc 28-Nov-2024 03:26 2122 proofgeneral_4.5-3_all.deb 28-Nov-2024 03:26 576K proofgeneral_4.5.orig.tar.gz 17-Aug-2023 20:46 1M