Package: libmpfi-dev-common
Architecture: all
Version: 1.5.3+ds-6
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: 34
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-6_all.deb
Size: 7612
MD5sum: b07e42ff265fe44430047308745cb4d0
SHA1: 63a99825dbc209fa8e30efb6f83e2f2673f6264c
SHA256: 2005dc1833489ea672c1070c9f8d2da8ba0d0cbd8caaa91269f89542fa4ad8fa
SHA512: 15df69b7c2af8fc1eac3fe498a8049bf20d61306d8109a1a788aa4a8e2e140d484daae908e99c21aebce758a16d5ab1b5ce9912044290525a9011e9e44dda917
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- headers
Description-md5: 16bad2ee62363c94c264e4d3d5bb4ec0