opam-repository/packages/dolmen/ at main · anil.recoil.org/opam-repository · tangled

anil.recoil.org / opam-repository

this repo has no description

opam-repository / packages / dolmen /

at main 11 folders

opam admin add-hashes sha256

2 years ago

Add lower bounds on qcheck & mdx

2 years ago

opam admin add-hashes sha256

2 years ago

[Dolmen] forbid ocaml 5.0.0 because of ocaml/ocaml#11995

2 years ago

Dolmen uses `--infer-write-query` which was added in Menhir on 2018-05-23

2 years ago

[Dolmen] forbid ocaml 5.0.0 because of ocaml/ocaml#11995

2 years ago

[Dolmen] forbid ocaml 5.0.0 because of ocaml/ocaml#11995

2 years ago

[Dolmen] forbid ocaml 5.0.0 because of ocaml/ocaml#11995

2 years ago

[Dolmen] forbid ocaml 5.0.0 because of ocaml/ocaml#11995

2 years ago

dolmen.0.8.1 and 0.9 requires qcheck.0.9 to use qcheck-core

2 years ago

dolmen.0.8.1 and 0.9 requires qcheck.0.9 to use qcheck-core

2 years ago