Package: libmpfi-dev
Architecture: amd64
Version: 1.5.4+ds-3
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-3), libmpfi-dev-common (= 1.5.4+ds-3), libmpfr-dev, libgmp-dev
Filename: pool/universe/m/mpfi/libmpfi-dev_1.5.4+ds-3_amd64.deb
Size: 34444
MD5sum: 63abd30a0f68ac80dac582deed51ecb6
SHA1: aa61ee4e618bc7c74a136d9c25c15335c82e6fa9
SHA256: 03baf4a0e8bafab5f8a5ce9a1a63fde0ce56ad67eeca46c1ff342265dbea9a1b
SHA512: 0d12e4166fad0f5d4e574e5c1d9d8e6f3e0b1fdbfed03f12ec11b8af4e3a5a9b780e958cda3bedcf593687a391afd821c511e630ae31aa9b7cd9a227b620d8dc
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- libdev
Description-md5: b4a9e72e03e8fe69b6be2cb690144e91