From 986d8b8eb96d16610671f0745ddcdefd89f75dfa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr>
Date: Thu, 13 Feb 2020 16:04:24 +0100
Subject: [PATCH] Mark dune as a full dependency.
---
feat.opam | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/feat.opam b/feat.opam
index bad4655..570f53f 100644
--- a/feat.opam
+++ b/feat.opam
@@ -12,7 +12,7 @@ build: [
]
depends: [
"ocaml" { >= "4.03" }
- "dune" { build & >= "1.3" }
+ "dune" { >= "1.3" }
"zarith"
"fix" { >= "20181206" }
]
--
GitLab