Skip to content

Second beta for the 1.2 release

Pre-release
Pre-release
Compare
Choose a tag to compare
@AltGr AltGr released this 31 Jul 15:47
· 7302 commits to master since this release

BROKEN: stick to beta1 for now

This version introduces many new features and lots of improvement, mostly related to UI and stability, and the new, integrated development workflow.

Important notes

  • There are small changes in the repository format, your .opam/ will be automatically updated on first run. Be careful to backup if you intend to try out the new version and switch back
  • If you were using a recent git snapshot, opam 1.2.0~beta may complain that your local repo is version 1.2.0 which is higher than 1.2.0~beta. You can fix it by editing the opam-version field in .opam/config or setting OPAMSKIPVERSIONCHECKS=1.