Closed TyOverby closed 4 years ago
My understanding is that bonsai_web
is indeed part of the bonsai
package because its public name is bonsai.web
.
If we want bonsai_web
to be independent, we should set its public
name to e.g. bonsai_web
.
If we want bonsai_web to be independent, we should set its public name to e.g. bonsai_web.
Can we do this and keep them both in the same github repository?
I would expect “bonsai” opam package to have only the dependencies listed in
src/dune
, and for the dune project inside of thebonsai_web
subdirectory to be published as well.