Package: libmpfi0-dev-common Priority: optional Section: universe/libdevel Installed-Size: 50 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Architecture: all Source: mpfi Version: 1.5.1+ds-2 Replaces: libmpfi-dev (<= 1.5.1-3) Provides: libmpfi-dev-common Recommends: libmpfi0-dev (= 1.5.1+ds-2) Conflicts: libmpfi-dev-common Breaks: libmpfi-dev (<= 1.5.1-3) Filename: pool/universe/m/mpfi/libmpfi0-dev-common_1.5.1+ds-2_all.deb Size: 6952 MD5sum: b802b846e7e46b962cca9cf43e4cf6d2 SHA1: 9946c354642319a5f3fb91fb5d8ae040052f623b SHA256: 6648a81640f370b4baf678defebcf0267bede44ce82e5283b840b2ec80160be5 Description: multiple precision floating-point interval computation library -- headers Multi-Arch: foreign Homepage: http://mpfi.gforge.inria.fr/ Description-md5: 16bad2ee62363c94c264e4d3d5bb4ec0 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu