package conf-mpfr

  1. Overview
  2. Docs
Virtual package relying on library MPFR installation

Install 

dune-project
 Dependency

www.mpfr.org Edit opam file Versions (3)

Authors

  1. H
    http://www.mpfr.org/credit.html

Maintainers

  1. U
    unixjunkie@sdf.org

Description

This package can only install if the MPFR library is installed on the system.

Published: 13 Jul 2021

Dependencies (2)

  1. conf-gmp build
  2. conf-pkg-config build

Dev Dependencies

None

Used by (10)

  1. antic < "0.4.0"
  2. arb < "0.4.0"
  3. bitwuzla-cxx >= "0.9.0"
  4. calcium < "0.4.0"
  5. flint
  6. gappa
  7. lutin
  8. mlgmpidl < "1.3.0"
  9. mlmpfr >= "4.1.0+bugfix1"
  10. polka

Conflicts

None