From 94b4702a5cd62f0d9fbb0a93d69e05e51530f315 Mon Sep 17 00:00:00 2001
From: Jean-Noel Avila <jn.avila@free.fr>
Date: Mon, 22 Nov 2021 14:33:18 +0100
Subject: [PATCH] Apply changes suggested by opam manager

---
 kicadsch.opam     | 2 +-
 plotkicadsch.opam | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/kicadsch.opam b/kicadsch.opam
index bddfbb3..e3b9be9 100644
--- a/kicadsch.opam
+++ b/kicadsch.opam
@@ -12,7 +12,7 @@ bug-reports: "https://github.com/jnavila/plotkicadsch/issues"
 license: "ISC"
 dev-repo: "git+https://github.com/jnavila/plotkicadsch.git"
 build: [
-  [ "dune" "subst" ] {pinned}
+  [ "dune" "subst" ] {dev}
   [ "dune" "build" "-p" name "-j" jobs ]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
diff --git a/plotkicadsch.opam b/plotkicadsch.opam
index 65c81d5..8813d02 100644
--- a/plotkicadsch.opam
+++ b/plotkicadsch.opam
@@ -13,7 +13,7 @@ Two utilities:
 license: "ISC"
 dev-repo: "git+https://github.com/jnavila/plotkicadsch.git"
 build: [
-  [ "dune" "subst" ] {pinned}
+  [ "dune" "subst" ] {dev}
   [ "dune" "build" "-p" name "-j" jobs]
 ]
 depends: [