package conf-gmp-paths

  1. Overview
  2. Docs
Virtual package relying on a GMP lib system installation

Install

Dune Dependency

gmplib.org Edit opam file Versions (1)

Authors

  1. H
    https://gmplib.org/manual/Contributors

Maintainers

  1. N
    Nicolas Berthier <m@nberth.space>

Description

This package can only install if the GMP lib is installed on the system.

Published: 26 Jan 2024

Dependencies (1)

  1. ez-conf-lib build

Dev Dependencies

None

Used by (2)

  1. conf-mpfr-paths
  2. mlgmpidl >= "1.3.0"

Conflicts

None