Package: libmpfi-dev-common
Architecture: all
Version: 1.5.4+ds-4
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-4_all.deb
Size: 7402
MD5sum: 00ab0afe16ea35687bae6399ceec2f57
SHA1: f1e939ac72a94cc743e15d974d0a7268e9af7e91
SHA256: 1ad7dc56e8dda90bb620912aa91768af57aae302f9f980e83e017adcc2a6b313
SHA512: 54340d6a5c599c47e9d0b5c09d5922c55fa90f9fa68e5918acc56ac64fcb180cdce8bb97c0815f505923d6035e906bddc58c5437911e1d3ed367a2d596c59017
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- headers
Description-md5: 16bad2ee62363c94c264e4d3d5bb4ec0