this repo has no description

Merge pull request #21779 from kit-ty-kate/fix-89

mdx.0.8.{1,2}'s tests require mdx < 2.0

Kate 5c263437 cbd000df

Changed files
+2 -2
packages
msat
msat.0.8.1
msat.0.8.2
+1 -1
packages/msat/msat.0.8.1/opam
···
"dune" { >= "1.1" }
"iter" { >= "1.2" }
"containers" {with-test & < "3.0"}
-
"mdx" {with-test}
+
"mdx" {with-test & < "2.0"}
]
tags: [ "sat" "smt" ]
homepage: "https://github.com/Gbury/mSAT"
+1 -1
packages/msat/msat.0.8.2/opam
···
"dune" { >= "1.1" }
"iter" { >= "1.2" }
"containers" {with-test & < "3.0"}
-
"mdx" {with-test}
+
"mdx" {with-test & < "2.0"}
]
tags: [ "sat" "smt" "cdcl" "functor" ]
homepage: "https://github.com/Gbury/mSAT"