From 36d75ceb7fefb49e6a93c8216fd9dd296cdd53bc Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <me@rgrinberg.com>
Date: Sat, 25 Jul 2020 18:33:43 -0700
Subject: [PATCH] Switch from pinned to dev in dune's own packages

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
---
 dune-action-plugin.opam         | 2 +-
 dune-build-info.opam            | 2 +-
 dune-configurator.opam          | 2 +-
 dune-glob.opam                  | 2 +-
 dune-private-libs.opam          | 2 +-
 dune-private-libs.opam.template | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/dune-action-plugin.opam b/dune-action-plugin.opam
index 9c59ec5fd30..3906e0f89ac 100644
--- 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
index 31284a73fd2..73e9aa4ab51 100644
--- 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
index c57df215af9..d273340d6da 100644
--- 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
index 67f1a3bf12e..5a339f0cb55 100644
--- 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
index 4f745b5d4a9..45cc4d9a9f3 100644
--- 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
index b25400dae4c..44877d421e9 100644
--- 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"