dune subst: dev, not pinned

backtracking · Aug 31, 2023 · d37c5bf · d37c5bf
1 parent 9ebfbb1
commit d37c5bf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ocamlgraph.opam b/ocamlgraph.opam
@@ -24,7 +24,7 @@ depends: [
   "graphics" {with-test}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"

diff --git a/ocamlgraph_gtk.opam b/ocamlgraph_gtk.opam
@@ -27,7 +27,7 @@ depends: [
   "graphics" {with-test}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"