On 13 August 2014 23:32, Jon Loldrup <loldrup at gmail.com> wrote: > Thank you for your help :) > It almost worked. However, it's missing 'libssl', which has no installation > candidate either through apt-get nor through OPAM: I think libssl-dev is the package you need.