Package: libmpfi-dev
Architecture: amd64
Version: 1.5.4+ds-4
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: 313
Depends: libmpfi0 (= 1.5.4+ds-4), libmpfi-dev-common (= 1.5.4+ds-4), libmpfr-dev, libgmp-dev
Filename: pool/universe/m/mpfi/libmpfi-dev_1.5.4+ds-4_amd64.deb
Size: 34622
MD5sum: 455e5f117dc3f3efd0bcf77c4ef5f9ed
SHA1: 214b19871474fce1232adcc16ade88f8f2e9adbd
SHA256: f0c978298e8c6e1ce2942fab85bab66b1dedcec60384168925e69b0ed548ac04
SHA512: 421c23c89dada8d86b710095a39c8829f575dfa8225a67689bcb8b1106add1a590bd38aac82f86dcdfe3d832e7c4951f14cf67e87b43a957df5ae0067a18eb51
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- libdev
Description-md5: b4a9e72e03e8fe69b6be2cb690144e91