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