coqide

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