Packages / Debian 13 (Trixie) / Source / libs / mpfi
Source Package: mpfi (1.5.4+ds-4)
Maintainers:
External Resources:
Homepage: [gitlab.inria.fr]
The following binary packages are built from this source package:
- libmpfi0
multiple precision floating-point interval computation library -- lib
- libmpfi-dev
multiple precision floating-point interval computation library -- libdev
- libmpfi-dev-common
multiple precision floating-point interval computation library -- headers
- libmpfi-doc
multiple precision floating-point interval computation library -- doc
