Package: libmpfi-dev
Architecture: amd64
Version: 1.5.3+ds-6
Multi-Arch: same
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: 306
Depends: libmpfi0 (= 1.5.3+ds-6), libmpfi-dev-common (= 1.5.3+ds-6), libmpfr-dev, libgmp-dev
Conflicts: libmpfi-dev (<< 1.5.1+ds-3), libmpfi0-dev (<< 1.5.1+ds-3)
Replaces: libmpfi0-dev (<< 1.5.1+ds-3)
Filename: pool/universe/m/mpfi/libmpfi-dev_1.5.3+ds-6_amd64.deb
Size: 35132
MD5sum: c1761f06617768fc78485b43169c32fd
SHA1: 9a74304c2aca2add986c9ac72419410ae4895210
SHA256: c3a2f24affd0edf3f8f5b7e41e8b074d6cfab3fd614a5bd087673e120544a1bf
SHA512: 015484813169c4e5be502e8f58c58a1353597a264e34918aa885e76bc216af99cd9d4c2e81ba08f0901668d63c71d421ba4ecdb4c29edeb3984c1885193df690
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- libdev
Description-md5: b4a9e72e03e8fe69b6be2cb690144e91