Index of /pool/universe/p/proofgeneral
Name Last modified Size Description
Parent Directory -
proofgeneral_4.5.ori..> 2023-08-17 20:16 1.1M
proofgeneral_4.5-1_a..> 2023-08-17 20:49 577K
proofgeneral_4.5-1.dsc 2023-08-17 20:16 2.0K
proofgeneral_4.5-1.d..> 2023-08-17 20:16 17K
proofgeneral_4.4.1~p..> 2017-01-17 07:13 8.9M
proofgeneral_4.4.1~p..> 2017-01-17 07:23 530K
proofgeneral_4.4.1~p..> 2017-01-17 07:13 1.9K
proofgeneral_4.4.1~p..> 2017-01-17 07:13 19K
proofgeneral_4.4.1~p..> 2019-12-19 20:28 530K
proofgeneral_4.4.1~p..> 2019-12-19 19:58 1.9K
proofgeneral_4.4.1~p..> 2019-12-19 19:58 19K
proofgeneral_4.3~pre..> 2014-10-25 15:32 11M
proofgeneral_4.3~pre..> 2014-11-17 01:34 356K
proofgeneral_4.3~pre..> 2014-11-17 01:33 1.9K
proofgeneral_4.3~pre..> 2014-11-17 01:33 19K
proofgeneral_4.3~pre..> 2013-05-18 20:33 1.0M
proofgeneral_4.3~pre..> 2014-02-28 14:38 353K
proofgeneral_4.3~pre..> 2014-02-28 14:38 2.0K
proofgeneral_4.3~pre..> 2014-02-28 14:38 19K
proofgeneral-doc_4.5..> 2023-08-17 20:49 667K
proofgeneral-doc_4.4..> 2017-01-17 07:23 656K
proofgeneral-doc_4.4..> 2019-12-19 20:28 655K
proofgeneral-doc_4.3..> 2014-11-17 01:34 665K
proofgeneral-doc_4.3..> 2014-02-28 14:38 642K