K 10 svn:author V 6 jbeich K 8 svn:date V 27 2015-02-17T03:36:58.918291Z K 7 svn:log V 152 - Track libgmp dependency via GMP option - Enable GMP by default per upstream [1] [1] http://www.nongnu.org/numdiff/numdiff.html#with-GNU-MP-is-better END