Switch from pinned to dev in dune's own packages

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
ocaml · Jul 26, 2020 · 36d75ce · 36d75ce
1 parent ea75c93
commit 36d75ce
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/dune-action-plugin.opam b/dune-action-plugin.opam
@@ -24,7 +24,7 @@ depends: [
 ]
 dev-repo: "git+https://github.com/ocaml/dune.git"
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"

diff --git a/dune-build-info.opam b/dune-build-info.opam
@@ -20,7 +20,7 @@ depends: [
 ]
 dev-repo: "git+https://github.com/ocaml/dune.git"
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"

diff --git a/dune-configurator.opam b/dune-configurator.opam
@@ -22,7 +22,7 @@ depends: [
 ]
 dev-repo: "git+https://github.com/ocaml/dune.git"
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"

diff --git a/dune-glob.opam b/dune-glob.opam
@@ -15,7 +15,7 @@ depends: [
 ]
 dev-repo: "git+https://github.com/ocaml/dune.git"
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"

diff --git a/dune-private-libs.opam b/dune-private-libs.opam
@@ -22,7 +22,7 @@ depends: [
 ]
 dev-repo: "git+https://github.com/ocaml/dune.git"
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"

diff --git a/dune-private-libs.opam.template b/dune-private-libs.opam.template
@@ -1,5 +1,5 @@
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   [
     "dune"
     "build"