|
../ |
— |
— |
|
proofgeneral_4.3~pre130510-1.1_all.deb |
353.1 KB |
Feb 28, 2014 |
|
proofgeneral_4.3~pre130510-1.1.debian.tar.xz |
18.7 KB |
Feb 28, 2014 |
|
proofgeneral_4.3~pre130510-1.1.dsc |
2 KB |
Feb 28, 2014 |
|
proofgeneral_4.3~pre130510.orig.tar.gz |
1023.1 KB |
May 18, 2013 |
|
proofgeneral_4.3~pre131011-0.2_all.deb |
355.7 KB |
Nov 16, 2014 |
|
proofgeneral_4.3~pre131011-0.2.debian.tar.xz |
19 KB |
Nov 16, 2014 |
|
proofgeneral_4.3~pre131011-0.2.dsc |
1.9 KB |
Nov 16, 2014 |
|
proofgeneral_4.3~pre131011.orig.tar.xz |
11.1 MB |
Oct 25, 2014 |
|
proofgeneral_4.4.1~pre170114-1_all.deb |
529.9 KB |
Jan 17, 2017 |
|
proofgeneral_4.4.1~pre170114-1.2_all.deb |
529.7 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-1.debian.tar.xz |
19.3 KB |
Jan 17, 2017 |
|
proofgeneral_4.4.1~pre170114-1.dsc |
1.9 KB |
Jan 17, 2017 |
|
proofgeneral_4.4.1~pre170114.orig.tar.xz |
8.9 MB |
Jan 17, 2017 |
|
proofgeneral_4.5-1_all.deb |
576.5 KB |
Aug 17, 2023 |
|
proofgeneral_4.5-1.debian.tar.xz |
16.8 KB |
Aug 17, 2023 |
|
proofgeneral_4.5-1.dsc |
2 KB |
Aug 17, 2023 |
|
proofgeneral_4.5-3_all.deb |
576.4 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-3build1_all.deb |
576 KB |
Jan 27, 2026 |
|
proofgeneral_4.5-3build1.debian.tar.xz |
17.1 KB |
Jan 27, 2026 |
|
proofgeneral_4.5-3build1.dsc |
2.1 KB |
Jan 27, 2026 |
|
proofgeneral_4.5.orig.tar.gz |
1.1 MB |
Aug 17, 2023 |
|
proofgeneral-doc_4.3~pre130510-1.1_all.deb |
642.3 KB |
Feb 28, 2014 |
|
proofgeneral-doc_4.3~pre131011-0.2_all.deb |
664.9 KB |
Nov 16, 2014 |
|
proofgeneral-doc_4.4.1~pre170114-1_all.deb |
655.8 KB |
Jan 17, 2017 |
|
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb |
655.4 KB |
Dec 19, 2019 |
|
proofgeneral-doc_4.5-1_all.deb |
667.2 KB |
Aug 17, 2023 |
|
proofgeneral-doc_4.5-3_all.deb |
646.3 KB |
Nov 27, 2024 |
|
proofgeneral-doc_4.5-3build1_all.deb |
634.3 KB |
Jan 27, 2026 |