K 10 svn:author V 2 pi K 8 svn:date V 27 2014-10-13T19:33:54.315958Z K 7 svn:log V 183 lang/smlnj: 110.76 -> 110.77 Changelog: http://www.smlnj.org/dist/working/110.77/110.77-README.html - defined LICENSE PR: 193431 Submitted by: joemann@beefree.free.de (maintainer) END