mpfi package in openKylin
libmpfi-dev: multiple precision floating-point interval computation library -- libdev
libmpfi-dev-common: multiple precision floating-point interval computation library -- headers
libmpfi-doc: multiple precision floating-point interval computation library -- doc
libmpfi0: multiple precision floating-point interval computation library -- lib