Package: libmpfi-dev-common
Source: mpfi
Priority: optional
Section: universe/libdevel
Installed-Size: 31
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: all
Version: 1.5.4+ds-5
Replaces: libmpfi0-dev-common
Suggests: libmpfi-dev
Breaks: libmpfi0-dev-common
Filename: pool/universe/m/mpfi/libmpfi-dev-common_1.5.4+ds-5_all.deb
Size: 7032
SHA512: c55c85cb5654582a371e0bf8e7e12e39a43836819787ec2fa16d2a0c26750d7cfe162ec5331952733b8ee647d69de52061f248d21371b523f9ecab25746375db
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- headers
Description-md5: 16bad2ee62363c94c264e4d3d5bb4ec0
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug