diff --git a/packages/monitoring-experiments.0.0.3~dev/opam b/packages/monitoring-experiments.0.0.3~dev/opam index c8473c1..2401dee 100644 --- a/packages/monitoring-experiments.0.0.3~dev/opam +++ b/packages/monitoring-experiments.0.0.3~dev/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} ]