Hi Joris, Would it be possible to modify the FreeBSD OPAM 1.2.2 port's dependencies? - ocaml-camlp4 should be included by default, since it's necessary for the correct operation of the system compiler. - aspcud should also be on by default, since it's the recommended solver. The internal one is very buggy. thanks! Anil