Index of /ubuntu/pool/universe/p/proofgeneral

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]proofgeneral-coq_3.7..>2010-10-17 23:05 71K 
[ ]proofgeneral-doc_3.7..>2010-10-17 23:05 88K 
[ ]proofgeneral-doc_4.3..>2014-02-28 20:38 642K 
[ ]proofgeneral-doc_4.3..>2014-11-17 07:34 665K 
[ ]proofgeneral-doc_4.4..>2017-01-17 13:23 656K 
[ ]proofgeneral-minlog_..>2010-10-17 23:05 20K 
[ ]proofgeneral-misc_3...>2010-10-17 23:05 139K 
[CMP]proofgeneral_3.7-4.d..>2010-10-15 22:09 24K 
[TXT]proofgeneral_3.7-4.dsc 2010-10-15 22:09 1.7K 
[ ]proofgeneral_3.7-4_a..>2010-10-17 23:05 474K 
[CMP]proofgeneral_3.7.ori..>2008-05-03 12:19 1.9M 
[ ]proofgeneral_4.3~pre..>2014-02-28 20:38 19K 
[TXT]proofgeneral_4.3~pre..>2014-02-28 20:38 2.0K 
[ ]proofgeneral_4.3~pre..>2014-02-28 20:38 353K 
[CMP]proofgeneral_4.3~pre..>2013-05-19 01:33 1.0M 
[ ]proofgeneral_4.3~pre..>2014-11-17 07:33 19K 
[TXT]proofgeneral_4.3~pre..>2014-11-17 07:33 1.9K 
[ ]proofgeneral_4.3~pre..>2014-11-17 07:34 356K 
[ ]proofgeneral_4.3~pre..>2014-10-25 20:32 11M 
[ ]proofgeneral_4.4.1~p..>2017-01-17 13:13 19K 
[TXT]proofgeneral_4.4.1~p..>2017-01-17 13:13 1.9K 
[ ]proofgeneral_4.4.1~p..>2017-01-17 13:23 530K 
[ ]proofgeneral_4.4.1~p..>2017-01-17 13:13 8.9M