| name | size | date |
|---|---|---|
| proofgeneral-doc_4.5-1_all.deb | 0.65M | 2024-11-15 07:08:26 |
| proofgeneral_4.5-1_all.deb | 0.56M | 2024-11-15 07:08:26 |
| proofgeneral-doc_4.4.1~pre170114-1.2_all.deb | 0.64M | 2022-02-24 23:41:24 |
| proofgeneral_4.4.1~pre170114-1.2_all.deb | 0.52M | 2022-02-24 23:41:24 |
| proofgeneral-coq_3.7-3build1_all.deb | 70.1K | 2022-01-19 10:52:41 |
| proofgeneral-doc_3.7-3build1_all.deb | 88.1K | 2022-01-19 10:52:41 |
| proofgeneral-minlog_3.7-3build1_all.deb | 19.3K | 2022-01-19 10:52:41 |
| proofgeneral-misc_3.7-3build1_all.deb | 138.4K | 2022-01-19 10:52:41 |
| proofgeneral_3.7-3build1_all.deb | 472.0K | 2022-01-19 10:52:41 |