You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I wanted to solve this for the next release, but actually accessing the information is more involved than I thought. So I'm removing the next label as I want to release. @AltGr did however promise me to help me...
Presently,
topkg
knows thatcan be mentioned in
opam
but not in_tags
, so every additional build tool needs this choreography:Removing all of the deps marked as
{build}
inopam
from the intersection test with_tags
would help.The text was updated successfully, but these errors were encountered: