Index of /main/p/proofgeneral/


../
proofgeneral_3.7-4.diff.gz                         17-Aug-2012 12:18               24613
proofgeneral_3.7-4.dsc                             17-Aug-2012 12:18                1742
proofgeneral_3.7.orig.tar.gz                       17-Aug-2012 12:18             1982146
proofgeneral_4.2~pre120411-2.debian.tar.gz         03-Aug-2012 21:24               18578
proofgeneral_4.2~pre120411-2.dsc                   03-Aug-2012 21:24                1962
proofgeneral_4.2~pre120411.orig.tar.gz             03-Aug-2012 21:24             1019250
proofgeneral_4.2~pre120605-1.debian.tar.gz         09-Jun-2012 15:26               19936
proofgeneral_4.2~pre120605-1.dsc                   09-Jun-2012 15:26                1962
proofgeneral_4.2~pre120605-2.debian.tar.gz         06-Dec-2012 11:41               19826
proofgeneral_4.2~pre120605-2.dsc                   06-Dec-2012 11:41                1962
proofgeneral_4.2~pre120605.orig.tar.gz             09-Jun-2012 15:26             1020306
proofgeneral_4.3~pre130510-1.1.debian.tar.xz       16-Feb-2014 07:40               19108
proofgeneral_4.3~pre130510-1.1.dsc                 16-Feb-2014 07:40                2016
proofgeneral_4.3~pre130510-1.debian.tar.gz         18-May-2013 08:27               20746
proofgeneral_4.3~pre130510-1.dsc                   18-May-2013 08:27                2009
proofgeneral_4.3~pre130510.orig.tar.gz             18-May-2013 08:27             1047655
proofgeneral_4.3~pre131011-0.1.debian.tar.xz       12-Aug-2014 13:27               19320
proofgeneral_4.3~pre131011-0.1.dsc                 12-Aug-2014 13:27                2033
proofgeneral_4.3~pre131011-0.2.debian.tar.xz       16-Nov-2014 16:54               19412
proofgeneral_4.3~pre131011-0.2.dsc                 16-Nov-2014 16:54                1975
proofgeneral_4.3~pre131011.orig.tar.xz             12-Aug-2014 13:27            11592524
proofgeneral_4.4.1~pre161230-0.1.debian.tar.xz     02-Jan-2017 00:14               19180
proofgeneral_4.4.1~pre161230-0.1.dsc               02-Jan-2017 00:14                2029
proofgeneral_4.4.1~pre161230.orig.tar.xz           02-Jan-2017 00:14            11671804
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       17-Jan-2017 03:55               19736
proofgeneral_4.4.1~pre170114-1.dsc                 17-Jan-2017 03:55                1989
proofgeneral_4.4.1~pre170114.orig.tar.xz           17-Jan-2017 03:55             9299752