K 10 svn:author V 2 bf K 8 svn:date V 27 2012-12-16T05:34:02.114222Z K 7 svn:log V 66 update sbcl to 1.1.2 and maxima to 5.29.1; adjust dependent ports END