-
Notifications
You must be signed in to change notification settings - Fork 2
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
New opam release #6
Comments
@shakthimaan I assigned this issue to you so we can avoid another specific pin in sandmark, and just use the latest opam version |
Now that we are using dune.3.5.0 for 5.1.0+trunk, the constraint is no longer required? |
The problem was:
I don't think the usage of dune 3 in sandmark changes that, but these are pretty minor problems if sandmark is the only place where orun is used. |
We should:
dune < 3
constraintorun
package that includes the now merged refactor: move binary to own dir #4 PR without that constraint, e.g. that can be used by sandmark without needing pinsThe text was updated successfully, but these errors were encountered: