From 0e86a8d37581f6458351fc58c008fbbe2341918c Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Tue, 1 Aug 2017 16:09:19 +0200 Subject: [PATCH] jbuilder is a build dependency --- tcpip.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tcpip.opam b/tcpip.opam index b828fe435..bf65c42ad 100644 --- a/tcpip.opam +++ b/tcpip.opam @@ -20,7 +20,7 @@ build-test: [ ] depends: [ - "jbuilder" {>="1.0+beta9"} + "jbuilder" {build & >="1.0+beta10"} "configurator" {build} "rresult" "cstruct" {>= "3.0.2"}