Index of /pub/ubuntu-archive/ubuntu/pool/universe/p/proofgeneral

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]proofgeneral-coq_3.4-14_all.deb2004-07-28 21:10 22K 
[ ]proofgeneral-coq_3.5-3_all.deb2004-10-26 20:55 43K 
[ ]proofgeneral-coq_3.5-4.1_all.deb2006-12-20 15:04 44K 
[ ]proofgeneral-coq_3.5-6_all.deb2007-10-29 05:03 44K 
[ ]proofgeneral-coq_3.7-3.1_all.deb2009-11-07 14:04 71K 
[ ]proofgeneral-coq_3.7-3build1_all.deb2008-08-06 15:13 70K 
[ ]proofgeneral-coq_3.7-4_all.deb2010-10-17 11:05 71K 
[ ]proofgeneral-doc_3.4-14_all.deb2004-07-28 21:10 109K 
[ ]proofgeneral-doc_3.5-3_all.deb2004-10-26 20:55 118K 
[ ]proofgeneral-doc_3.5-4.1_all.deb2006-12-20 15:04 119K 
[ ]proofgeneral-doc_3.5-6_all.deb2007-10-29 05:03 119K 
[ ]proofgeneral-doc_3.7-3.1_all.deb2009-11-07 14:04 88K 
[ ]proofgeneral-doc_3.7-3build1_all.deb2008-08-06 15:13 88K 
[ ]proofgeneral-doc_3.7-4_all.deb2010-10-17 11:05 88K 
[ ]proofgeneral-doc_4.2~pre120605-1_all.deb2012-06-10 13:34 650K 
[ ]proofgeneral-doc_4.2~pre120605-2_all.deb2012-12-06 12:33 651K 
[ ]proofgeneral-doc_4.3~pre130510-1.1_all.deb2014-02-28 07:38 642K 
[ ]proofgeneral-doc_4.3~pre130510-1_all.deb2013-05-18 14:03 660K 
[ ]proofgeneral-doc_4.3~pre131011-0.2_all.deb2014-11-16 18:34 665K 
[ ]proofgeneral-doc_4.4.1~pre170114-1_all.deb2017-01-17 00:23 656K 
[ ]proofgeneral-minlog_3.5-4.1_amd64.deb2006-12-20 15:04 17K 
[ ]proofgeneral-minlog_3.5-4.1_i386.deb2006-12-20 15:04 17K 
[ ]proofgeneral-minlog_3.5-4.1_powerpc.deb2006-12-20 15:04 17K 
[ ]proofgeneral-minlog_3.5-4.1_sparc.deb2006-12-20 15:04 17K 
[ ]proofgeneral-minlog_3.5-6_all.deb2007-10-29 05:03 16K 
[ ]proofgeneral-minlog_3.7-3.1_all.deb2009-11-07 14:04 20K 
[ ]proofgeneral-minlog_3.7-3build1_all.deb2008-08-06 15:13 19K 
[ ]proofgeneral-minlog_3.7-4_all.deb2010-10-17 11:05 20K 
[ ]proofgeneral-misc_3.4-14_all.deb2004-07-28 21:10 119K 
[ ]proofgeneral-misc_3.5-3_all.deb2004-10-26 20:55 146K 
[ ]proofgeneral-misc_3.5-4.1_all.deb2006-12-20 15:04 147K 
[ ]proofgeneral-misc_3.5-6_all.deb2007-10-29 05:03 147K 
[ ]proofgeneral-misc_3.7-3.1_all.deb2009-11-07 14:04 139K 
[ ]proofgeneral-misc_3.7-3build1_all.deb2008-08-06 15:13 138K 
[ ]proofgeneral-misc_3.7-4_all.deb2010-10-17 11:05 139K 
[ ]proofgeneral_3.4-14.diff.gz2004-07-26 19:36 7.4K 
[TXT]proofgeneral_3.4-14.dsc2004-07-26 19:36 641  
[ ]proofgeneral_3.4-14_all.deb2004-07-28 21:10 397K 
[ ]proofgeneral_3.4.orig.tar.gz2004-07-26 19:36 741K 
[ ]proofgeneral_3.5-3.diff.gz2004-10-25 17:16 8.0K 
[TXT]proofgeneral_3.5-3.dsc2004-10-25 17:16 645  
[ ]proofgeneral_3.5-3_all.deb2004-10-26 20:55 408K 
[ ]proofgeneral_3.5-4.1.diff.gz2006-12-20 09:04 20K 
[TXT]proofgeneral_3.5-4.1.dsc2006-12-20 09:04 675  
[ ]proofgeneral_3.5-4.1_all.deb2006-12-20 15:04 411K 
[ ]proofgeneral_3.5-6.diff.gz2007-10-23 20:04 17K 
[TXT]proofgeneral_3.5-6.dsc2007-10-23 20:04 671  
[ ]proofgeneral_3.5-6_all.deb2007-10-29 05:03 409K 
[ ]proofgeneral_3.5.orig.tar.gz2004-10-25 17:16 1.7M 
[ ]proofgeneral_3.7-3.1.diff.gz2009-11-06 05:04 23K 
[TXT]proofgeneral_3.7-3.1.dsc2009-11-06 05:04 1.1K 
[ ]proofgeneral_3.7-3.1_all.deb2009-11-07 14:04 473K 
[ ]proofgeneral_3.7-3build1.diff.gz2008-08-06 15:13 21K 
[TXT]proofgeneral_3.7-3build1.dsc2008-08-06 15:13 1.1K 
[ ]proofgeneral_3.7-3build1_all.deb2008-08-06 15:13 472K 
[ ]proofgeneral_3.7-4.diff.gz2010-10-15 10:09 24K 
[TXT]proofgeneral_3.7-4.dsc2010-10-15 10:09 1.7K 
[ ]proofgeneral_3.7-4_all.deb2010-10-17 11:05 474K 
[ ]proofgeneral_3.7.orig.tar.gz2008-05-03 00:19 1.9M 
[ ]proofgeneral_4.2~pre120605-1.debian.tar.gz2012-06-10 13:04 19K 
[TXT]proofgeneral_4.2~pre120605-1.dsc2012-06-10 13:04 1.9K 
[ ]proofgeneral_4.2~pre120605-1_all.deb2012-06-10 13:34 420K 
[ ]proofgeneral_4.2~pre120605-2.debian.tar.gz2012-12-06 12:33 19K 
[TXT]proofgeneral_4.2~pre120605-2.dsc2012-12-06 12:33 1.9K 
[ ]proofgeneral_4.2~pre120605-2_all.deb2012-12-06 12:33 422K 
[ ]proofgeneral_4.2~pre120605.orig.tar.gz2012-06-10 13:04 1.0M 
[ ]proofgeneral_4.3~pre130510-1.1.debian.tar.xz2014-02-28 07:38 19K 
[TXT]proofgeneral_4.3~pre130510-1.1.dsc2014-02-28 07:38 2.0K 
[ ]proofgeneral_4.3~pre130510-1.1_all.deb2014-02-28 07:38 353K 
[ ]proofgeneral_4.3~pre130510-1.debian.tar.gz2013-05-18 13:33 20K 
[TXT]proofgeneral_4.3~pre130510-1.dsc2013-05-18 13:33 2.0K 
[ ]proofgeneral_4.3~pre130510-1_all.deb2013-05-18 14:03 449K 
[ ]proofgeneral_4.3~pre130510.orig.tar.gz2013-05-18 13:33 1.0M 
[ ]proofgeneral_4.3~pre131011-0.2.debian.tar.xz2014-11-16 18:33 19K 
[TXT]proofgeneral_4.3~pre131011-0.2.dsc2014-11-16 18:33 1.9K 
[ ]proofgeneral_4.3~pre131011-0.2_all.deb2014-11-16 18:34 356K 
[ ]proofgeneral_4.3~pre131011.orig.tar.xz2014-10-25 08:32 11M 
[ ]proofgeneral_4.4.1~pre170114-1.debian.tar.xz2017-01-17 00:13 19K 
[TXT]proofgeneral_4.4.1~pre170114-1.dsc2017-01-17 00:13 1.9K 
[ ]proofgeneral_4.4.1~pre170114-1_all.deb2017-01-17 00:23 530K 
[ ]proofgeneral_4.4.1~pre170114.orig.tar.xz2017-01-17 00:13 8.9M