On Mon, 30 Aug 2021 20:57:50 +0900, Lemures Lemniscati > Hi ! > > [ITP] A new package proposal: mpfi > > * libmpfi-devel-1.5.3-1 > * libmpfi-doc-1.5.3-1 > * libmpfi0-1.5.3-1 > > * mpfi-1.5.3-1-src > * mpfi-debuginfo-1.5.3-1 > > > ==== > > mpfi 1.5.3 > > Summary: MPFI: Multiple Precision Floating-Point Interval Library > Description: > A library for interval arithmetic, > which is built upon the MPFR multiple precision floating-point > arithmetic library. > License: LGPL2.1 > Category: Math Libs > > Homepage: https://gitlab.inria.fr/mpfi/mpfi/ > News: https://gitlab.inria.fr/mpfi/mpfi/-/blob/1.5.3/mpfi/NEWS > > > ==== > Corresponding Linux/Unix packages are searched: > https://repology.org/project/mpfi/versions > > Current cygport file is in a git repository: > https://github.com/cygwin-lem/mpfi-cygport/tree/mpfi-1.5.3-1 > > Current package files are placed at > https://cygwin-lem.github.io/mpfi-cygport/ > or in a git branch > https://github.com/cygwin-lem/mpfi-cygport/tree/mpfi-1.5.3-1_gh-pages > > ==== > > Although mpfi-1.5.4 is released, it seems to be left incomplete and > unable to pass its testsuite. > So, I guess, mpfi-1.5.3 is better than 1.5.4. >
By the way, I wonder if the maintainer of mpfr and gmp. to which mpfi is closely linked, would take a maintainership of mpfi, also. What would you think of it, Achim? Regards, Lem