conf-gmp-pathsversion
Virtual package relying on a GMP lib system installation
This package can only install if the GMP lib is installed on the system.
| Author | https://gmplib.org/manual/Contributors |
|---|---|
| License | GPL-1.0-or-later |
| Published | |
| Homepage | http://gmplib.org/ |
| Issue Tracker | https://github.com/ocaml/opam-repository/issues |
| Maintainer | Nicolas Berthier <m@nberth.space> |
| Dependencies |
|
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/conf-gmp-paths/conf-gmp-paths.1/opam |
Required by
- conf-mpfr-pathsbuild
- mlgmpidl>=1.3.0
