| proofgeneral-doc_4.3~pre130510-1.1_all.deb | 642.32 KB | 02/28/2014, 12:38:50 |
| proofgeneral-doc_4.3~pre131011-0.2_all.deb | 664.90 KB | 11/16/2014, 23:34:01 |
| proofgeneral-doc_4.4.1~pre170114-1.2_all.deb | 655.41 KB | 12/19/2019, 18:28:21 |
| proofgeneral-doc_4.4.1~pre170114-1_all.deb | 655.78 KB | 01/17/2017, 05:23:47 |
| proofgeneral-doc_4.5-1_all.deb | 667.19 KB | 08/17/2023, 17:49:42 |
| proofgeneral-doc_4.5-3_all.deb | 646.29 KB | 11/27/2024, 23:56:36 |
| proofgeneral_4.3~pre130510-1.1.debian.tar.xz | 18.66 KB | 02/28/2014, 12:38:42 |
| proofgeneral_4.3~pre130510-1.1.dsc | 1.97 KB | 02/28/2014, 12:38:42 |
| proofgeneral_4.3~pre130510-1.1_all.deb | 353.08 KB | 02/28/2014, 12:38:50 |
| proofgeneral_4.3~pre130510.orig.tar.gz | 1,023.10 KB | 05/18/2013, 17:33:35 |
| proofgeneral_4.3~pre131011-0.2.debian.tar.xz | 18.96 KB | 11/16/2014, 23:33:49 |
| proofgeneral_4.3~pre131011-0.2.dsc | 1.93 KB | 11/16/2014, 23:33:49 |
| proofgeneral_4.3~pre131011-0.2_all.deb | 355.74 KB | 11/16/2014, 23:34:02 |
| proofgeneral_4.3~pre131011.orig.tar.xz | 11.06 MB | 10/25/2014, 12:32:18 |
| proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz | 19.44 KB | 12/19/2019, 17:58:18 |
| proofgeneral_4.4.1~pre170114-1.2.dsc | 1.94 KB | 12/19/2019, 17:58:17 |
| proofgeneral_4.4.1~pre170114-1.2_all.deb | 529.70 KB | 12/19/2019, 18:28:21 |
| proofgeneral_4.4.1~pre170114-1.debian.tar.xz | 19.27 KB | 01/17/2017, 05:13:18 |
| proofgeneral_4.4.1~pre170114-1.dsc | 1.94 KB | 01/17/2017, 05:13:18 |
| proofgeneral_4.4.1~pre170114-1_all.deb | 529.89 KB | 01/17/2017, 05:23:49 |
| proofgeneral_4.4.1~pre170114.orig.tar.xz | 8.87 MB | 01/17/2017, 05:13:18 |
| proofgeneral_4.5-1.debian.tar.xz | 16.79 KB | 08/17/2023, 17:16:06 |
| proofgeneral_4.5-1.dsc | 1.95 KB | 08/17/2023, 17:16:06 |
| proofgeneral_4.5-1_all.deb | 576.53 KB | 08/17/2023, 17:49:42 |
| proofgeneral_4.5-3.debian.tar.xz | 17.02 KB | 11/27/2024, 23:56:30 |
| proofgeneral_4.5-3.dsc | 2.07 KB | 11/27/2024, 23:56:30 |
| proofgeneral_4.5-3_all.deb | 576.38 KB | 11/27/2024, 23:56:37 |
| proofgeneral_4.5.orig.tar.gz | 1.14 MB | 08/17/2023, 17:16:06 |
