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"}