| Parent directory/ | - | - |
| proofgeneral-coq_3.7-4_all.deb | 71K | 20-Aug-2017 14:49 |
| proofgeneral-doc_4.2~pre120605-1_all.deb | 655K | 25-Sep-2017 00:01 |
| proofgeneral-doc_4.3~pre130510-1_all.deb | 670K | 20-Sep-2017 02:43 |
| proofgeneral-doc_4.3~pre131011-0.2_all.deb | 671K | 20-Aug-2017 14:49 |
| proofgeneral-doc_4.4.1~pre170114-1_all.deb | 666K | 16-Jan-2017 21:49 |
| proofgeneral-minlog_3.7-4_all.deb | 20K | 20-Aug-2017 14:49 |
| proofgeneral-misc_3.7-4_all.deb | 139K | 20-Aug-2017 14:50 |
| proofgeneral_4.2~pre120605-1_all.deb | 422K | 25-Sep-2017 00:01 |
| proofgeneral_4.3~pre130510-1_all.deb | 454K | 20-Sep-2017 02:43 |
| proofgeneral_4.3~pre131011-0.2_all.deb | 367K | 20-Aug-2017 14:49 |
| proofgeneral_4.4.1~pre170114-1.debian.tar.xz | 19K | 16-Jan-2017 21:49 |
| proofgeneral_4.4.1~pre170114-1.dsc | 1989 | 16-Jan-2017 21:49 |
| proofgeneral_4.4.1~pre170114-1_all.deb | 589K | 16-Jan-2017 21:49 |
| proofgeneral_4.4.1~pre170114.orig.tar.xz | 9M | 16-Jan-2017 21:49 |