Language

Package: mpfi @ 1.5.4

Synopsis

C library for arbitrary-precision interval arithmetic

Description

MPFI is a portable C library for arbitrary-precision interval arithmetic, with intervals represented using MPFR reliable floating-point numbers. It's based on the GMP and GNU MPFR libraries.

The purpose of arbitrary-precision interval arithmetic is to get results that are both guaranteed, thanks to interval computation, and accurate, thanks to multiple-precision arithmetic.

Home page
https://gforge.inria.fr/projects/mpfi/
Location
gnu/packages/multiprecision.scm (line: 159, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/9zzbj5yc4zda7ydhzxzkybsvan0kzj7g-mpfi-1.5.4.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/gl3vaisz35rzzwwq5ssql5mgz2jc51y6-mpfi-1.5.4.drv
    x86_64-linuxriscv64-linux-gnu/gnu/store/fd5rac0734iwwz551yzpv11d4x5aipd5-mpfi-1.5.4.drv
      x86_64-linuxpowerpc-linux-gnu/gnu/store/hgqi9qvgh4v176c2cj21136qjs5an209-mpfi-1.5.4.drv
      x86_64-linuxpowerpc64le-linux-gnu/gnu/store/s19lbzq9ws6m5ar0x8xi49l1gh2m7vav-mpfi-1.5.4.drv
      x86_64-linuxmips64el-linux-gnu/gnu/store/9bb875gpsw735ah5hlgbvk25dna6jncv-mpfi-1.5.4.drv
      x86_64-linuxi686-w64-mingw32/gnu/store/fnhaigzii6dlcbnsq1vxa5lryj5sj7ds-mpfi-1.5.4.drv
        x86_64-linuxi586-pc-gnu/gnu/store/25qmizg0b4p0pqf7kfsxkhcnkrq6g40n-mpfi-1.5.4.drv
        x86_64-linuxarm-linux-gnueabihf/gnu/store/ncjayjnybnzbmdvdjjb72hjzmjg006d8-mpfi-1.5.4.drv
        x86_64-linuxaarch64-linux-gnu/gnu/store/iqal0gdzpbbz5k15fkdcsnq0yxgw1n6i-mpfi-1.5.4.drv
        riscv64-linux/gnu/store/mhy5v5xq55wkri36id31jyi708zb840c-mpfi-1.5.4.drv
          powerpc-linux/gnu/store/qf49qzjhazidp6ai8m21hjmhms3x5l8k-mpfi-1.5.4.drv
            powerpc64le-linux/gnu/store/ls5xx8zix7zwp6qdzk1yckgi3rvhjkpx-mpfi-1.5.4.drv
            mips64el-linux/gnu/store/x7nyqa68wwkjlprkk899b04szyavrxn2-mpfi-1.5.4.drv
              i686-linux/gnu/store/xr1nr3mvwv76lgkqi5fqs9d880h451gf-mpfi-1.5.4.drv
              i586-gnu/gnu/store/y649iyifz7fq9j27ga6vgz83qi047pf0-mpfi-1.5.4.drv
              armhf-linux/gnu/store/v2drdnv9jwwafzwpvz4r2ws8g9mcc387-mpfi-1.5.4.drv
              aarch64-linux/gnu/store/b0fsngp93w7lk73dqpzfzi5qsdm972z9-mpfi-1.5.4.drv

              Lint warnings

              LinterMessageLocation
              input-labels

              Identify input labels that do not match package names

              label 'autoreconf' does not match package name 'autoconf'