From 67e8f660f1c5d1d305ecc06af0473f0473b60b7d Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Thu, 3 Mar 2022 11:25:06 +0100
Subject: [PATCH] restrict ptt to irmin < 3

---
 packages/ptt.0.0.1~dev/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/ptt.0.0.1~dev/opam b/packages/ptt.0.0.1~dev/opam
index 7fec452..8b2ba48 100644
--- a/packages/ptt.0.0.1~dev/opam
+++ b/packages/ptt.0.0.1~dev/opam
@@ -33,7 +33,7 @@ depends: [
   "irmin-unix" {>= "2.10.0"}
   "ca-certs"
   "cmdliner"
-  "irmin" {>= "2.10.0"}
+  "irmin" {>= "2.10.0" & < "3.0.0"}
   "mirage-kv"
   "dns-client" {>= "5.0.0"}
   "mirage-clock-unix" {>= "3.1.0"}