From f6eac942a9ab85b8eba4b3fc66801c4089a23cf8 Mon Sep 17 00:00:00 2001 From: Et7f3 Date: Wed, 10 Jul 2019 14:17:25 +0200 Subject: [PATCH] Update opam --- opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/opam b/opam index 0dddd79..1a441da 100644 --- a/opam +++ b/opam @@ -46,7 +46,7 @@ available: [ocaml-version >= "4.02.3"] depends: [ "cmdliner" {>= "1.0" } "ocamlfind" - "re" {>= "1.7.3" } + "re" {>= "1.9.0" } ] (**************************************************************)