| Parent directory/ | - | - |
| proofgeneral_4.3~pre131011.orig.tar.xz | 11592524 | 2014-Oct-25 12:32 |
| proofgeneral_4.4.1~pre170114.orig.tar.xz | 9299752 | 2017-Jan-17 05:13 |
| proofgeneral_4.5.orig.tar.gz | 1198535 | 2023-Aug-17 17:16 |
| proofgeneral_4.3~pre130510.orig.tar.gz | 1047655 | 2013-May-18 17:33 |
| proofgeneral-doc_4.5-1_all.deb | 683198 | 2023-Aug-17 17:49 |
| proofgeneral-doc_4.3~pre131011-0.2_all.deb | 680856 | 2014-Nov-16 23:34 |
| proofgeneral-doc_4.4.1~pre170114-1_all.deb | 671518 | 2017-Jan-17 05:23 |
| proofgeneral-doc_4.4.1~pre170114-1.2_all.deb | 671136 | 2019-Dec-19 18:28 |
| proofgeneral-doc_4.5-2_all.deb | 661776 | 2024-Nov-01 00:59 |
| proofgeneral-doc_4.3~pre130510-1.1_all.deb | 657740 | 2014-Feb-28 12:38 |
| proofgeneral_4.5-1_all.deb | 590368 | 2023-Aug-17 17:49 |
| proofgeneral_4.5-2_all.deb | 590086 | 2024-Nov-01 00:59 |
| proofgeneral_4.4.1~pre170114-1_all.deb | 542604 | 2017-Jan-17 05:23 |
| proofgeneral_4.4.1~pre170114-1.2_all.deb | 542408 | 2019-Dec-19 18:28 |
| proofgeneral_4.3~pre131011-0.2_all.deb | 364274 | 2014-Nov-16 23:34 |
| proofgeneral_4.3~pre130510-1.1_all.deb | 361556 | 2014-Feb-28 12:38 |
| proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz | 19908 | 2019-Dec-19 17:58 |
| proofgeneral_4.4.1~pre170114-1.debian.tar.xz | 19736 | 2017-Jan-17 05:13 |
| proofgeneral_4.3~pre131011-0.2.debian.tar.xz | 19412 | 2014-Nov-16 23:33 |
| proofgeneral_4.3~pre130510-1.1.debian.tar.xz | 19108 | 2014-Feb-28 12:38 |
| proofgeneral_4.5-2.debian.tar.xz | 17372 | 2024-Oct-31 19:06 |
| proofgeneral_4.5-1.debian.tar.xz | 17188 | 2023-Aug-17 17:16 |
| proofgeneral_4.5-2.dsc | 2122 | 2024-Oct-31 19:06 |
| proofgeneral_4.3~pre130510-1.1.dsc | 2016 | 2014-Feb-28 12:38 |
| proofgeneral_4.5-1.dsc | 2000 | 2023-Aug-17 17:16 |
| proofgeneral_4.4.1~pre170114-1.dsc | 1989 | 2017-Jan-17 05:13 |
| proofgeneral_4.4.1~pre170114-1.2.dsc | 1983 | 2019-Dec-19 17:58 |
| proofgeneral_4.3~pre131011-0.2.dsc | 1975 | 2014-Nov-16 23:33 |