Index of /ubuntu/pool/universe/p/proofgeneral/

File NameFile SizeDate
Parent directory/--
proofgeneral-doc_4.3~pre130510-1.1_all.deb 642K28-Feb-2014 12:38
proofgeneral-doc_4.3~pre131011-0.2_all.deb 665K16-Nov-2014 23:34
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 655K19-Dec-2019 18:28
proofgeneral-doc_4.4.1~pre170114-1_all.deb 656K17-Jan-2017 05:23
proofgeneral-doc_4.5-1_all.deb 667K17-Aug-2023 17:49
proofgeneral-doc_4.5-3_all.deb 646K27-Nov-2024 23:56
proofgeneral_4.3~pre130510-1.1.debian.tar.xz 19K28-Feb-2014 12:38
proofgeneral_4.3~pre130510-1.1.dsc 201628-Feb-2014 12:38
proofgeneral_4.3~pre130510-1.1_all.deb 353K28-Feb-2014 12:38
proofgeneral_4.3~pre130510.orig.tar.gz 1023K18-May-2013 17:33
proofgeneral_4.3~pre131011-0.2.debian.tar.xz 19K16-Nov-2014 23:33
proofgeneral_4.3~pre131011-0.2.dsc 197516-Nov-2014 23:33
proofgeneral_4.3~pre131011-0.2_all.deb 356K16-Nov-2014 23:34
proofgeneral_4.3~pre131011.orig.tar.xz 11M25-Oct-2014 12:32
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19K19-Dec-2019 17:58
proofgeneral_4.4.1~pre170114-1.2.dsc 198319-Dec-2019 17:58
proofgeneral_4.4.1~pre170114-1.2_all.deb 530K19-Dec-2019 18:28
proofgeneral_4.4.1~pre170114-1.debian.tar.xz 19K17-Jan-2017 05:13
proofgeneral_4.4.1~pre170114-1.dsc 198917-Jan-2017 05:13
proofgeneral_4.4.1~pre170114-1_all.deb 530K17-Jan-2017 05:23
proofgeneral_4.4.1~pre170114.orig.tar.xz 9M17-Jan-2017 05:13
proofgeneral_4.5-1.debian.tar.xz 17K17-Aug-2023 17:16
proofgeneral_4.5-1.dsc 200017-Aug-2023 17:16
proofgeneral_4.5-1_all.deb 577K17-Aug-2023 17:49
proofgeneral_4.5-3.debian.tar.xz 17K27-Nov-2024 23:56
proofgeneral_4.5-3.dsc 212227-Nov-2024 23:56
proofgeneral_4.5-3_all.deb 576K27-Nov-2024 23:56
proofgeneral_4.5.orig.tar.gz 1M17-Aug-2023 17:16