Singular/Sources — pull request #333 by mmklee (2013-06-03 15:23:44+00:00)
Title: chg: check if NTL_GMP_LIP=on was given to NTL's configure

viewLog.html?buildId=6996&tab=buildResultsDiv&buildTypeId=bt7