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: 18 Jan 2022
Dependencies (4)
-
conf-mingw-w64-gmp-x86_64
os = "win32" & os-distribution != "cygwinports" -
host-arch-x86_64
os = "win32" & os-distribution != "cygwinports" -
conf-mingw-w64-gmp-i686
os = "win32" & os-distribution != "cygwinports" -
host-arch-x86_32
os = "win32" & os-distribution != "cygwinports"
Dev Dependencies
None
Used by (26)
-
bap-std
>= "2.3.0" -
bitwuzla
< "1.0.0" - bitwuzla-bin
- bitwuzla-c
- class_group_vdf
- comby
- conf-gmp-powm-sec
- conf-mpfr
- 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
- zarith
Conflicts
None
On This Page