Package: libmpfi-dev
Architecture: amd64
Version: 1.5.3+ds-6build1
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: 303
Depends: libmpfi0 (= 1.5.3+ds-6build1), libmpfi-dev-common (= 1.5.3+ds-6build1), libmpfr-dev, libgmp-dev
Conflicts: libmpfi-dev (<< 1.5.1+ds-3), libmpfi0-dev (<< 1.5.1+ds-3)
Replaces: libmpfi0-dev (<< 1.5.1+ds-3)
Filename: pool/universe/m/mpfi/libmpfi-dev_1.5.3+ds-6build1_amd64.deb
Size: 33776
MD5sum: 0a0cf94d55a21129c77c074cd2d5ab95
SHA1: 5c478859c18bd2fa3f6e0f670d54ba0eb1c04799
SHA256: c7168d774142e90e9b2a5a6a853013a6de977df37fec90cc83eb35ac827e4b2e
SHA512: 6cc37b038d0573ed1c09c490c939f7a782dee6aabcdb47b91905111805baa9a0702cb1a30317d628d6ed1df1a503eda62ad703747541ee0ae8d28a28c7fec254
Homepage: https://gitlab.inria.fr/mpfi/mpfi
Description: multiple precision floating-point interval computation library -- libdev
Description-md5: b4a9e72e03e8fe69b6be2cb690144e91