Skip to content
Snippets Groups Projects
Commit 6f81e06c authored by Michele Alberti's avatar Michele Alberti
Browse files

Update dune-project and opam files.

parent 0141f076
No related branches found
No related tags found
No related merge requests found
...@@ -11,6 +11,7 @@ depends: [ ...@@ -11,6 +11,7 @@ depends: [
"logs" {>= "0.7.0"} "logs" {>= "0.7.0"}
"ppx_deriving" {>= "5.1"} "ppx_deriving" {>= "5.1"}
"yojson" {>= "1.7.0"} "yojson" {>= "1.7.0"}
"menhirLib" {>= "20210310"}
"odoc" {with-doc} "odoc" {with-doc}
] ]
build: [ build: [
......
...@@ -18,5 +18,6 @@ ...@@ -18,5 +18,6 @@
(logs (>= 0.7.0)) (logs (>= 0.7.0))
(ppx_deriving (>= 5.1)) (ppx_deriving (>= 5.1))
(yojson (>= 1.7.0)) (yojson (>= 1.7.0))
(menhirLib (>= 20210310))
) )
) )
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment