package conf-gmp-paths
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: 26 Jan 2024
Dependencies (1)
-
ez-conf-lib
build
Dev Dependencies
None
Used by (2)
- conf-mpfr-paths
-
mlgmpidl
>= "1.3.0"
Conflicts
None
On This Page