Singular/Sources — pull request #402 by jakobkroeker (2013-10-15 13:52:04+00:00)
Title: min required gmp version is 4.3.2  and no longer 3.1.1

See track ticket
http://www.singular.uni-kl.de:8002/trac/ticket/501