| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| proofgeneral_4.5-3_all.deb | 590214 | 2024-Nov-27 23:56 |
| proofgeneral_4.5-1_all.deb | 590368 | 2023-Aug-17 17:49 |
| proofgeneral_4.4.1~pre170114-1_all.deb | 542604 | 2017-Jan-17 05:23 |
| proofgeneral_4.4.1~pre170114-1.2_all.deb | 542408 | 2019-Dec-19 18:28 |
| proofgeneral_4.3~pre131011-0.2_all.deb | 364274 | 2014-Nov-16 23:34 |
| proofgeneral_4.3~pre130510-1.1_all.deb | 361556 | 2014-Feb-28 12:38 |
| proofgeneral-doc_4.5-3_all.deb | 661798 | 2024-Nov-27 23:56 |
| proofgeneral-doc_4.5-1_all.deb | 683198 | 2023-Aug-17 17:49 |
| proofgeneral-doc_4.4.1~pre170114-1_all.deb | 671518 | 2017-Jan-17 05:23 |
| proofgeneral-doc_4.4.1~pre170114-1.2_all.deb | 671136 | 2019-Dec-19 18:28 |
| proofgeneral-doc_4.3~pre131011-0.2_all.deb | 680856 | 2014-Nov-16 23:34 |
| proofgeneral-doc_4.3~pre130510-1.1_all.deb | 657740 | 2014-Feb-28 12:38 |