From 2cbb71b5716521b7d9e2e4031a692d4afb546acb Mon Sep 17 00:00:00 2001
From: gwenaelle <charles-edouard.lecat@epitech.eu>
Date: Tue, 5 Sep 2023 17:38:52 +0200
Subject: [PATCH] Update opam

---
 irmin-pack-tools.opam | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/irmin-pack-tools.opam b/irmin-pack-tools.opam
index 3eb308fd04..3b494d2296 100644
--- a/irmin-pack-tools.opam
+++ b/irmin-pack-tools.opam
@@ -15,10 +15,6 @@ build: [
 
 available: arch != "arm32" & arch != "x86_32"
 
-pin-depends: [
-  ["prettree"  "git+https://github.com/art-w/prettree.git"]
-]
-
 depends: [
   "ocaml"       {>= "4.01.0"}
   "dune"        {>= "2.9.0"}
@@ -37,6 +33,10 @@ depends: [
   "alcotest"    {with-test}
 ]
 
+pin-depends: [
+  ["prettree.dev"  "git+https://github.com/art-w/prettree.git#568de08442f02dd87acc84ca6a91cc661b7e77bf"]
+]
+
 synopsis: "Utils for Irmin-pack"
 description: """
 `Irmin-pack-tools` defines useful binaries and libraries for