conf-gmpversion Documentation on ocaml.org
Virtual package relying on a GMP lib system installation
This package can only install if the GMP lib is installed on the system.
| Author | nbraud |
|---|---|
| License | GPL-1.0-or-later |
| Published | |
| Homepage | http://gmplib.org/ |
| Issue Tracker | https://github.com/ocaml/opam-repository/issues |
| Maintainer | nbraud |
| Dependencies |
|
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/conf-gmp/conf-gmp.4/opam |
Required by
- bap-std>=2.3.0
- bitwuzla<1.0.0
- bitwuzla-binbuild
- bitwuzla-c
- class_group_vdf
- comby
- compsort
- conf-gmp-powm-sec
- conf-mpfrbuild
- cvc5build
- diffast-git=0.2
- diffast-langs-cpp=0.2
- diffast-langs-fortran=0.2
- diffast-langs-java=0.2
- diffast-langs-python=0.2
- diffast-langs-verilog=0.2
- gappa
- gmp-ecm
- goblint
- guile
- libsail
- lutin
- mlgmpidl<1.3.0
- pari
- pari-bindings
- polka
- protonbuild & >=1.0.16
- sail<0.15
- secp256k1-internalbuild
- unisim_archisec=0.0.2
- yices2build
- z3!=4.13.0-3 & <4.14.1
- zarith
