kframework/k — pull request #516 by dwightguth (2014-05-29 20:33:25+00:00)
Title: add linux 32 bit mpfr

@andreistefanescu please review