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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]proofgeneral-coq_3.7..>2009-11-08 03:04 71K 
[ ]proofgeneral-coq_3.7..>2010-10-17 23:05 71K 
[ ]proofgeneral-doc_3.7..>2009-11-08 03:04 88K 
[ ]proofgeneral-doc_3.7..>2010-10-17 23:05 88K 
[ ]proofgeneral-doc_4.2..>2012-06-11 01:34 650K 
[ ]proofgeneral-doc_4.2..>2012-12-07 01:33 651K 
[ ]proofgeneral-doc_4.3..>2014-02-28 20:38 642K 
[ ]proofgeneral-doc_4.3..>2013-05-19 02:03 660K 
[ ]proofgeneral-doc_4.3..>2014-10-26 16:17 665K 
[ ]proofgeneral-doc_4.3..>2014-11-17 07:34 665K 
[ ]proofgeneral-doc_4.4..>2017-01-01 07:18 656K 
[ ]proofgeneral-doc_4.4..>2019-07-26 01:28 655K 
[ ]proofgeneral-doc_4.4..>2019-10-02 05:53 655K 
[ ]proofgeneral-doc_4.4..>2019-07-25 21:01 655K 
[ ]proofgeneral-doc_4.4..>2019-12-20 02:28 655K 
[ ]proofgeneral-doc_4.4..>2017-01-17 13:23 656K 
[ ]proofgeneral-doc_4.5..>2023-08-18 01:49 667K 
[ ]proofgeneral-minlog_..>2009-11-08 03:04 20K 
[ ]proofgeneral-minlog_..>2010-10-17 23:05 20K 
[ ]proofgeneral-misc_3...>2009-11-08 03:04 139K 
[ ]proofgeneral-misc_3...>2010-10-17 23:05 139K 
[ ]proofgeneral_3.7-3.1..>2009-11-06 18:04 23K 
[TXT]proofgeneral_3.7-3.1..>2009-11-06 18:04 1.1K 
[ ]proofgeneral_3.7-3.1..>2009-11-08 03:04 473K 
[ ]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 
[ ]proofgeneral_3.7.ori..>2008-05-03 12:19 1.9M 
[ ]proofgeneral_4.2~pre..>2012-06-11 01:04 19K 
[TXT]proofgeneral_4.2~pre..>2012-06-11 01:04 1.9K 
[ ]proofgeneral_4.2~pre..>2012-06-11 01:34 420K 
[ ]proofgeneral_4.2~pre..>2012-12-07 01:33 19K 
[TXT]proofgeneral_4.2~pre..>2012-12-07 01:33 1.9K 
[ ]proofgeneral_4.2~pre..>2012-12-07 01:33 422K 
[ ]proofgeneral_4.2~pre..>2012-06-11 01:04 1.0M 
[ ]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 
[ ]proofgeneral_4.3~pre..>2013-05-19 01:33 20K 
[TXT]proofgeneral_4.3~pre..>2013-05-19 01:33 2.0K 
[ ]proofgeneral_4.3~pre..>2013-05-19 02:03 449K 
[ ]proofgeneral_4.3~pre..>2013-05-19 01:33 1.0M 
[ ]proofgeneral_4.3~pre..>2014-10-25 20:32 19K 
[TXT]proofgeneral_4.3~pre..>2014-10-25 20:32 2.0K 
[ ]proofgeneral_4.3~pre..>2014-10-26 16:17 355K 
[ ]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-01 07:13 19K 
[TXT]proofgeneral_4.4.1~p..>2017-01-01 07:13 2.0K 
[ ]proofgeneral_4.4.1~p..>2017-01-01 07:18 527K 
[ ]proofgeneral_4.4.1~p..>2017-01-01 07:13 11M 
[ ]proofgeneral_4.4.1~p..>2019-07-26 01:18 19K 
[TXT]proofgeneral_4.4.1~p..>2019-07-26 01:18 1.9K 
[ ]proofgeneral_4.4.1~p..>2019-07-26 01:28 530K 
[ ]proofgeneral_4.4.1~p..>2019-10-02 05:53 19K 
[TXT]proofgeneral_4.4.1~p..>2019-10-02 05:53 2.1K 
[ ]proofgeneral_4.4.1~p..>2019-10-02 05:53 530K 
[ ]proofgeneral_4.4.1~p..>2019-07-25 16:23 19K 
[TXT]proofgeneral_4.4.1~p..>2019-07-25 16:23 2.0K 
[ ]proofgeneral_4.4.1~p..>2019-07-25 21:01 530K 
[ ]proofgeneral_4.4.1~p..>2019-12-20 01:58 19K 
[TXT]proofgeneral_4.4.1~p..>2019-12-20 01:58 1.9K 
[ ]proofgeneral_4.4.1~p..>2019-12-20 02:28 530K 
[ ]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 
[ ]proofgeneral_4.5-1.d..>2023-08-18 01:16 17K 
[TXT]proofgeneral_4.5-1.dsc 2023-08-18 01:16 2.0K 
[ ]proofgeneral_4.5-1_a..>2023-08-18 01:49 577K 
[ ]proofgeneral_4.5.ori..>2023-08-18 01:16 1.1M