From 6f81e06cb66e95992461b8d14ce8280ebf6fc8af Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 29 Apr 2021 17:51:37 +0200
Subject: [PATCH] Update dune-project and opam files.
---
caisar.opam | 1 +
dune-project | 1 +
2 files changed, 2 insertions(+)
diff --git a/caisar.opam b/caisar.opam
index 68164a9..adce2f7 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -11,6 +11,7 @@ depends: [
"logs" {>= "0.7.0"}
"ppx_deriving" {>= "5.1"}
"yojson" {>= "1.7.0"}
+ "menhirLib" {>= "20210310"}
"odoc" {with-doc}
]
build: [
diff --git a/dune-project b/dune-project
index fa89e5f..908fc1e 100644
--- a/dune-project
+++ b/dune-project
@@ -18,5 +18,6 @@
(logs (>= 0.7.0))
(ppx_deriving (>= 5.1))
(yojson (>= 1.7.0))
+ (menhirLib (>= 20210310))
)
)
--
GitLab