opam-repository/packages/msat/msat.0.8.1/ at 50d1c94e7c76b2f02dc30095429ca3e1684dae16 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / msat / msat.0.8.1 /

at 50d1c94e7c76b2f02dc30095429ca3e1684dae16 1 file

mdx.0.8.{1,2}'s tests require mdx < 2.0 (expects the binary to be called mdx instead of ocaml-mdx)

3 years ago