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

Update gmp to 6.1.0 #88

Closed opsyseng closed 8 years ago

opsyseng commented 8 years ago

upstream release 6.1.0 of gmp