[opam-devel] opam installext packaged up

Peter Zotov whitequark at whitequark.org
Sat Dec 27 19:36:29 GMT 2014

On 2014-12-27 22:20, Anil Madhavapeddy wrote:
> Hi,
> I've been cleaning up some of the bulk building infrastructure, and so
> have packaged up opam-installext into an OPAM package as Thomas
> Gazagnaire suggested a while back:
> https://github.com/ocaml/opam-repository/pull/3296

Nice! The next step is tighter integration with OPAM...

Peter Zotov

More information about the opam-devel mailing list