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

Icon  Name                                         Last modified      Size  
[PARENTDIR] Parent Directory                                                  -   
[   ] proofgeneral-coq_3.5-3_all.deb               2005-04-30 12:56   43K  
[   ] proofgeneral-coq_3.5-4.1_all.deb             2006-12-19 12:47   44K  
[   ] proofgeneral-coq_3.7-3_all.deb               2008-04-02 05:17   70K  
[   ] proofgeneral-coq_3.7-4_all.deb               2010-10-11 15:48   71K  
[   ] proofgeneral-doc_3.5-3_all.deb               2005-04-30 12:56  118K  
[   ] proofgeneral-doc_3.5-4.1_all.deb             2006-12-19 12:47  119K  
[   ] proofgeneral-doc_3.7-3_all.deb               2008-04-02 05:17   88K  
[   ] proofgeneral-doc_3.7-4_all.deb               2010-10-11 15:48   88K  
[   ] proofgeneral-doc_4.2~pre120605-2_all.deb     2012-12-06 05:41  656K  
[   ] proofgeneral-doc_4.3~pre131011-0.2_all.deb   2014-11-16 10:54  671K  
[   ] proofgeneral-doc_4.4.1~pre170114-1_all.deb   2017-01-16 15:49  666K  
[   ] proofgeneral-minlog_3.5-4.1_alpha.deb        2006-12-20 14:33   17K  
[   ] proofgeneral-minlog_3.5-4.1_amd64.deb        2006-12-19 17:47   17K  
[   ] proofgeneral-minlog_3.5-4.1_hppa.deb         2006-12-19 14:32   17K  
[   ] proofgeneral-minlog_3.5-4.1_i386.deb         2006-12-19 12:47   17K  
[   ] proofgeneral-minlog_3.5-4.1_mips.deb         2006-12-20 14:33   17K  
[   ] proofgeneral-minlog_3.5-4.1_mipsel.deb       2006-12-20 14:33   17K  
[   ] proofgeneral-minlog_3.5-4.1_powerpc.deb      2006-12-20 14:33   17K  
[   ] proofgeneral-minlog_3.5-4.1_sparc.deb        2006-12-20 05:02   17K  
[   ] proofgeneral-minlog_3.7-3_all.deb            2008-04-02 05:17   19K  
[   ] proofgeneral-minlog_3.7-4_all.deb            2010-10-11 15:48   20K  
[   ] proofgeneral-misc_3.5-3_all.deb              2005-04-30 12:56  146K  
[   ] proofgeneral-misc_3.5-4.1_all.deb            2006-12-19 12:47  147K  
[   ] proofgeneral-misc_3.7-3_all.deb              2008-04-02 05:17  138K  
[   ] proofgeneral-misc_3.7-4_all.deb              2010-10-11 15:48  139K  
[   ] proofgeneral_3.5-3.diff.gz                   2005-04-30 12:56  8.0K  
[TXT] proofgeneral_3.5-3.dsc                       2004-08-20 08:02  645   
[   ] proofgeneral_3.5-3_all.deb                   2005-04-30 12:56  408K  
[   ] proofgeneral_3.5-4.1.diff.gz                 2006-12-19 12:47   20K  
[TXT] proofgeneral_3.5-4.1.dsc                     2006-12-19 12:47  675   
[   ] proofgeneral_3.5-4.1_all.deb                 2006-12-19 12:47  411K  
[   ] proofgeneral_3.5.orig.tar.gz                 2004-08-20 07:32  1.7M  
[   ] proofgeneral_3.7-3.diff.gz                   2008-04-02 05:17   21K  
[TXT] proofgeneral_3.7-3.dsc                       2008-04-02 05:17  714   
[   ] proofgeneral_3.7-3_all.deb                   2008-04-02 05:17  472K  
[   ] proofgeneral_3.7-4.diff.gz                   2010-10-11 15:48   24K  
[TXT] proofgeneral_3.7-4.dsc                       2010-10-11 15:48  1.7K  
[   ] proofgeneral_3.7-4_all.deb                   2010-10-11 15:48  471K  
[   ] proofgeneral_3.7.orig.tar.gz                 2008-03-18 18:47  1.9M  
[   ] proofgeneral_4.2~pre120605-2.debian.tar.gz   2012-12-06 05:41   19K  
[TXT] proofgeneral_4.2~pre120605-2.dsc             2012-12-06 05:41  1.9K  
[   ] proofgeneral_4.2~pre120605-2_all.deb         2012-12-06 05:41  422K  
[   ] proofgeneral_4.2~pre120605.orig.tar.gz       2012-06-09 10:26  1.0M  
[   ] proofgeneral_4.3~pre131011-0.2.debian.tar.xz 2014-11-16 10:54   19K  
[TXT] proofgeneral_4.3~pre131011-0.2.dsc           2014-11-16 10:54  1.9K  
[   ] proofgeneral_4.3~pre131011-0.2_all.deb       2014-11-16 10:54  367K  
[   ] proofgeneral_4.3~pre131011.orig.tar.xz       2014-08-12 08:27   11M  
[   ] proofgeneral_4.4.1~pre170114-1.debian.tar.xz 2017-01-16 15:49   19K  
[TXT] proofgeneral_4.4.1~pre170114-1.dsc           2017-01-16 15:49  1.9K  
[   ] proofgeneral_4.4.1~pre170114-1_all.deb       2017-01-16 15:49  589K  
[   ] proofgeneral_4.4.1~pre170114.orig.tar.xz     2017-01-16 15:49  8.9M