OPAM 1.1.1 released
We are proud to announce that OPAM 1.1.1 has just been released.
This minor release features mostly stability and UI/doc improvements over
OPAM 1.1.0, but also focuses on improving the API and tools to be a better
base for the platform (functions for
opam-doc, interface with tools like
opam-installer). Lots of bigger changes are in the works, and
will be merged progressively after this release.
Installation instructions are available on the wiki.
The 'official' package repository is now hosted at opam.ocaml.org, synchronised with the Git repository at http://github.com/ocaml/opam-repository, where you can contribute new packages descriptions. Those are under a CC0 license, a.k.a. public domain, to ensure they will always belong to the community.
Thanks to all of you who have helped build this repository and made OPAM such a success.
From the changelog:
opam-admin make <packages> -r(#990)
- Explicitly prettyprint list of lists, to fix
- Tell the user which fields is invalid in a configuration file (#1016)
OpamSolver.empty_universefor flexible universe instantiation (#1033)
- Add types
- Clearer command aliases. Made
infoan alias for
showand added the alias
opam init --root=<relative path>(#1047)
- Display OS constraints in
- Add a new 'opam-installer' script to make
.installfiles usable outside of opam (#1026)
- Add a
opam-admin makethat builds just the archives you need for a specific installation (#1031)
- Fixed handling of spaces in filenames in internal files (#1014)
- Replace calls to
whichby a more portable call (#1061)
- Fixed generation of the init scripts in some cases (#1011)
- Better reports on package patch errors (#987, #988)
- More accurate warnings for unknown package dependencies (#1079)
opam config reportto help with bug reports (#1034)
- Do not reinstall dev packages with
opam upgrade <pkg>(#1001)
- Be more careful with
opam initto a non-empty root directory (#974)
- Cleanup build-dir after successful compiler installation to save on space (#1006)
- Improved OSX compatibility in the external solver tools (#1074)
- Fixed messages printed on update that were plain wrong (#1030)
- Improved detection of meaningful changes from upstream packages to trigger recompilation
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. Do not hesitate to reach out by email: email@example.com.