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
opamfu
and opam-installer
). Lots of bigger changes are in the works, and
will be merged progressively after this release.
Installing
Installation instructions are available on the wiki.
Note that some packages may take a few days until they get out of the pipeline. If you're eager to get 1.1.1, either use our binary installer or compile from source.
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.
Changes
From the changelog:
- Fix
opam-admin make <packages> -r
(#990) - Explicitly prettyprint list of lists, to fix
opam-admin depexts
(#997) - Tell the user which fields is invalid in a configuration file (#1016)
- Add
OpamSolver.empty_universe
for flexible universe instantiation (#1033) - Add
OpamFormula.eval_relop
andOpamFormula.check_relop
(#1042) - Change
OpamCompiler.compare
to matchPervasives.compare
(#1042) - Add
OpamCompiler.eval_relop
(#1042) - Add
OpamPackage.Name.compare
(#1046) - Add types
version_constraint
andversion_formula
toOpamFormula
(#1046) - Clearer command aliases. Made
info
an alias forshow
and added the aliasuninstall
(#944) - Fixed
opam init --root=<relative path>
(#1047) - Display OS constraints in
opam info
(#1052) - Add a new 'opam-installer' script to make
.install
files usable outside of opam (#1026) - Add a
--resolve
option toopam-admin make
that builds just the archives you need for a specific installation (#1031) - Fixed handling of spaces in filenames in internal files (#1014)
- Replace calls to
which
by 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)
- Added
opam config report
to help with bug reports (#1034) - Do not reinstall dev packages with
opam upgrade <pkg>
(#1001) - Be more careful with
opam init
to 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
Au sujet d'OCamlPro :
OCamlPro développe des applications à haute valeur ajoutée depuis plus de 10 ans, en utilisant les langages les plus avancés, tels que OCaml et Rust, visant aussi bien rapidité de développement que robustesse, et en ciblant les domaines les plus exigeants (méthodes formelles, cybersécurité, systèmes distribués/blockchain, conception de DSLs). Fort de plus de 20 ingénieurs R&D, avec une expertise unique sur les langages de programmation, aussi bien théorique (plus de 80% de nos ingénieurs ont une thèse en informatique) que pratique (participation active au développement de plusieurs compilateurs open-source, prototypage de la blockchain Tezos, etc.), diversifiée (OCaml, Rust, Cobol, Python, Scilab, C/C++, etc.) et appliquée à de multiples domaines. Nous dispensons également des [formations sur mesure certifiées Qualiopi sur OCaml, Rust, et les méthodes formelles] (https://training.ocamlpro.com/) Pour nous contacter : contact@ocamlpro.com.
Articles les plus récents
2024
- opam 2.3.0 release!
- Optimisation de Geneweb, 1er logiciel français de Généalogie depuis près de 30 ans
- Alt-Ergo 2.6 is Out!
- Flambda2 Ep. 3: Speculative Inlining
- opam 2.2.0 release!
- Flambda2 Ep. 2: Loopifying Tail-Recursive Functions
- Fixing and Optimizing the GnuCOBOL Preprocessor
- OCaml Backtraces on Uncaught Exceptions
- Opam 102: Pinning Packages
- Flambda2 Ep. 1: Foundational Design Decisions
- Behind the Scenes of the OCaml Optimising Compiler Flambda2: Introduction and Roadmap
- Lean 4: When Sound Programs become a Choice
- Opam 101: The First Steps
2023
- Maturing Learn-OCaml to version 1.0: Gateway to the OCaml World
- The latest release of Alt-Ergo version 2.5.1 is out, with improved SMT-LIB and bitvector support!
- 2022 at OCamlPro
- Autofonce, GNU Autotests Revisited
- Sub-single-instruction Peano to machine integer conversion
- Statically guaranteeing security properties on Java bytecode: Paper presentation at VMCAI 23
- Release of ocplib-simplex, version 0.5