package conf-python-3

  1. Overview
  2. No Docs

Description

This package can only install if a Python-3 interpreter is available on the system. If a minor version needs to be specified for your operating system, then python-3.9 will be used.

Added to opam-repository:

Dependencies

None

Dev Dependencies

None

Used by (26)

  1. atdpy >= "2.4.0"
  2. binaryen < "0.4.0"
  3. caisar >= "2.0"
  4. cascade >= "1.2.0"
  5. coccinelle
  6. conf-python3-pyparsing
  7. conf-python3-tomli
  8. conf-python3-yaml
  9. cvc5
  10. dates_calc >= "0.0.10"
  11. dose3 = "6.1"
  12. dose3-extra
  13. fadbadml >= "0.1.2"
  14. fasmifra
  15. lbvs_consent >= "2.1.1"
  16. libbinaryen < "105.0.0"
  17. linwrap >= "4.0.0" & < "8.0.3"
  18. llvm >= "13.0.0" & < "15.0.7+nnp-2"
  19. luv < "0.5.1"
  20. molenc >= "1.0.0"
  21. ocannl_npy
  22. ppx_deriving_jsonschema >= "0.0.7"
  23. unikraft
  24. wax
  25. xedbindings
  26. z3 = "4.8.5-1" | >= "4.8.13"

Conflicts

None