[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