package conf-mpfr

  1. Overview
  2. No 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: 22 Jul 2014

Dependencies (1)

  1. conf-gmp

Dev Dependencies

None

Used by (6)

  1. bitwuzla-cxx >= "0.9.0"
  2. gappa
  3. lutin
  4. mlgmpidl < "1.3.0"
  5. mlmpfr >= "4.1.0+bugfix1"
  6. polka

Conflicts

None