build: Require GMP >= 4.2.
authorLudovic Courtès <ludo@gnu.org>
Thu, 28 Mar 2013 21:53:59 +0000 (22:53 +0100)
committerLudovic Courtès <ludo@gnu.org>
Thu, 28 Mar 2013 21:53:59 +0000 (22:53 +0100)
commit465ff50245e0f5deb26612ac7401b51c415deeb0
treefa04757c5556c187b0f02f4e1bca2d8f2dfca036
parent2a7d614cc0bc902895cdb873590e8a24cf680368
build: Require GMP >= 4.2.

* NEWS, README: Update.
NEWS
README