kframework/mpfr-java — pull request #4 by dwightguth (2014-06-12 14:04:04+00:00)
Title: More updates to mpfr-java

* update for mac os x
* check in build scripts