From 653b5a1cc353eea4ff94a9b3c67f035563e316a5 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 28 Dec 2021 17:14:54 +0100 Subject: [PATCH] opam: pinned -> dev --- packages/jackline.0.1.0/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/jackline.0.1.0/opam b/packages/jackline.0.1.0/opam index ffc68e6..a7c6a31 100644 --- a/packages/jackline.0.1.0/opam +++ b/packages/jackline.0.1.0/opam @@ -52,7 +52,7 @@ depends: [ "happy-eyeballs-lwt" {>= "0.1.1"} ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} [ "dune" "build"