Package: libmpfi-dev
Source: mpfi
Priority: optional
Section: universe/libdevel
Installed-Size: 315
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.5.4+ds-4build1
Depends: libmpfi0 (= 1.5.4+ds-4build1), libmpfi-dev-common (= 1.5.4+ds-4build1), libmpfr-dev, libgmp-dev
Filename: pool/universe/m/mpfi/libmpfi-dev_1.5.4+ds-4build1_amd64.deb
Size: 35682
MD5sum: d3e53d0b4b61d9f0649b42bc4ec662ff
SHA1: 902ca3e6e46941bb0a87d4924f8678c30fa40a86
SHA256: 0b30bb11eeaaab6279ac609e44729de864437816c64a8b3360cc0065041327e9
SHA512: 4534bd4eaa70bc2db33d0a280ff28c33f7b10ff97b7d1da6c143038a74962928cb5972cdc448fb3758b7dd9771106b0c95c4ad6edc3cebe3dcb548bddf0dc0bf
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- libdev
Description-md5: b4a9e72e03e8fe69b6be2cb690144e91
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Multi-Arch: same
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug