package conf-gmp
Virtual package relying on a GMP lib system installation
Install
Dune Dependency
Authors
Maintainers
Description
This package can only install if the GMP lib is installed on the system.
Published: 09 Dec 2020
Dependencies
None
Dev Dependencies
None
Used by (28)
-
bap-std
>= "2.3.0" -
bitwuzla
< "1.0.0" - bitwuzla-bin
- bitwuzla-c
- class_group_vdf
- comby
- compsort
- conf-gmp-powm-sec
- conf-mpfr
- cvc5
- gappa
- gmp-ecm
-
goblint
>= "1.1.1" - guile
- libsail
- lutin
- mlgmp
-
mlgmpidl
< "1.3.0" - numerix
- pari
- pari-bindings
- polka
-
sail
< "0.15" - secp256k1-internal
-
unisim_archisec
= "0.0.2" - yices2
-
z3
!= "4.13.0-3" - zarith
Conflicts
None
On This Page