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