Allow odoc 1.4.2 to install
Allow odoc 1.4.2 to install

Signed-off-by: David Allsopp <c9f3edd67895121805b8da006fd27cc8ebcfeb7e@metastack.com>

dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder