This box provides OCaml and OPAM. If you also want Coq, use https://app.wercker.com/#explore/boxes/amutake/coq or https://app.wercker.com/#explore/boxes/amutake/ssreflect (They don't say anything about OCaml/OPAM, but they have!)
The MIT License (MIT)
- Installing binutils
- Initial release