Apply changes suggested by opam manager

jnavila · Nov 22, 2021 · 94b4702 · 94b4702
1 parent f26942b
commit 94b4702
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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: [