View all changes

Mdx 0.3.3

CHANGES:

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