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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 proofgeneral-coq_3.5..> 30-Apr-2005 17:56   43K  
 proofgeneral-coq_3.5..> 19-Dec-2006 18:47   44K  
 proofgeneral-coq_3.7..> 02-Apr-2008 10:17   70K  
 proofgeneral-coq_3.7..> 11-Oct-2010 20:48   71K  
 proofgeneral-doc_3.5..> 30-Apr-2005 17:56  118K  
 proofgeneral-doc_3.5..> 19-Dec-2006 18:47  119K  
 proofgeneral-doc_3.7..> 02-Apr-2008 10:17   88K  
 proofgeneral-doc_3.7..> 11-Oct-2010 20:48   88K  
 proofgeneral-doc_4.2..> 06-Dec-2012 11:41  656K  
 proofgeneral-doc_4.3..> 16-Nov-2014 16:54  671K  
 proofgeneral-minlog_..> 20-Dec-2006 20:33   17K  
 proofgeneral-minlog_..> 19-Dec-2006 23:47   17K  
 proofgeneral-minlog_..> 19-Dec-2006 20:32   17K  
 proofgeneral-minlog_..> 19-Dec-2006 18:47   17K  
 proofgeneral-minlog_..> 20-Dec-2006 20:33   17K  
 proofgeneral-minlog_..> 20-Dec-2006 20:33   17K  
 proofgeneral-minlog_..> 20-Dec-2006 20:33   17K  
 proofgeneral-minlog_..> 20-Dec-2006 11:02   17K  
 proofgeneral-minlog_..> 02-Apr-2008 10:17   19K  
 proofgeneral-minlog_..> 11-Oct-2010 20:48   20K  
 proofgeneral-misc_3...> 30-Apr-2005 17:56  146K  
 proofgeneral-misc_3...> 19-Dec-2006 18:47  147K  
 proofgeneral-misc_3...> 02-Apr-2008 10:17  138K  
 proofgeneral-misc_3...> 11-Oct-2010 20:48  139K  
 proofgeneral_3.5-3.d..> 30-Apr-2005 17:56  8.0K  
 proofgeneral_3.5-3.dsc  20-Aug-2004 13:02  645   
 proofgeneral_3.5-3_a..> 30-Apr-2005 17:56  408K  
 proofgeneral_3.5-4.1..> 19-Dec-2006 18:47   20K  
 proofgeneral_3.5-4.1..> 19-Dec-2006 18:47  675   
 proofgeneral_3.5-4.1..> 19-Dec-2006 18:47  411K  
 proofgeneral_3.5.ori..> 20-Aug-2004 12:32  1.7M  
 proofgeneral_3.7-3.d..> 02-Apr-2008 10:17   21K  
 proofgeneral_3.7-3.dsc  02-Apr-2008 10:17  714   
 proofgeneral_3.7-3_a..> 02-Apr-2008 10:17  472K  
 proofgeneral_3.7-4.d..> 11-Oct-2010 20:48   24K  
 proofgeneral_3.7-4.dsc  11-Oct-2010 20:48  1.7K  
 proofgeneral_3.7-4_a..> 11-Oct-2010 20:48  471K  
 proofgeneral_3.7.ori..> 18-Mar-2008 23:47  1.9M  
 proofgeneral_4.2~pre..> 06-Dec-2012 11:41   19K  
 proofgeneral_4.2~pre..> 06-Dec-2012 11:41  1.9K  
 proofgeneral_4.2~pre..> 06-Dec-2012 11:41  422K  
 proofgeneral_4.2~pre..> 09-Jun-2012 15:26  1.0M  
 proofgeneral_4.3~pre..> 16-Nov-2014 16:54   19K  
 proofgeneral_4.3~pre..> 16-Nov-2014 16:54  1.9K  
 proofgeneral_4.3~pre..> 16-Nov-2014 16:54  367K  
 proofgeneral_4.3~pre..> 12-Aug-2014 13:27   11M