Index of /ubuntu/pool/universe/p/proofgeneral/
../
proofgeneral-coq_3.7-4_all.deb 17-Oct-2010 23:05 71K
proofgeneral-doc_3.7-4_all.deb 17-Oct-2010 23:05 88K
proofgeneral-doc_4.3~pre130510-1.1_all.deb 28-Feb-2014 20:38 642K
proofgeneral-doc_4.3~pre131011-0.2_all.deb 17-Nov-2014 07:34 665K
proofgeneral-doc_4.4.1~pre170114-1_all.deb 17-Jan-2017 13:23 656K
proofgeneral-minlog_3.7-4_all.deb 17-Oct-2010 23:05 20K
proofgeneral-misc_3.7-4_all.deb 17-Oct-2010 23:05 139K
proofgeneral_3.7-4.diff.gz 15-Oct-2010 22:09 24K
proofgeneral_3.7-4.dsc 15-Oct-2010 22:09 1742
proofgeneral_3.7-4_all.deb 17-Oct-2010 23:05 474K
proofgeneral_3.7.orig.tar.gz 03-May-2008 12:19 2M
proofgeneral_4.3~pre130510-1.1.debian.tar.xz 28-Feb-2014 20:38 19K
proofgeneral_4.3~pre130510-1.1.dsc 28-Feb-2014 20:38 2016
proofgeneral_4.3~pre130510-1.1_all.deb 28-Feb-2014 20:38 353K
proofgeneral_4.3~pre130510.orig.tar.gz 19-May-2013 01:33 1023K
proofgeneral_4.3~pre131011-0.2.debian.tar.xz 17-Nov-2014 07:33 19K
proofgeneral_4.3~pre131011-0.2.dsc 17-Nov-2014 07:33 1975
proofgeneral_4.3~pre131011-0.2_all.deb 17-Nov-2014 07:34 356K
proofgeneral_4.3~pre131011.orig.tar.xz 25-Oct-2014 20:32 11M
proofgeneral_4.4.1~pre170114-1.debian.tar.xz 17-Jan-2017 13:13 19K
proofgeneral_4.4.1~pre170114-1.dsc 17-Jan-2017 13:13 1989
proofgeneral_4.4.1~pre170114-1_all.deb 17-Jan-2017 13:23 530K
proofgeneral_4.4.1~pre170114.orig.tar.xz 17-Jan-2017 13:13 9M