<div dir="ltr"><div class="gmail_extra">FYI, I'm trying out the advice of Török Edwin: compiling OPAM on a recent Ubuntu box (14.04 LTS) with musl-gcc. I'll let you know if the opam executable runs on CentOS 6.5, it's a matter of minutes.</div>


<div class="gmail_extra"><br><div><br></div>-- <br><div dir="ltr"><i>Paolo</i><br></div>
</div></div>