Package: libmpfi0-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 277
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: i386
Source: mpfi
Version: 1.5.1+ds-2
Replaces: libmpfi-dev (<= 1.5.1-3)
Provides: libmpfi-dev
Depends: libmpfi0 (= 1.5.1+ds-2), libmpfi0-dev-common (= 1.5.1+ds-2), libmpfr-dev, libgmp-dev
Breaks: libmpfi-dev (<= 1.5.1-3)
Filename: pool/universe/m/mpfi/libmpfi0-dev_1.5.1+ds-2_i386.deb
Size: 33790
MD5sum: 884ebbc6150a37b10b826851fa69b31f
SHA1: c51883fb539fe5d1cd4141a934fcc795fd5c2303
SHA256: 1a4b9ceb1c046cb1da58f0876f5db9ecb00154b70bac95680d733eb6ad83ccc5
Description: multiple precision floating-point interval computation library -- libdev
Multi-Arch: same
Homepage: http://mpfi.gforge.inria.fr/
Description-md5: b4a9e72e03e8fe69b6be2cb690144e91
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu