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-4build1
Replaces: libmpfi0-dev-common
Suggests: libmpfi-dev
Breaks: libmpfi0-dev-common
Filename: pool/universe/m/mpfi/libmpfi-dev-common_1.5.4+ds-4build1_all.deb
Size: 7502
MD5sum: a1a6eb7206c0fe4a07d5b50953226262
SHA1: 651a7e76a7a555ec243bbaee90ab561a37fc8b01
SHA256: c8018d992989b3474636d065d6799733b9c1539fcd51888a0e9fed483fab34e6
SHA512: 5c1e928b85bf74cb1a2629d184666dfe9def8a1a6d796ed48ce545e7f864481d57b0dd91da623fa9228c87f44c613ff90021fbbe597c4ca1202e1cd89e2d7088
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@alioth-lists.debian.net>
Multi-Arch: foreign
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug