package		license			use
--------------  -----------		------------
MLton		MLton-LICENSE (GPL)	

SML/NJ		NJ-LICENSE		lexer, parser, precedence parser,
					splay trees,
					OS.IO, Posix.IO, Process, Unix

ML Kit		MLKit-LICENSE (GPL)	Path, Time, Date

gdtoa		gdtoa-LICENSE		Real binary <-> decimal conversions

gmp		gmp-LICENSE (LGPL)	IntInf
