OPAM 1.2.2 Released
OPAM 1.2.2 has just been released. This fixes a few issues over 1.2.1 and brings a couple of improvements, in particular better use of the solver to keep the installation as up-to-date as possible even when the latest version of a package can not be installed.
Upgrade from 1.2.1 (or earlier)
See the normal installation instructions: you should generally pick up the packages from the same origin as you did for the last version -- possibly switching from the official repository packages to the ones we provide for your distribution, in case the former are lagging behind.
There are no changes in repository format, and you can roll back to earlier versions in the 1.2 branch if needed.
- Conflict messages now report the original version constraints without translation, and they have been made more concise in some cases
- Some new
opam lintnow numbers its warnings and may provide script-friendly output
- Feature to automatically install plugins, e.g.
opam depextwill prompt to install
depextif available and not already installed
- Priority to newer versions even when the latest can't be installed (with a recent solver only. Before, all non-latest versions were equivalent to the solver)
opam list --resolveto list a consistent installation scenario
- Be cool by default on errors in OPAM files, these don't concern end-users and
packagers and CI now have
opam lintto check them.
- OSX: state cache got broken in 1.2.1, which could induce longer startup times. This is now fixed
opam config reporthas been fixed to report the external solver properly
--dry-run --verboseproperly outputs all commands that would be run again
- Providing a simple path to an aspcud executable as external solver (through options or environment) works again, for backwards-compatibility
- Fixed a fd leak on solver calls (thanks Ivan Gotovchits)
opam listnow returns 0 when no packages match but no pattern was supplied, which is more helpful in scripts relying on it to check dependencies.
OCamlPro is a R&D lab founded in 2011, with the mission to help industrial users benefit from state-of-the art programming languages like OCaml and Rust.
We design, create and implement custom ad-hoc software for our clients. We also have a long experience in developing and maintaining open-source tooling for OCaml, such as Opam, TryOCaml, ocp-indent, ocp-index and ocp-browser, and we contribute to the core-development of OCaml, notably with our work on the Flambda optimizer branch.
Another area of expertise is that of Formal Methods, with tools such as our SMT Solver Alt-Ergo (check our Alt-Ergo Users'). We also provide vocational trainings in OCaml and Rust, and we can build courses on formal methods on-demand. Please reach out, we'll be delighted to discuss your challenges: email@example.com or book a quick discussion.
Most Recent Articles
- Verification for Dummies: SMT and Induction
- Generating static and portable executables with OCaml
- opam 2.1.0 is released!
- opam 2.0.9 release
- Detecting identity functions in Flambda
- Détection de fonctions d’identité dans Flambda
- opam 2.1.0~rc2 released
- Tutorial: Format Module of OCaml
- Réunion annuelle du Club des utilisateurs d’Alt-Ergo 2021
- New Try-Alt-Ergo