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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]proofgeneral_3.5.orig.tar.gz2004-08-20 12:32 1.7M 
[TXT]proofgeneral_3.5-3.dsc2004-08-20 13:02 645  
[   ]proofgeneral-coq_3.5-3_all.deb2005-04-30 17:56 43K 
[   ]proofgeneral-doc_3.5-3_all.deb2005-04-30 17:56 118K 
[   ]proofgeneral-misc_3.5-3_all.deb2005-04-30 17:56 146K 
[   ]proofgeneral_3.5-3.diff.gz2005-04-30 17:56 8.0K 
[   ]proofgeneral_3.5-3_all.deb2005-04-30 17:56 408K 
[   ]proofgeneral-coq_3.5-4.1_all.deb2006-12-19 18:47 44K 
[   ]proofgeneral-doc_3.5-4.1_all.deb2006-12-19 18:47 119K 
[   ]proofgeneral-minlog_3.5-4.1_i386.deb2006-12-19 18:47 17K 
[   ]proofgeneral-misc_3.5-4.1_all.deb2006-12-19 18:47 147K 
[   ]proofgeneral_3.5-4.1.diff.gz2006-12-19 18:47 20K 
[TXT]proofgeneral_3.5-4.1.dsc2006-12-19 18:47 675  
[   ]proofgeneral_3.5-4.1_all.deb2006-12-19 18:47 411K 
[   ]proofgeneral-minlog_3.5-4.1_hppa.deb2006-12-19 20:32 17K 
[   ]proofgeneral-minlog_3.5-4.1_amd64.deb2006-12-19 23:47 17K 
[   ]proofgeneral-minlog_3.5-4.1_sparc.deb2006-12-20 11:02 17K 
[   ]proofgeneral-minlog_3.5-4.1_alpha.deb2006-12-20 20:33 17K 
[   ]proofgeneral-minlog_3.5-4.1_mips.deb2006-12-20 20:33 17K 
[   ]proofgeneral-minlog_3.5-4.1_mipsel.deb2006-12-20 20:33 17K 
[   ]proofgeneral-minlog_3.5-4.1_powerpc.deb2006-12-20 20:33 17K 
[   ]proofgeneral_3.7.orig.tar.gz2008-03-18 23:47 1.9M 
[   ]proofgeneral-coq_3.7-3_all.deb2008-04-02 10:17 70K 
[   ]proofgeneral-doc_3.7-3_all.deb2008-04-02 10:17 88K 
[   ]proofgeneral-minlog_3.7-3_all.deb2008-04-02 10:17 19K 
[   ]proofgeneral-misc_3.7-3_all.deb2008-04-02 10:17 138K 
[   ]proofgeneral_3.7-3.diff.gz2008-04-02 10:17 21K 
[TXT]proofgeneral_3.7-3.dsc2008-04-02 10:17 714  
[   ]proofgeneral_3.7-3_all.deb2008-04-02 10:17 472K 
[   ]proofgeneral-coq_3.7-4_all.deb2010-10-11 20:48 71K 
[   ]proofgeneral-doc_3.7-4_all.deb2010-10-11 20:48 88K 
[   ]proofgeneral-minlog_3.7-4_all.deb2010-10-11 20:48 20K 
[   ]proofgeneral-misc_3.7-4_all.deb2010-10-11 20:48 139K 
[   ]proofgeneral_3.7-4.diff.gz2010-10-11 20:48 24K 
[TXT]proofgeneral_3.7-4.dsc2010-10-11 20:48 1.7K 
[   ]proofgeneral_3.7-4_all.deb2010-10-11 20:48 471K 
[   ]proofgeneral_4.2~pre120605.orig.tar.gz2012-06-09 15:26 1.0M 
[   ]proofgeneral-doc_4.2~pre120605-2_all.deb2012-12-06 11:41 656K 
[   ]proofgeneral_4.2~pre120605-2.debian.tar.gz2012-12-06 11:41 19K 
[TXT]proofgeneral_4.2~pre120605-2.dsc2012-12-06 11:41 1.9K 
[   ]proofgeneral_4.2~pre120605-2_all.deb2012-12-06 11:41 422K 
[   ]proofgeneral_4.3~pre131011.orig.tar.xz2014-08-12 13:27 11M 
[   ]proofgeneral_4.3~pre131011-0.2.debian.tar.xz2014-11-16 16:54 19K 
[TXT]proofgeneral_4.3~pre131011-0.2.dsc2014-11-16 16:54 1.9K 
[   ]proofgeneral_4.3~pre131011-0.2_all.deb2014-11-16 16:54 367K 
[   ]proofgeneral-doc_4.3~pre131011-0.2_all.deb2014-11-16 16:54 671K 
[TXT]proofgeneral_4.4.1~pre170114-1.dsc2017-01-16 21:49 1.9K 
[   ]proofgeneral-doc_4.4.1~pre170114-1_all.deb2017-01-16 21:49 666K 
[   ]proofgeneral_4.4.1~pre170114-1.debian.tar.xz2017-01-16 21:49 19K 
[   ]proofgeneral_4.4.1~pre170114-1_all.deb2017-01-16 21:49 589K 
[   ]proofgeneral_4.4.1~pre170114.orig.tar.xz2017-01-16 21:49 8.9M