UbuntuUpdates.org

Package "libmpfi-dev"

Name: libmpfi-dev

Description:

multiple precision floating-point interval computation library -- libdev

Latest version: 1.5.3+ds-6
Release: lunar (23.04)
Level: base
Repository: universe
Head package: mpfi
Homepage: https://gitlab.inria.fr/mpfi/mpfi

Links


Download "libmpfi-dev"


Other versions of "libmpfi-dev" in Lunar

No other version of this package is available in the Lunar release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates