K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2015-05-31T17:48:59.487386Z
K 7
svn:log
V 171
lang/ocaml: Remove softvfp option from ARMv6 build (no longer required)

PR:		200102
Submitted by:	Mikael Urankar
Approved by:	maintainer (assumed good, not able to test)

END