Package: libmpfi-dev
Architecture: amd64
Version: 1.5.3+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@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 327
Depends: libmpfi0 (= 1.5.3+ds-3), libmpfi-dev-common (= 1.5.3+ds-3), 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-3_amd64.deb
Size: 32440
MD5sum: 03474bc48ef8086f2c4cf95439ee8250
SHA1: 180c3e87a1b34cdcd093ff1311fcb923e6f3a39e
SHA256: e6c3daf287ba843040e1487b2ef6d4c3cc920e6d3c3b30722e0245d7691f00b9
Homepage: http://mpfi.gforge.inria.fr/
Description: multiple precision floating-point interval computation library -- libdev
Description-md5: b4a9e72e03e8fe69b6be2cb690144e91