Skip to content
Snippets Groups Projects
dune-workspace 184 B
Newer Older
(lang dune 2.4)

(profile release)
 (opam (switch jscoq+32bit)
  (disable_dynamically_linked_foreign_archives false) ; https://github.com/ocaml/dune/issues/3262