{0 coqide }

The coqide package only contains the CoqIDE executable and no OCaml library.