| -1655581829 | | This package needs a description This package needs documentation This package needs tags | succeeds; has conflicts; has dependency problems; has failing tests | 4 |
| -1661007036 | | This package needs a description This package needs documentation This package needs tags | succeeds; has conflicts; has dependency problems; has failing tests | 4 |
| -1660211430 | | This package needs a description This package needs documentation This package needs tags | succeeds; has dependency problems; has failing tests | 4 |
| -1651692341 | | Tools for the FPBench numerical software standards (more info at http://fpbench.org/) This package needs documentation | succeeds | 3 |
| -1655053031 | | A tool for automatically improving the accuracy of floating point expressions This package needs documentation | succeeds; has conflicts; has dependency problems; has failing tests | 4 |
| -1653378332 | | A pure-Racket equivalence graph This package needs documentation | succeeds | 3 |
| -1664844089 | | Interval analysis for real computation | succeeds; has failing tests | 4 |
| -1655097428 | | SoftPosit support for Herbie This package needs documentation | succeeds; has conflicts; has failing tests | 4 |
| -1655075815 | | Racket bindings for the C softposit library. More info at posithub.org (currently only works on Linux 64-bit.) | succeeds; has failing tests | 4 |