package conf-python-3

  1. Overview
  2. Docs
Virtual package relying on Python-3 installation

Install

Dune Dependency

Authors

Maintainers

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.

Published: 08 Mar 2023

Dependencies

None

Dev Dependencies

None

Used by (23)

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

Conflicts

None

OCaml

Innovation. Community. Security.