Package: libmpfi0
Architecture: amd64
Version: 1.5.4+ds-3
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-3)
Conflicts: libmpfi
Replaces: libmpfi (<< 1.5.1+ds-1)
Filename: pool/universe/m/mpfi/libmpfi0_1.5.4+ds-3_amd64.deb
Size: 35070
MD5sum: 63dcfb34b5452542d4758e8ab6de6670
SHA1: dc8af1b89060228e56d1bb34a0a812996ce26da4
SHA256: ddbce60ddc03268e53c2f8ed456bcf7484f40257ceac7f0bf5755631e4577a0f
SHA512: eb0569687ee4be58aebbff6b89f11d7c5147fe709ddf664f8031ecfa3a5aa2f890b308b9049e7759f84d185d533ee779d1899a72bcfbfcd3d27e9edd21f2a3c2
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