Package Details

Information about "libmpfi-dev"

label

Name

libmpfi-dev

description

Description

multiple precision floating-point interval computation library -- libdev

update

Version

1.5.4+ds-4

category

Section

libdevel

home

Homepage

https://gitlab.inria.fr/mpfi/mpfi

person

Maintainer

Debian Science Maintainers <[email protected]>

link

Depends

libmpfi0 (= 1.5.4+ds-4), libmpfi-dev-common (= 1.5.4+ds-4), libmpfr-dev, libgmp-dev

thumb_up

Recommends

None

lightbulb

Suggests

None

block

Conflicts

None

swap_horiz

Replaces

None

check_box

Provides

None

description

Filename

pool/main/m/mpfi/libmpfi-dev_1.5.4+ds-4_amd64.deb

Depends Recommends Suggests Conflicts Replaces Provides
Depends
libmpfi0
libmpfi-dev-common
libmpfr-dev
libgmp-dev