Package: libmpfi-dev
Source: mpfi
Priority: optional
Section: universe/libdevel
Installed-Size: 315
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.5.4+ds-5
Depends: libmpfi0 (= 1.5.4+ds-5), libmpfi-dev-common (= 1.5.4+ds-5), libmpfr-dev, libgmp-dev
Filename: pool/universe/m/mpfi/libmpfi-dev_1.5.4+ds-5_amd64.deb
Size: 35674
SHA512: 7b1b42f2ee9454609b669bcbcc2bbcaa113ffdc21c722548c5f1f64f0501b18b30c55f1fa968608c32258555275038d441f25ad173f8a366323d55bf9f98979a
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- libdev
Description-md5: b4a9e72e03e8fe69b6be2cb690144e91
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Multi-Arch: same
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug