K 10 svn:author V 7 fernape K 8 svn:date V 27 2018-06-29T16:48:10.983412Z K 7 svn:log V 228 lang/polyml: update to 5.7.1 Move some variables to its place. PR: 229273 Reported by: hannes@mehnert.org Approved by: tcberner (mentor) beyert@cs.ucr.edu (maintainer) Differential Revision: https://reviews.freebsd.org/D16022 END