Hi everyone, We’re happy to announce the release of opam 2.5.0 and encourage all users to upgrade. Note: the following section will recap the various major changes in opam 2.5.0 for anyone who haven’t already read the …