From dfe13a30446232f29eb4d8fdbe1803ae12e62cf5 Mon Sep 17 00:00:00 2001 From: Kate Date: Thu, 14 May 2020 17:44:01 +0100 Subject: [PATCH] p4pp.0.1.4: Untag dune as build dependency and add missing constraint --- packages/p4pp/p4pp.0.1.4/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/p4pp/p4pp.0.1.4/opam b/packages/p4pp/p4pp.0.1.4/opam index 732e43f3f3f..50a0e9e4fde 100644 --- a/packages/p4pp/p4pp.0.1.4/opam +++ b/packages/p4pp/p4pp.0.1.4/opam @@ -14,7 +14,7 @@ build: [ ] depends: [ "ocaml" {>= "4.09.0"} - "dune" {build} + "dune" {>= "1.2"} "menhir" "core" {>= "v0.13.0" } ]