Files
-rw-rw-r-- | 2023176 | mockbuild | mockbuild | ProofGeneral-3.7.1.tgz |
-rw-r--r-- | 10815 | 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 |