diff --git a/kicadsch.opam b/kicadsch.opam index bddfbb3..e3b9be9 100644 --- a/kicadsch.opam +++ b/kicadsch.opam @@ -12,7 +12,7 @@ bug-reports: "https://github.com/jnavila/plotkicadsch/issues" license: "ISC" dev-repo: "git+https://github.com/jnavila/plotkicadsch.git" build: [ - [ "dune" "subst" ] {pinned} + [ "dune" "subst" ] {dev} [ "dune" "build" "-p" name "-j" jobs ] ["dune" "runtest" "-p" name "-j" jobs] {with-test} ] diff --git a/plotkicadsch.opam b/plotkicadsch.opam index 65c81d5..8813d02 100644 --- a/plotkicadsch.opam +++ b/plotkicadsch.opam @@ -13,7 +13,7 @@ Two utilities: license: "ISC" dev-repo: "git+https://github.com/jnavila/plotkicadsch.git" build: [ - [ "dune" "subst" ] {pinned} + [ "dune" "subst" ] {dev} [ "dune" "build" "-p" name "-j" jobs] ] depends: [