From 91c65b57df307b6ed519adbc1286e731c676a7a6 Mon Sep 17 00:00:00 2001
From: Romain Calascibetta <romain.calascibetta@gmail.com>
Date: Fri, 21 Oct 2022 16:47:53 +0200
Subject: [PATCH] Delete useless pin-depends, everything were released

---
 git-kv.opam | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/git-kv.opam b/git-kv.opam
index addbe73..959c114 100644
--- a/git-kv.opam
+++ b/git-kv.opam
@@ -11,7 +11,8 @@ depends: [
   "dune"              {>= "2.0.0"}
   "git"               {>= "3.9.0"}
   "mirage-kv"         {>= "4.0.0"}
-  "git-unix"
+  "git-unix"          {>= "3.10.0"}
+  "carton"            {>= "0.6.0"}
   "mirage-clock-unix"
   "mirage-clock"
   "ptime"
@@ -21,7 +22,3 @@ build: [
   ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
 ]
-
-pin-depends: [
-  [ "carton.dev" "git+https://github.com/mirage/ocaml-git.git#8cb31ed46aa2600f645dba204b164c7fce2f7037" ]
-]