diff --git a/monitoring-experiments.opam b/monitoring-experiments.opam index 4958223..ca5aa18 100644 --- a/monitoring-experiments.opam +++ b/monitoring-experiments.opam @@ -21,7 +21,7 @@ depends: [ "mirage-runtime" ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ["dune" "runtest" "-p" name "-j" jobs] {with-test} ]