K 10
svn:author
V 2
pi
K 8
svn:date
V 27
2015-08-23T10:12:19.031988Z
K 7
svn:log
V 100
lang/ocaml: pet portlint, change pkg-plist as suggested by ohauer

PR:		195736
Submitted by:	ohauer

END