| name | size | date |
|---|---|---|
| proofgeneral-doc_4.5-3build1_all.deb | 0.62M | 2026-01-27 16:44:39 |
| proofgeneral_4.5-3build1_all.deb | 0.56M | 2026-01-27 16:44:39 |
| proofgeneral_4.5-3_all.deb | 0.56M | 2024-11-27 23:56:37 |
| proofgeneral-doc_4.5-3_all.deb | 0.63M | 2024-11-27 23:56:36 |
| proofgeneral-doc_4.5-1_all.deb | 0.65M | 2023-08-17 17:49:42 |
| proofgeneral_4.5-1_all.deb | 0.56M | 2023-08-17 17:49:42 |
| proofgeneral-doc_4.4.1~pre170114-1.2_all.deb | 0.64M | 2019-12-19 18:28:21 |
| proofgeneral_4.4.1~pre170114-1.2_all.deb | 0.52M | 2019-12-19 18:28:21 |