| Parent directory/ | - | - |
| proofgeneral_4.4.1~pre170114-1.2_all.deb | 529.7 KiB | Thu, 19 December 2019 07:28:21 PM |
| proofgeneral-doc_4.4.1~pre170114-1.2_all.deb | 655.4 KiB | Thu, 19 December 2019 07:28:21 PM |
| proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz | 19.4 KiB | Thu, 19 December 2019 06:58:18 PM |
| proofgeneral_4.4.1~pre170114-1.2.dsc | 1.9 KiB | Thu, 19 December 2019 06:58:17 PM |
| proofgeneral_4.4.1~pre170114-1_all.deb | 529.9 KiB | Tue, 17 January 2017 06:23:49 AM |
| proofgeneral-doc_4.4.1~pre170114-1_all.deb | 655.8 KiB | Tue, 17 January 2017 06:23:47 AM |
| proofgeneral_4.4.1~pre170114-1.debian.tar.xz | 19.3 KiB | Tue, 17 January 2017 06:13:18 AM |
| proofgeneral_4.4.1~pre170114.orig.tar.xz | 8.9 MiB | Tue, 17 January 2017 06:13:18 AM |
| proofgeneral_4.4.1~pre170114-1.dsc | 1.9 KiB | Tue, 17 January 2017 06:13:18 AM |
| proofgeneral_4.3~pre131011-0.2_all.deb | 355.7 KiB | Sun, 16 November 2014 12:34:02 PM |
| proofgeneral-doc_4.3~pre131011-0.2_all.deb | 664.9 KiB | Sun, 16 November 2014 12:34:01 PM |
| proofgeneral_4.3~pre131011-0.2.dsc | 1.9 KiB | Sun, 16 November 2014 12:33:49 PM |
| proofgeneral_4.3~pre131011-0.2.debian.tar.xz | 19.0 KiB | Sun, 16 November 2014 12:33:49 PM |
| proofgeneral_4.3~pre131011.orig.tar.xz | 11.1 MiB | Sat, 25 October 2014 01:32:18 PM |