conf-gmpversion
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
- gappa
- gmp-ecm
- goblint>=1.1.1
- guile
- libsail
- lutin
- mlgmp
- mlgmpidl<1.3.0
- numerix
- pari
- pari-bindings
- polka
- sail<0.15
- secp256k1-internalbuild
- unisim_archisec=0.0.2
- yices2build
- z3!=4.13.0-3
- zarith