Packages / Debian 12 (Bookworm) / Source / libs / mpfi
Source Package: mpfi (1.5.3+ds-6+b1)
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
