Skip to content

0.3.3

Choose a tag to compare

View all tags
@NathanReb NathanReb released this 13 Jun 09:25
· 280 commits to main since this release
0.3.3
60d1af7

CHANGES:

Fixed

  • Fix a bug that caused --add-opam-provided and --opam-provided to be
    ignored by the solver. (#314, @NathanReb)

Contributors

NathanReb
Assets 3
Loading