Package: libmpfi-dev-common
Architecture: all
Version: 1.5.3+ds-6build1
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: 32
Suggests: libmpfi-dev
Conflicts: libmpfi0-dev-common (<< 1.5.1+ds-3)
Breaks: libmpfi-dev (<< 1.5.1+ds-1)
Replaces: libmpfi-dev (<< 1.5.1+ds-1), libmpfi0-dev-common (<< 1.5.1+ds-3)
Filename: pool/universe/m/mpfi/libmpfi-dev-common_1.5.3+ds-6build1_all.deb
Size: 7042
MD5sum: 93d59147326e23691e68e326aa200499
SHA1: 95bf707a44d03f46200649b12974d17847e4c6eb
SHA256: f4d2e24ae3c6aa8d726ebbf07e66e255dbbe0791f1b8e63e1fe509851e00ebd7
SHA512: 0af66eebbb1afce2758cba6b7d92bce55eeff756818712c24848f6f302f8ea4b0a37deeaed5f15428f296bea69107c5b964228591130ee285ceb41e594c0a4f0
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- headers
Description-md5: 16bad2ee62363c94c264e4d3d5bb4ec0