|
../ |
— |
— |
|
proofgeneral_4.4.1~pre170114-1.2_all.deb |
588.9 KB |
Dec 19, 2019 |
|
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz |
19.4 KB |
Dec 19, 2019 |
|
proofgeneral_4.4.1~pre170114-1.2.dsc |
1.9 KB |
Dec 19, 2019 |
|
proofgeneral_4.4.1~pre170114.orig.tar.xz |
8.9 MB |
Jan 16, 2017 |
|
proofgeneral_4.5-3_all.deb |
625.6 KB |
Nov 27, 2024 |
|
proofgeneral_4.5-3.debian.tar.xz |
17 KB |
Nov 27, 2024 |
|
proofgeneral_4.5-3.dsc |
2.1 KB |
Nov 27, 2024 |
|
proofgeneral_4.5.orig.tar.gz |
1.1 MB |
Aug 17, 2023 |
|
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb |
665.8 KB |
Dec 19, 2019 |
|
proofgeneral-doc_4.5-3_all.deb |
660.1 KB |
Nov 27, 2024 |