[opam-devel] OPAM on a Raspberry Pi 2

Dario Teixeira darioteixeira at yahoo.com
Thu Apr 2 10:54:05 BST 2015


> Maybe use the solver farm ?  
> http://cudf-solvers.irill.org/index.html

That's pretty cool!  In the end I solved the problem
simply by upgrading from Wheezy to Jessie, but this
solver farm may indeed come in handy sometime...

Best regards,
Dario Teixeira

More information about the opam-devel mailing list