package abella

1. crunch >= "3.3.0" & build
2. dune >= "3.11"
3. yojson >= "2.1.1"
4. menhir >= "20211012"
5. cmdliner >= "1.2.0"
6. ocaml >= "4.12.0"

1. ounit2 with-test

None

None