Merge branch 'jscoq-v8.17' into v8.17

etc/patches/timeout.patch

@@ -64,7 +64,7 @@ index 43ee8f7..ac82c4e 100644
 + (foreign_stubs
 +  (language c)
 +  (names jscoq_extern)
-+  (flags (:include %{project_root}/config/dune.c_flags)))
++  (flags :standard (:include %{project_root}/config/dune.c_flags)))
   (libraries coq-core.boot coq-core.clib coq-core.config))
 diff --git a/lib/jscoq_extern.c b/lib/jscoq_extern.c
 new file mode 100644

jscoq.opam

@@ -12,7 +12,7 @@ doc:          "https://github.com/jscoq/jscoq#readme"
 
 depends: [
   "ocaml"               { >= "4.12.0"           }
-  "dune"                { >= "3.5.0"            }
+  "dune"                { >= "3.5.0" & < "3.8"  }
   "js_of_ocaml"         { >= "4.0.0" & < "4.1"  }
   "js_of_ocaml-ppx"     { >= "4.0.0" & < "4.1"  }
   "js_of_ocaml-lwt"     { >= "4.0.0" & < "4.1"  }