New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

re_export dependencies are ignored #30

Open

glondu opened this issue Dec 31, 2024 · 0 comments

glondu commented Dec 31, 2024

No description provided.

glondu added a commit to glondu/dune-deps that referenced this issue


          Support re_export dependencies (GitHub mjambon#30)

7a707fd

glondu added a commit to glondu/dune-deps that referenced this issue


          Support re_export dependencies (GitHub mjambon#30)

bd1b80b

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment