Files
-rw-r--r-- | 109 | mockbuild | mockbuild | README.coq-emacs |
-rw-rw-r-- | 3600620 | mockbuild | mockbuild | coq-8.2pl1.tar.gz |
-rw-r--r-- | 587 | mockbuild | mockbuild | coq-check-8.2.patch |
-rw-r--r-- | 622 | mockbuild | mockbuild | coq-makefile-strip-8.2.patch |
-rw-r--r-- | 681 | mockbuild | mockbuild | coq-micromega-8.2.patch |
-rw-r--r-- | 14773 | mockbuild | mockbuild | coq.spec |
-rw-r--r-- | 173 | mockbuild | mockbuild | coqide.desktop |