opam: pinned is now dev

hannesm · Aug 4, 2021 · 9874a3e · 9874a3e
1 parent dd50b48
commit 9874a3e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/otr.opam b/otr.opam
@@ -18,7 +18,7 @@ depends: [
   "mirage-crypto-rng" {with-test}
 ]
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]