Package: libmpfi-dev-common
Architecture: all
Version: 1.5.3+ds-3
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-3_all.deb
Size: 7700
MD5sum: ca1467769c2acb64f8ebfab8be96008d
SHA1: ac31292e0ea55613496c94956c56cf15c1843ceb
SHA256: 998cc82261206941ad04a51ad37c0ecf6996dc1652ad4d5b979fa98b369568e8
Homepage: http://mpfi.gforge.inria.fr/
Description: multiple precision floating-point interval computation library -- headers
Description-md5: 16bad2ee62363c94c264e4d3d5bb4ec0