Package: libmpfi0
Source: mpfi
Priority: optional
Section: universe/libs
Installed-Size: 127
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.5.4+ds-5
Replaces: libmpfi (<< 1.5.1+ds-1)
Suggests: libmpfi-doc (= 1.5.4+ds-5)
Provides: libmpfi
Depends: libc6 (>= 2.4), libgmp10 (>= 2:6.3.0+dfsg), libmpfr6 (>= 4.0.0)
Conflicts: libmpfi
Filename: pool/universe/m/mpfi/libmpfi0_1.5.4+ds-5_amd64.deb
Size: 36124
SHA512: 578875dfd6b41488f026cf34b50ab6c3fba29d357210d944b369e97897952e8092c29be9665353829240ee426c70b778a25de313b22bf2f18b8b58dbae0f2e88
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- lib
Description-md5: 062409ab526856212342ab4f10dcb533
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Multi-Arch: same
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Task: ubuntustudio-desktop, ubuntustudio-fonts, edubuntu-desktop-gnome, edubuntu-desktop-gnome-raspi