diff --git a/opam b/opam index 54ef8f9..8a72412 100644 --- a/opam +++ b/opam @@ -19,7 +19,7 @@ build: [ [make] ] depends: [ - "ocp-build" {>= "1.99.6-beta"} + "ocp-build" {>= "1.99.13-beta"} "ocp-indent" {>= "1.4.2"} "re" "cmdliner"