braibant/opam-coq-repo — pull request #13 by clarus (2014-09-18 15:41:06+00:00)
Title: Configure options with a single dash

So Coq 8.5dev can compile.