[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