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-4build1
Replaces: libmpfi (<< 1.5.1+ds-1)
Suggests: libmpfi-doc (= 1.5.4+ds-4build1)
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-4build1_amd64.deb
Size: 36592
MD5sum: 38de3d5f1bc2fbc9898dc637c8810ea6
SHA1: 56f4334f631838b14d178f441d847dba914cec75
SHA256: a387cd3668fbdfe2d17a76a7878b52dfb1a605e72a9266aa6cb8e43e2c0c453c
SHA512: 165223041fe9ba51e23d62b1b559275fc3f0adf555a587ec449d0dc97c252df17f90d6a1a9e319a624e8677bfb731b1283bd4a17649cd58ce6e221bb4dce1eff
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@alioth-lists.debian.net>
Multi-Arch: same
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Task: ubuntustudio-desktop, ubuntustudio-fonts, edubuntu-desktop-gnome, edubuntu-desktop-gnome-raspi