From ad248826d6da04415da42b3f0606f23ab643a4a1 Mon Sep 17 00:00:00 2001
From: Kakadu <Kakadu@pm.me>
Date: Wed, 31 Jul 2024 21:44:36 +0300
Subject: [PATCH] Actually, ppxlib 0.33.0 is OK too

Signed-off-by: Kakadu <Kakadu@pm.me>
---
 packages/GT/GT.0.5.3/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/GT/GT.0.5.3/opam b/packages/GT/GT.0.5.3/opam
index f043b62999e1..86e4efe9321c 100644
--- a/packages/GT/GT.0.5.3/opam
+++ b/packages/GT/GT.0.5.3/opam
@@ -20,7 +20,7 @@ license: "LGPL-2.1-or-later"
 homepage: "https://github.com/PLTools/GT"
 bug-reports: "https://github.com/PLTools/GT/issues"
 depends: [
-  "ppxlib" {<= "0.32.1"}
+  "ppxlib" {<= "0.33.0"}
   "ocaml" {>= "4.14" & < "5.0.0" | >= "5.2.0" & < "5.3.0"}
   "camlp5" {>= "8.00.05"}
   "dune" {>= "2.8"}