conf-gmp 1
| License | GPL |
|---|---|
| Homepage | http://gmplib.org/ |
| Maintainer | nbraud |
| Published | Nov 13, 2013 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/conf-gmp/conf-gmp.1/opam |
Virtual package relying on a GMP lib system installation.
This package can only install if the GMP lib is installed on the system.