[ocaml-infra] [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 Infrastructure mailing list