From 4a07e47893acbaa9189fadf7d6c3428fcf52f9d4 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sat, 29 Jan 2022 17:06:12 +0100
Subject: [PATCH] opam: pinned is now dev

---
 monitoring-experiments.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/monitoring-experiments.opam b/monitoring-experiments.opam
index 4958223..ca5aa18 100644
--- a/monitoring-experiments.opam
+++ b/monitoring-experiments.opam
@@ -21,7 +21,7 @@ depends: [
   "mirage-runtime"
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]