From b80e453a2e51b1ce3651e8e13e602de66200f71a Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Wed, 31 Jul 2024 11:02:03 +0200 Subject: [PATCH] We actually need sedlex=3.2 --- catala.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/catala.opam b/catala.opam index da1a23d7..ec49ec83 100644 --- a/catala.opam +++ b/catala.opam @@ -31,7 +31,7 @@ depends: [ "ocamlfind" {!= "1.9.5"} "ocamlgraph" {>= "1.8.8"} "re" {>= "1.10"} - "sedlex" {>= "3.1"} + "sedlex" {>= "3.2"} "uutf" {>= "1.0.3"} "ubase" {>= "0.05"} "unionFind" {>= "20220109"}