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
Some package variables are defined by opam (dev, version, etc.) and others can be created by writing a pkg.config file. It's possible that both of these mechanisms define the same variable, so there should be a documented way to resolve such a conflict.
The text was updated successfully, but these errors were encountered:
Some package variables are defined by opam (
dev
,version
, etc.) and others can be created by writing apkg.config
file. It's possible that both of these mechanisms define the same variable, so there should be a documented way to resolve such a conflict.The text was updated successfully, but these errors were encountered: