Set a specific ocamlfind version to avoid recompiling coq.dev in the dune build
Set a specific ocamlfind version to avoid recompiling coq.dev in the dune build

mattam82/Coq-Equations,mattam82/Coq-Equations