Package: libmpfi0
Architecture: amd64
Version: 1.5.4+ds-4
Multi-Arch: same
Priority: optional
Section: universe/libs
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: 123
Provides: libmpfi
Depends: libc6 (>= 2.4), libgmp10 (>= 2:6.3.0+dfsg), libmpfr6 (>= 4.0.0)
Suggests: libmpfi-doc (= 1.5.4+ds-4)
Conflicts: libmpfi
Replaces: libmpfi (<< 1.5.1+ds-1)
Filename: pool/universe/m/mpfi/libmpfi0_1.5.4+ds-4_amd64.deb
Size: 35460
MD5sum: 20f13baac6bb1b203a2c9268ada8d73e
SHA1: b99665b6c517854e6f824db6c169a98fbc92a3f5
SHA256: b14fdf53289d32a4a8d78acb1a0a6d9702c6ec55e883189744040b54c662d5ec
SHA512: c47e92663f819294a275f9c517e45390fb9cf0b1dcd325bfe0988d026a62ebb98e76194dd7e8897e61fbb042fefa6695402d694bd424add8f2bec89e101cae27
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- lib
Task: ubuntustudio-desktop, ubuntustudio-fonts, edubuntu-desktop-gnome, edubuntu-desktop-gnome-raspi
Description-md5: 062409ab526856212342ab4f10dcb533