| -1669167611 | | Tools for the FPBench numerical software standards (more info at http://fpbench.org/) This package needs documentation This package needs license metadata | succeeds | 4 |
| -1635658901 | | Alternative MPFR interface for emulating IEEE-754 floating-point numbers This package needs license metadata | succeeds | 2 |
| -1692415189 | | A tool for automatically improving the accuracy of floating point expressions This package needs documentation This package needs license metadata | succeeds; has conflicts; has dependency problems; has failing tests | 5 |
| -1700074527 | | Interval analysis for real computation This package needs license metadata | succeeds; has failing tests | 5 |
| -1698364566 | | SoftPosit support for Herbie This package needs documentation This package needs license metadata | fails | 6 |