K 10 svn:author V 2 pi K 8 svn:date V 27 2015-08-16T17:58:13.470875Z K 7 svn:log V 177 lang/ocaml: give execute permissions via pkg-plist to two files PR: 195736 Submitted by: mmatalka@gmail.com Approved by: Michael Gruenewald (maintainer) END