Add dependency on mdx for dolmen_loop

Gbury · web-flow · commit 4d09254ba41f · 2023-07-04T19:07:48.000+02:00
diff --git a/packages/dolmen_loop/dolmen_loop.0.9/opam b/packages/dolmen_loop/dolmen_loop.0.9/opam
@@ -14,6 +14,7 @@ depends: [
   "gen"
   "odoc" { with-doc }
   "pp_loc" { >= "2.0.0" }
+  "mdx" { with-test }
 ]
 tags: [ "logic" "computation" "automated theorem prover" ]
 homepage: "https://github.com/Gbury/dolmen"

Original file line number	Diff line number	Diff line change
`@@ -14,6 +14,7 @@ depends: [`
`14`	`14`	`"gen"`
`15`	`15`	`"odoc" { with-doc }`
`16`	`16`	`"pp_loc" { >= "2.0.0" }`
	`17`	`+ "mdx" { with-test }`
`17`	`18`	`]`
`18`	`19`	`tags: [ "logic" "computation" "automated theorem prover" ]`
`19`	`20`	`homepage: "https://github.com/Gbury/dolmen"`