Index of /ProofPower/getting/versions/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
![[CMP]](/_autoindex/assets/icons/file.svg){kind=icon} OpenProofPower-2.7.6.tgz | 2005-10-21 08:44 | 2805k |
| OpenProofPower-2.7.7.tgz | 2007-06-16 10:25 | 2857k |
| OpenProofPower-2.7.8.tgz | 2007-11-27 13:23 | 2887k |
| OpenProofPower-2.8.1p2.tgz | 2009-10-11 13:26 | 3108k |
| OpenProofPower-2.9.1w2.tgz | 2011-02-01 15:32 | 2927k |
| OpenProofPower-2.9.1w5.tgz | 2013-01-06 14:24 | 2974k |
| OpenProofPower-2.9.1w8.tgz | 2013-08-04 14:23 | 2979k |
| OpenProofPower-3.1w1.tgz | 2014-04-23 13:17 | 2984k |
| OpenProofPower-3.1w2.tgz | 2014-06-15 14:48 | 4614k |
| OpenProofPower-3.1w3.tgz | 2015-03-14 16:53 | 4667k |
| OpenProofPower-3.1w4.tgz | 2015-03-14 16:54 | 4668k |
| OpenProofPower-3.1w5.tgz | 2015-04-17 15:49 | 4794k |
| OpenProofPower-3.1w6.tgz | 2015-06-26 14:48 | 4810k |
| OpenProofPower-3.1w7.tgz | 2016-03-12 16:43 | 4818k |
| OpenProofPower-3.1w8.tgz | 2017-06-19 11:27 | 4821k |
| OpenProofPower-3.1w9.tgz | 2024-10-08 14:38 | 4969k |
| OpenProofPower-utf8-rda-2025-06-12.tgz | 2025-06-12 21:29 | 9891k |