opam-repository/packages/msat/msat.0.8.2/ at 598efb46ec7387aed249220ca6a2bc39eb4b94e9 · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / msat / msat.0.8.2 /

at 598efb46ec7387aed249220ca6a2bc39eb4b94e9 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