From f9a6197080a7f265d5c3705af7e935fb4289fbb8 Mon Sep 17 00:00:00 2001 From: Fabrice Le Fessant Date: Fri, 13 May 2016 09:31:24 +0200 Subject: [PATCH] Update opam file * Requires ocp-build >= 1.99.13-beta --- opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"