Singular/Sources — pull request #492 by mmklee (2014-01-29 15:10:08+00:00)
Title: fix: compile without NTL with FLINT

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