ocaml/opam-repository — pull request #2195 by bobot (2014-06-05 12:15:54+00:00)
Title: Coqide.8.4pl4

The coq package have been updated to 8.4pl4 but not the coqide package (created for not making all the coq theories depend on lablgtk). Moreover the dependency between coqide and coq was losed so you can install coqide 8.4pl2 and coq 8.4pl4 and coqide doesn't like it.