Files
| -rw-rw-r-- | 2023176 | mockbuild | mockbuild | ProofGeneral-3.7.1.tgz |
| -rw-r--r-- | 10657 | mockbuild | mockbuild | emacs-common-proofgeneral.spec |
| -rw-r--r-- | 512 | mockbuild | mockbuild | pg-3.7.1-Makefile.patch |
| -rw-r--r-- | 2238 | mockbuild | mockbuild | pg-3.7.1-startscript.patch |
| -rw-r--r-- | 6440 | mockbuild | mockbuild | pg-3.7.1-xemacs-display-table.patch |
