update mdx dependency

mbarbin · Dec 6, 2023 · 51d2bce · 51d2bce
1 parent 026f7b1
commit 51d2bce
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/bopkit.opam b/bopkit.opam
@@ -25,7 +25,7 @@ depends: [
   "fpath-extended" {>= "0.0.2"}
   "graphics" {>= "5.1.2"}
   "loc" {>= "0.0.1"}
-  "mdx" {>= "2.2"}
+  "mdx" {>= "2.3"}
   "menhir" {>= "20220210"}
   "parsing-utils" {>= "0.0.1"}
   "pp" {>= "1.2.0"}

diff --git a/dune-project b/dune-project
@@ -17,7 +17,7 @@
 
 (using dune_site 0.1)
 
-(using mdx 0.2)
+(using mdx 0.4)
 
 (using menhir 2.1)
 
@@ -73,7 +73,7 @@
   (loc
    (>= 0.0.1))
   (mdx
-   (>= 2.2))
+   (>= 2.3))
   (menhir
    (>= 20220210))
   (parsing-utils