Files
| -rw-r--r-- | 127 | mockbuild | mockbuild | README.coq-emacs |
| -rw-rw-r-- | 4139808 | mockbuild | mockbuild | coq-8.4pl1.tar.gz |
| -rw-r--r-- | 17290 | mockbuild | mockbuild | coq.spec |
| -rw-r--r-- | 289 | mockbuild | mockbuild | coq.xml |
| -rw-r--r-- | 174 | mockbuild | mockbuild | coqide.desktop |
