File ocaml-coq.patch of Package ocaml-coq

--- a/config/dune
+++ b/config/dune
@@ -38,4 +38,4 @@
    plugin_list
   ; used for the prefix
   (env_var PWD))
- (action (chdir %{project_root} (run %{project_root}/tools/configure/configure.exe -no-ask))))
+ (action (chdir %{project_root} (run %{project_root}/tools/configure/configure.exe -no-ask -libdir %{ocaml_where}/coq))))