Thanks to the obuild maintainer Jerome Maloberti and contributions from
Jacques Pascal Deplaix and Andy Li.
This is already in the opam repository.
1 Like
Thanks to the obuild maintainer Jerome Maloberti and contributions from
Jacques Pascal Deplaix and Andy Li.
This is already in the opam repository.