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

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