Index of /debian-archive/debian/pool/main/p/proofgeneral/

../
proofgeneral-coq_3.5-3_all.deb                     01-May-2005 02:56     43K
proofgeneral-coq_3.5-4.1_all.deb                   20-Dec-2006 03:47     44K
proofgeneral-coq_3.7-3_all.deb                     02-Apr-2008 19:17     70K
proofgeneral-coq_3.7-4_all.deb                     12-Oct-2010 05:48     71K
proofgeneral-doc_3.5-3_all.deb                     01-May-2005 02:56    118K
proofgeneral-doc_3.5-4.1_all.deb                   20-Dec-2006 03:47    119K
proofgeneral-doc_3.7-3_all.deb                     02-Apr-2008 19:17     88K
proofgeneral-doc_3.7-4_all.deb                     12-Oct-2010 05:48     88K
proofgeneral-doc_4.2~pre120605-2_all.deb           06-Dec-2012 20:41    656K
proofgeneral-doc_4.3~pre131011-0.2_all.deb         17-Nov-2014 01:54    671K
proofgeneral-doc_4.4.1~pre170114-1_all.deb         17-Jan-2017 06:49    666K
proofgeneral-minlog_3.5-4.1_alpha.deb              21-Dec-2006 05:33     17K
proofgeneral-minlog_3.5-4.1_amd64.deb              20-Dec-2006 08:47     17K
proofgeneral-minlog_3.5-4.1_hppa.deb               20-Dec-2006 05:32     17K
proofgeneral-minlog_3.5-4.1_i386.deb               20-Dec-2006 03:47     17K
proofgeneral-minlog_3.5-4.1_mips.deb               21-Dec-2006 05:33     17K
proofgeneral-minlog_3.5-4.1_mipsel.deb             21-Dec-2006 05:33     17K
proofgeneral-minlog_3.5-4.1_powerpc.deb            21-Dec-2006 05:33     17K
proofgeneral-minlog_3.5-4.1_sparc.deb              20-Dec-2006 20:02     17K
proofgeneral-minlog_3.7-3_all.deb                  02-Apr-2008 19:17     19K
proofgeneral-minlog_3.7-4_all.deb                  12-Oct-2010 05:48     20K
proofgeneral-misc_3.5-3_all.deb                    01-May-2005 02:56    146K
proofgeneral-misc_3.5-4.1_all.deb                  20-Dec-2006 03:47    147K
proofgeneral-misc_3.7-3_all.deb                    02-Apr-2008 19:17    138K
proofgeneral-misc_3.7-4_all.deb                    12-Oct-2010 05:48    139K
proofgeneral_3.5-3.diff.gz                         01-May-2005 02:56    8207
proofgeneral_3.5-3.dsc                             20-Aug-2004 22:02     645
proofgeneral_3.5-3_all.deb                         01-May-2005 02:56    408K
proofgeneral_3.5-4.1.diff.gz                       20-Dec-2006 03:47     20K
proofgeneral_3.5-4.1.dsc                           20-Dec-2006 03:47     675
proofgeneral_3.5-4.1_all.deb                       20-Dec-2006 03:47    411K
proofgeneral_3.5.orig.tar.gz                       20-Aug-2004 21:32      2M
proofgeneral_3.7-3.diff.gz                         02-Apr-2008 19:17     21K
proofgeneral_3.7-3.dsc                             02-Apr-2008 19:17     714
proofgeneral_3.7-3_all.deb                         02-Apr-2008 19:17    472K
proofgeneral_3.7-4.diff.gz                         12-Oct-2010 05:48     24K
proofgeneral_3.7-4.dsc                             12-Oct-2010 05:48    1742
proofgeneral_3.7-4_all.deb                         12-Oct-2010 05:48    471K
proofgeneral_3.7.orig.tar.gz                       19-Mar-2008 08:47      2M
proofgeneral_4.2~pre120605-2.debian.tar.gz         06-Dec-2012 20:41     19K
proofgeneral_4.2~pre120605-2.dsc                   06-Dec-2012 20:41    1962
proofgeneral_4.2~pre120605-2_all.deb               06-Dec-2012 20:41    422K
proofgeneral_4.2~pre120605.orig.tar.gz             10-Jun-2012 00:26    996K
proofgeneral_4.3~pre131011-0.2.debian.tar.xz       17-Nov-2014 01:54     19K
proofgeneral_4.3~pre131011-0.2.dsc                 17-Nov-2014 01:54    1975
proofgeneral_4.3~pre131011-0.2_all.deb             17-Nov-2014 01:54    367K
proofgeneral_4.3~pre131011.orig.tar.xz             12-Aug-2014 22:27     11M
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       17-Jan-2017 06:49     19K
proofgeneral_4.4.1~pre170114-1.dsc                 17-Jan-2017 06:49    1989
proofgeneral_4.4.1~pre170114-1_all.deb             17-Jan-2017 06:49    589K
proofgeneral_4.4.1~pre170114.orig.tar.xz           17-Jan-2017 06:49      9M