Update opam

mirage · Sep 5, 2023 · 2cbb71b · 2cbb71b
1 parent 51faad7
commit 2cbb71b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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