diff --git a/dune-workspace.dev b/dune-workspace.dev new file mode 100644 index 0000000..9a02cb0 --- /dev/null +++ b/dune-workspace.dev @@ -0,0 +1,5 @@ +(lang dune 1.2) +(context (opam (switch 4.02.2))) +(context (opam (switch 4.03.0))) +(context (opam (switch 4.04.0))) +(context (opam (switch default)))