Skip to content

Third beta for the 1.2 release

Pre-release
Pre-release
Compare
Choose a tag to compare
@AltGr AltGr released this 05 Aug 17:04
· 7686 commits to master since this release
1.2.0-beta3
87a0197

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.
Assets 5
Loading