Files
| -rw-r--r-- | 127 | mockbuild | mockbuild | README.coq-emacs |
| -rw-r--r-- | 126 | mockbuild | mockbuild | README.coq-xemacs |
| -rw-rw-r-- | 3760176 | mockbuild | mockbuild | coq-8.3pl2.tar.gz |
| -rw-r--r-- | 839 | mockbuild | mockbuild | coq-camlp5-bug.patch |
| -rw-r--r-- | 15820 | mockbuild | mockbuild | coq.spec |
| -rw-r--r-- | 289 | mockbuild | mockbuild | coq.xml |
| -rw-r--r-- | 189 | mockbuild | mockbuild | coqide.desktop |
