Replace {pinned} by {dev} (@hannesm)

mirage · Sep 26, 2023 · 8200e45 · 8200e45
1 parent 06756d3
commit 8200e45
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/uri-bench.opam b/uri-bench.opam
@@ -19,7 +19,7 @@ depends: [
   "core_unix" {>= "v0.14.0"}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
diff --git a/uri-re.opam b/uri-re.opam
@@ -23,7 +23,7 @@ depends: [
   "crowbar" {with-test}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]

diff --git a/uri-sexp.opam b/uri-sexp.opam
@@ -19,7 +19,7 @@ depends: [
   "ounit2" {with-test}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
diff --git a/uri.opam b/uri.opam
@@ -22,7 +22,7 @@ depends: [
   "angstrom" {>= "0.14.0"}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]