package cvc5

1. conf-python3-tomli build
2. conf-python3-pyparsing build
3. conf-python-3-dev build
4. conf-python-3 build
5. conf-cmake build
6. conf-gmp build
7. conf-g++ build
8. conf-gcc build
9. ocaml >= "4.12"
10. dune >= "3.10"

1. odoc with-doc

None

None