package conf-python-3
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 (24)
-
atdpy
>= "2.4.0" -
binaryen
< "0.4.0" -
caisar
>= "2.0" - coccinelle
- conf-python3-pyparsing
- conf-python3-tomli
- conf-python3-yaml
- cvc5
-
dates_calc
>= "0.0.10" -
dose3
= "6.1" - dose3-extra
-
fadbadml
>= "0.1.2" - fasmifra
-
lbvs_consent
>= "2.1.1" -
libbinaryen
< "105.0.0" -
linwrap
>= "4.0.0" & < "8.0.3" -
llvm
>= "13.0.0" & < "15.0.7+nnp-2" -
luv
< "0.5.1" -
molenc
>= "1.0.0" - ocannl_npy
- rocq-prover
- unikraft
- xedbindings
-
z3
= "4.8.5-1" | >= "4.8.13"
Conflicts
None
On This Page