Package: libmpfi-dev Architecture: amd64 Version: 1.5.3+ds-2 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: 307 Depends: libmpfi0 (= 1.5.3+ds-2), libmpfi-dev-common (= 1.5.3+ds-2), 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-2_amd64.deb Size: 31516 MD5sum: 93c1aa04d55a7c837bb830f57549bc69 SHA1: 62e88d591edb14b7ba1d2d6d11001753d5bc15a7 SHA256: b343d03ce786617f7b66471560137701864c2cebce07f6347a28bfba8627f0f5 Homepage: http://mpfi.gforge.inria.fr/ Description: multiple precision floating-point interval computation library -- libdev Description-md5: b4a9e72e03e8fe69b6be2cb690144e91