OCamlPro/opam-repository — pull request #831 by bobot (2013-06-25 07:53:13+00:00)
Title: [Coq] extract coqide into it's own package coqide

issue #805