search

opaquesystems / openkaos

OpenKaOS is a developer toolkit for building lightweight Linux platforms for a wide variety of uses
GNU General Public License v2.0
0 stars 1 forks source link

MPFR upstream fixes #71

Closed opsyseng closed 8 years ago

opsyseng commented 8 years ago

There are a number of upstream fixes from 8/25 that need to be integrated into the build.