Package: libmpfi-dev
Priority: optional
Section: universe/libdevel
Installed-Size: 291
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Laurent Fousse <lfousse@debian.org>
Architecture: i386
Source: mpfi
Version: 1.5.1-3
Depends: libgmp-dev, libmpfr-dev (>= 2.2.0.dfsg.1-1), libmpfi0 (= 1.5.1-3)
Filename: pool/universe/m/mpfi/libmpfi-dev_1.5.1-3_i386.deb
Size: 49776
MD5sum: 83781cf4b57e3bb5a802c26107ad8524
SHA1: 16cbb139c6df7a261745fd7da3c3f722aeedff87
SHA256: 668ac8e8e43756668d39fe9a2d760ac5f89004e6aca31caf3160dc4bcc27cb88
Description: multiple precision floating-point interval computation library
Homepage: http://mpfi.gforge.inria.fr/
Description-md5: 17a69e4b7ba2647cec0c01482b30bd42
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu