Package: libmpfi-dev-common Architecture: all Version: 1.5.3+ds-2 Multi-Arch: foreign 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: 34 Suggests: libmpfi-dev Conflicts: libmpfi0-dev-common (<< 1.5.1+ds-3) Breaks: libmpfi-dev (<< 1.5.1+ds-1) Replaces: libmpfi-dev (<< 1.5.1+ds-1), libmpfi0-dev-common (<< 1.5.1+ds-3) Filename: pool/universe/m/mpfi/libmpfi-dev-common_1.5.3+ds-2_all.deb Size: 7664 MD5sum: 491167881ea60731492555705f0358d8 SHA1: 30f5d2dd3570251d05e803a607079b7849ecacab SHA256: eaf4a83e668904469c202a61022016847c6805a78bcb645c66c5585e1bba9499 Homepage: http://mpfi.gforge.inria.fr/ Description: multiple precision floating-point interval computation library -- headers Description-md5: 16bad2ee62363c94c264e4d3d5bb4ec0