From 812e7e2ce476bfb5d6b5ecfca79eb07285306ed7 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Sat, 29 Jan 2022 17:06:31 +0100
Subject: [PATCH] monitoring-experiments: update from upstream (pinned -> dev)

---
 packages/monitoring-experiments.0.0.3~dev/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/monitoring-experiments.0.0.3~dev/opam b/packages/monitoring-experiments.0.0.3~dev/opam
index c8473c1..2401dee 100644
--- a/packages/monitoring-experiments.0.0.3~dev/opam
+++ b/packages/monitoring-experiments.0.0.3~dev/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}
 ]