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-- | 16550 | mockbuild | mockbuild | coq.spec |
-rw-r--r-- | 289 | mockbuild | mockbuild | coq.xml |
-rw-r--r-- | 189 | mockbuild | mockbuild | coqide.desktop |