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

../
proofgeneral-coq_3.5-3_all.deb                     30-Apr-2005 19:56               44040
proofgeneral-coq_3.5-4.1_all.deb                   19-Dec-2006 20:47               44672
proofgeneral-coq_3.7-3_all.deb                     02-Apr-2008 12:17               71722
proofgeneral-coq_3.7-4_all.deb                     11-Oct-2010 22:48               72482
proofgeneral-doc_3.5-3_all.deb                     30-Apr-2005 19:56              120940
proofgeneral-doc_3.5-4.1_all.deb                   19-Dec-2006 20:47              121478
proofgeneral-doc_3.7-3_all.deb                     02-Apr-2008 12:17               90102
proofgeneral-doc_3.7-4_all.deb                     11-Oct-2010 22:48               90200
proofgeneral-doc_4.2~pre120605-2_all.deb           06-Dec-2012 13:41              671274
proofgeneral-doc_4.3~pre131011-0.2_all.deb         16-Nov-2014 18:54              687198
proofgeneral-doc_4.4.1~pre170114-1_all.deb         16-Jan-2017 23:49              682170
proofgeneral-minlog_3.5-4.1_alpha.deb              20-Dec-2006 22:33               17104
proofgeneral-minlog_3.5-4.1_amd64.deb              20-Dec-2006 01:47               17004
proofgeneral-minlog_3.5-4.1_hppa.deb               19-Dec-2006 22:32               17202
proofgeneral-minlog_3.5-4.1_i386.deb               19-Dec-2006 20:47               16996
proofgeneral-minlog_3.5-4.1_mips.deb               20-Dec-2006 22:33               17088
proofgeneral-minlog_3.5-4.1_mipsel.deb             20-Dec-2006 22:33               17088
proofgeneral-minlog_3.5-4.1_powerpc.deb            20-Dec-2006 22:33               16980
proofgeneral-minlog_3.5-4.1_sparc.deb              20-Dec-2006 13:02               16922
proofgeneral-minlog_3.7-3_all.deb                  02-Apr-2008 12:17               19598
proofgeneral-minlog_3.7-4_all.deb                  11-Oct-2010 22:48               20122
proofgeneral-misc_3.5-3_all.deb                    30-Apr-2005 19:56              149776
proofgeneral-misc_3.5-4.1_all.deb                  19-Dec-2006 20:47              150294
proofgeneral-misc_3.7-3_all.deb                    02-Apr-2008 12:17              141588
proofgeneral-misc_3.7-4_all.deb                    11-Oct-2010 22:48              142188
proofgeneral_3.5-3.diff.gz                         30-Apr-2005 19:56                8207
proofgeneral_3.5-3.dsc                             20-Aug-2004 15:02                 645
proofgeneral_3.5-3_all.deb                         30-Apr-2005 19:56              417866
proofgeneral_3.5-4.1.diff.gz                       19-Dec-2006 20:47               20067
proofgeneral_3.5-4.1.dsc                           19-Dec-2006 20:47                 675
proofgeneral_3.5-4.1_all.deb                       19-Dec-2006 20:47              421216
proofgeneral_3.5.orig.tar.gz                       20-Aug-2004 14:32             1775841
proofgeneral_3.7-3.diff.gz                         02-Apr-2008 12:17               21422
proofgeneral_3.7-3.dsc                             02-Apr-2008 12:17                 714
proofgeneral_3.7-3_all.deb                         02-Apr-2008 12:17              483224
proofgeneral_3.7-4.diff.gz                         11-Oct-2010 22:48               24613
proofgeneral_3.7-4.dsc                             11-Oct-2010 22:48                1742
proofgeneral_3.7-4_all.deb                         11-Oct-2010 22:48              482392
proofgeneral_3.7.orig.tar.gz                       19-Mar-2008 01:47             1982146
proofgeneral_4.2~pre120605-2.debian.tar.gz         06-Dec-2012 13:41               19826
proofgeneral_4.2~pre120605-2.dsc                   06-Dec-2012 13:41                1962
proofgeneral_4.2~pre120605-2_all.deb               06-Dec-2012 13:41              432172
proofgeneral_4.2~pre120605.orig.tar.gz             09-Jun-2012 17:26             1020306
proofgeneral_4.3~pre131011-0.2.debian.tar.xz       16-Nov-2014 18:54               19412
proofgeneral_4.3~pre131011-0.2.dsc                 16-Nov-2014 18:54                1975
proofgeneral_4.3~pre131011-0.2_all.deb             16-Nov-2014 18:54              375316
proofgeneral_4.3~pre131011.orig.tar.xz             12-Aug-2014 15:27            11592524
proofgeneral_4.4.1~pre170114-1.debian.tar.xz       16-Jan-2017 23:49               19736
proofgeneral_4.4.1~pre170114-1.dsc                 16-Jan-2017 23:49                1989
proofgeneral_4.4.1~pre170114-1_all.deb             16-Jan-2017 23:49              603216
proofgeneral_4.4.1~pre170114.orig.tar.xz           16-Jan-2017 23:49             9299752