K 10
svn:author
V 6
marino
K 8
svn:date
V 27
2014-03-29T17:35:09.284704Z
K 7
svn:log
V 75
lang/ocaml: Restore CMP_LIB option in the definitions

noticed by:	sunpoet

END