| ⬆️Parent directory | — | — |
| 📦proofgeneral-doc_4.4.1~pre170114-1.2_all.deb | 666K | Thu Dec 19 2019 |
| 📦proofgeneral-doc_4.5-3_all.deb | 661K | Thu Nov 28 2024 |
| 📦proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz | 19.5K | Thu Dec 19 2019 |
| 📄proofgeneral_4.4.1~pre170114-1.2.dsc | 1.94K | Thu Dec 19 2019 |
| 📦proofgeneral_4.4.1~pre170114-1.2_all.deb | 589K | Thu Dec 19 2019 |
| 📦proofgeneral_4.4.1~pre170114.orig.tar.xz | 8.87M | Tue Jan 17 2017 |
| 📦proofgeneral_4.5-3.debian.tar.xz | 17.1K | Thu Nov 28 2024 |
| 📄proofgeneral_4.5-3.dsc | 2.08K | Thu Nov 28 2024 |
| 📦proofgeneral_4.5-3_all.deb | 626K | Thu Nov 28 2024 |
| 📦proofgeneral_4.5.orig.tar.gz | 1.15M | Thu Aug 17 2023 |