K 10
svn:author
V 6
pkubaj
K 8
svn:date
V 27
2021-03-01T21:09:20.332112Z
K 7
svn:log
V 70
lang/ocaml: fix build on armv6

Same issue as on armv7.

MFH:		2021Q1

END