Fixes

• Fix executing ppx executables

Features

• Add better support for code folding: more folds and more precise folds

Fixes

• Fix infer interface code action crash when implementation source does not exist (#597)

• Improve error message when the reason plugin for merlin is absent (#608)

• Fix chdir races when running ppx (#550)

• More accurate completion kinds. New completion kinds for variants and fields. Removed inaccurate completion kinds for constructors and types. (#510)

• Fix handling request cancellation (#616)

• Remove uchar and seq dummy ocamlfind libraries from dune's builtin library database (#5260, @kit-ty-kate)

• Add a DUNE_DIFF_COMMAND environment variable to match --diff-command command-line parameter (@raphael-proust, fix #5369, #5375)

• Add support for odoc-link rules (#5045, @jonludlam, @lubegasimon)

• Dune will no longer generate documentation for hidden modules (#5045, @jonludlam, @lubegasimon)

• Parse the native_pack_linker field of ocamlc -config (#5281, @TheLortex)

• Fix plugins with dot in the name (#5182, @bobot, review @rgrinberg)

• Don't generate the dune-site build part when not needed (#4861, @bobot, review @kit-ty-kate)

• Fix installation of implementations of virtual libraries (#5150, fix #3636, @rgrinberg)

• Run tests in all modes defined. Previously, jsoo was excluded. (@hhugo, #5049, fix #4951)

• Allow to configure the alias to run the jsoo tests (@hhugo, #5049, #4999)

• Set jsoo compilation flags in the env stanza (@hhugo, #5049, #1613)

• Allow to configure jsoo separate compilation in the env stanza. Previously, it was hard coded to always be enabled in the dev profile. (@hhugo, #5049, fix #970)

• Fix build-info version in jsoo executables (@hhugo, #5049, fix #4444)

• Pass -no-check-prims when building bytecode for jsoo (@hhugo, #5049, #4027)

• Fix jsoo builds when dynamically linked foreign archives are disabled (@hhugo, #5049)

• Disallow empty packages starting from 3.0. Empty packages may be re-enabled by adding the (allow_empty) to the package stanza in the dune-project file. (#4867, fix #2882, @kit-ty-kate, @rgrinberg)

• Add link_flags field to the executable field of inline_tests (#5088, fix #1530, @jvillard)

• In watch mode, use fsevents instead of fswatch on OSX (#4937, #4990, fixes #4896 @rgrinberg)

• Remove inotifywait watch mode backend on Linux. We now use the inotify API exclusively (#4941, @rgrinberg)

• Report cycles between virtual libraries and their implementation (#5050, fixes #2896, @rgrinberg)

• Warn when lang versions have an ignored suffix. (lang dune 2.3.4) or (lang dune 2.3suffix) were silently parsed as 2.3 and we know suggest to remove the prefix. (#5040, @emillon)

• Allow users to specify dynamic dependencies in rules. For example (deps %{read:foo.gen}) (#4662, fixes #4089, @jeremiedimino)

• Sandbox infer rules for menhir. Fixes possible "inconsistent assumptions" errors (#5015, @rgrinberg)

• Experimental support for ctypes stubs (#3905, fixes #135, @mbacarella)

• Fix interpretation of binaries defined in the env stanza. Binaries defined in x/dune wouldn't be visible in `x/*/**/dune. (#4975, fixes #4976, @Leonidas-from-XIV, @rgrinberg)

• Do not list private libraries in package listings (#4945, fixes #4799, @rgrinberg)

• Allow spaces in cram test paths (#4980, fixes #4162, @rgrinberg)

• Improve error handling of misbehaving cram scripts. (#4981, fix #4230, @rgrinberg)

• Fix foreign_stubs inside a tests stanza. Previously, dune would crash when this field was present (#4942, fix #4946, @rgrinberg)

• Add the enabled_if field to inline_tests within the library stanza. This allows us to disable executing the inline tests while still allowing for compilation (#4939, @rgrinberg)

• Generate a dune-project when initializing projects with dune init proj ... (#4881, closes #4367, @shonfeder)

• Allow spaces in the directory argument of the subdir stanza (#4943, fixes #4907, @rgrinberg)

• Add a %{toolchain} expansion variable (#4899, fixes #3949, @rgrinberg)

• Include dependencies of executables when creating toplevels (either dune top or dune utop) (#4882, fixes #4872, @Gopiancode)

• Fixes opam META file requires entry for private libs (#4841, fixes #4839, @toots)

• Fixes dune exec not adding .exe on Windows (#4371, fixes #3322, @MisterDA)

• Allow multiple cinaps stanzas in the same directory (#4460, @rgrinberg)

• Fix $ dune subst in empty git repositories (#4441, fixes #3619, @rgrinberg)

• Improve interpretation of ansi escape sequence when spawning processes (#4408, fixes #2665, @rgrinberg)

• Allow (package pkg) in dependencies even if pkg is an installed package (#4170, @bobot)

• Allow %{version:pkg} to work for external packages (#4104, @kit-ty-kate)

• Add (glob_files_rec <dir>/<glob>) for globbing files recursively (#4176, @jeremiedimino)

• Automatically generate empty .mli files for executables and tests (#3768, fixes #3745, @CraigFe)

• Add ocaml command subgroup for OCaml related commands such as utop, top, and merlin (#3936, @rgrinberg).

• Detect unknown variables more eagerly (#4184, @jeremiedimino)

• Improve location of variables and macros in error messages (#4205, @jeremiedimino)

• Auto-detect dune-project files as dune files in Emacs (#4222, @shonfeder)

• Dune no longer automatically create or edit dune-project files (#4239, fixes #4108, @jeremiedimino)

• Warn if dune-project is not found (fatal in release mode) (#5343, @emillon)

• Cleanup temporary files after running $ dune exec. (#4260, fixes #4243, @rgrinberg)

• Add a new subcommand dune ocaml dump-dot-merlin that prints a mix of all the merlin configuration of a directory (defaulting to the current directory) in the Merlin configuration syntax. (#4250, @voodoos)

• Enable cram tests by default (#4262, @rgrinberg)

• Drop support for opam 1.x (#4280, @jeremiedimino)

• Stop calling ocamlfind to determine the library search path or library installation directory. This makes the behavior of Dune simpler and more reproducible (#4281, @jeremiedimino)

• Remove the external-lib-deps command. This command was only approximative and the cost of maintainance was getting too high. We removed it to make room for new more important features (#4298, @jeremiedimino)

• It is now possible to define action dependencies through a chain of aliases. (#4303, @aalekseyev)

• If an .ml file is not used by an executable, Dune no longer report parsing error in this file (#4330, @jeremiedimino)

• Add support for sandboxing using hard links (#4360, Andrey Mokhov)

• Fix dune crash when subdir is an absolute path (#4366, @anmonteiro)

• Changed the implementation of actions attached to aliases, as in (rule (alias runtest) (action (run ./test))). A visible result for users is that such actions are now memoized for longer. For instance:

  $ echo '(rule (alias runtest) (action (echo "X=%{env:X=0}\n")))` > dune
  $ X=1 dune runtest
  X=1
  $ X=2 dune runtest
  X=2
  $ X=1 dune runtest
  

  Previously, Dune would have re-executed the action again at the last line. Now it remembers the result of the first execution.

• Fix a bug where dune would always re-run all actions that produce symlinks, even if their dependencies did not change. (#4405, @aalekseyev)

• Fix a bug that was causing Dune to re-hash generated files more often than necessary (#4419, @jeremiedimino)

• Fields allowed in the config file are now also allowed in the workspace file (#4426, @jeremiedimino)

• Add options to control how Dune should handle stdout and stderr of actions when then succeed. It is now possible to ask Dune to ignore the stdout of actions when they succeed or to request that the stderr of actions must be empty. This allows to reduce the noise of large builds (#4422, #4515, @jeremiedimino)

• The @all alias no longer depends directly on copies of files from the source directory (#4461, @nojb)

• Allow dune-file as an alternative file name for dune files (needs to be enabled in the dune-project file) (#4428, @nojb)

• Drop support for upgrading jbuilder projects (#4473, @jeremiedimino)

• Extend the environment variable BUILD_PATH_PREFIX_MAP to rewrite the root of the build dir (or sandbox) to /workspace_root (#4466, @jeremiedimino)

• Simplify the implementation of build cache. We stop using the cache daemon to access the cache and instead write to and read from it directly. The new cache implementation is based on Jenga's cache library, which was thoroughly tested on large-scale builds. Using Jenga's cache library will also make it easier for us to port Jenga's cloud cache to Dune. (#4443, #4465, Andrey Mokhov)

• More informative error message when Dune can't read a target that's supposed to be produced by the action. Old message is still produced on ENOENT, but other errors deserve a more detailed report. (#4501, @aalekseyev)

• Fixed a bug where a sandboxed action would fail if it declares no dependencies in its initial working directory or any directory it chdirs into. (#4509, @aalekseyev)

• Fix a crash when clearing temporary directories (#4489, #4529, Andrey Mokhov)

• Dune now memoizes all errors when running in the file-watching mode. This speeds up incremental rebuilds but may be inconvenient in rare cases, e.g. if a build action fails due to a spurious error, such as running out of memory. Right now, the only way to force such actions to be rebuilt is to restart Dune, which clears all memoized errors. In future, we would like to provide a way to rerun all actions failed due to errors without restarting the build, e.g. via a Dune RPC call. (#4522, Andrey Mokhov)

• Remove dune compute. It was broken and unused (#4540, @jeremiedimino)

• No longer generate an approximate merlin files when computing the ocaml flags fails, for instance because they include the contents of a file that failed to build. This was a niche feature and it was getting in the way of making Dune's core better. (#4607, @jeremiedimino)

• Make Dune display the progress indicator in all output modes except quiet (#4618, @aalekseyev)

• Report accurate process timing information in trace mode (enabled with --trace-file) (#4517, @rgrinberg)

• Do not log live_words and free_words in trace file. This allows using Gc.quick_stat which does not scan the heap. (#4643, @emillon)

• Don't let command run by Dune observe the environment variable INSIDE_EMACS in order to improve reproducibility (#4680, @jeremiedimino)

• Fix root_module when used in public libraries (#4685, fixes #4684, @rgrinberg, @CraigFe)

• Fix root_module when used with preprocessing (#4683, fixes #4682, @rgrinberg, @CraigFe)

• Display Coq profile flags in dune printenv (#4767, @ejgallego)

• Introduce mdx stanza 0.2, requiring mdx >= 1.9.0, with a new generic deps field and the possibility to statically link libraries in the test executable. (#3956, #5391, fixes #3955)

• Improve lookup of optional or disabled binaries. Previously, we'd treat every executable with missing libraries as optional. Now, we treat make sure to look at the library's optional or enabled_if status (#4786).

• Always use 7 char hash prefix in build info version (#4857, @jberdine, fixes #4855)

• Allow to explicitly disable/enable the use of dune subst by adding a new (subst <disable|enable>) stanza to the dune-project file. (#4864, @kit-ty-kate)

• Simplify the way dune discovers the root of the workspace. It now stops at the first dune-workspace file it encounters, and fails if it finds neither a dune-workspace nor a dune-project file (#4921, fixes #4459, @jeremiedimino)

• Dune no longer reads installed META files for libraries distributed with the compiler, instead using its own internal database. (#4946, @nojb)

• Add support for (empty_module_interface_if_absent) in executable and library stanzas. (#4955, @nojb)

• Add support for %{bin-available:...} (#4995, @jeremiedimino)

• Make sure running git or hg in a sandboxed action, such as a cram test cannot escape the sandbox and pick up some random git or mercurial repository on the file system (#4996, @jeremiedimino)

• Allow %{read:...} in more places such as (enabled_if ...) (#4994, @jeremiedimino)

• Run each action in its own process group so that we don't leave stray processes behind when killing actions (#4998, @jeremiedimino)

• Add an option expand_aliases_in_sandbox (#5003, @jeremiedimino)

• Allow to cancel the initial scan via Control+C (#4460, fixes #4364 @jeremiedimino)

• Add experimental support for directory targets (#3316, #5025, Andrey Mokhov), enabled via (using directory-targets 0.1) in dune-project.

• Delete old promote-into, promote-until-clean and promote-until-clean-into syntax (#5091, Andrey Mokhov).

• Add link_flags in the env stanza (#5215)

• Bootstrap: ignore errors when trying to remove generated files. (#5407, @damiendoligez)

Added

• Add --skip-lint, --skip-build, --skip-test and --keep-build-dir to the main command (#419, @NathanReb)
• Added support for parsing changelogs written in the style of keepachangelog.com (#421, @ifazk)

Additions

• New subcommand to resolve references (@panglesd, @lubegasimon, #812)
• Improved rendering of long signatures (@panglesd, #782)
• Handle comments attached to open statement as floating comment, instead of dropping them (@panglesd, #797)
• Empty includes (containing entirely shadowed entries) are now hidden (@panglesd, #798)

Bugs fixed

• Fix a missing Result constructor during compile. This will cause some functor arguments to have different filenames (@jonludlam, #795)
• Better memory/disk space usage when handling module alias chains (@jonludlam, #799)
• Resolving class-type paths (ie., val x : #c) (@jonludlam, #809)
• Skip top-level attributes while extracting the top comment. Fix top-comment extraction with PPX preprocessing (@jorisgio, #819)
• Better handling of @canonical tags (@jonludlam, #820)
• css: improved layout (@jonludlam, @Julow, #822)

Added

• Add support for adding language tags and metadata labels in mli files. (#339, #357, @julow, @Leonidas-from-XIV)
• Add support for running non-deterministic tests in dune MDX 0.2 stanza by setting the MDX_RUN_NON_DETERMINISTIC environment variable. (#365, #366, @Leonidas-from-XIV)

• Disable warning for deprecated Toploop functions used in dune files written in OCaml syntax. Restores 4.02 compatibility. (#5381, @nojb)

• Fix missing -linkall flag when linking library dune-sites.plugin ( #4348, @kakadu, @bobot, reported by @kakadu)

• No longer reference deprecated Toploop functions when using dune files in OCaml syntax. (#4834, fixes #4830, @nojb)

• Use the stag format API to be compatible with OCaml 5.0 (#5351, @emillon).

• Fix post-processing of dune-package (fix #4389, @strub)

Added

• Add trailing ;; to the output of toplevel phrases that were missing it. (#346, @Leonidas-from-XIV)
• Make MDX compatible with OCaml 4.14 (#356, @NathanReb)

Fixed

• Use the same output as the normal toplevel. Mdx used to carry an unsafe patch to work around a bug fixed in OCaml 4.06 and that patch would change the printed types in some corner cases. (#322, @emillon)

Removed

• Dropped compatibility with older OCaml versions. The minimal supported range is 4.08 to 4.13 now (#345, @Leonidas-from-XIV)
• Do not install deprecated mdx binary anymore (#274, @gpetiot)
• Remove deprecated rule command (#312, @gpetiot)
• Remove support for require-package label, use the mdx stanza in dune instead. This label was only used for the rule command and can now be safely removed. (#363, @Leonidas-from-XIV)

New features

• Update to odoc-parser 1.0.0 (#1843, @Julow). New syntax: code blocks can carry metadata, e.g.: {@ocaml kind=toplevel env=e1[ code ]}

• Add support for OCaml 4.14 (#304, @kit-ty-kate)
• Expand nodes before applying derivers or other inline attributes based transformation, allowing better interactions between extensions and derivers (#279, #297, @NathanReb)
• Add support for registering ppx_import as a pseudo context-free rule (#271, @NathanReb)
• Add input_name to the Expansion_context.Extension and Expansion_context.Deriver modules (#284, @tatchi)
• Improve gen_symbol to strip previous unique suffix before adding a new one (#285, @ceastlund)
• Improve name_type_params_in_td to use prefixes a, b, ... instead of v_x. (#285, @ceastlund)
• Fix a bug in type_is_recursive and really_recursive where they would consider a type declaration recursive if the type appeared inside an attribute payload (#299, @NathanReb)

• Add support for OCaml 4.14 (#360 @kit-ty-kate)
• Document options in utop(1) manpage (#364 #365 @lindig)

Changed

• Use odoc-parser.0.9.0 (#333, @julow)

Deprecated

• Add a deprecation warning for toplevel blocks that are not terminated with ;; (#342, @Leonidas-from-XIV)

Fixed

• Fix accidental redirect of stderr to stdout (#343, @Leonidas-from-XIV)
• Remove trailing whitespaces that were added to indent empty lines (#341, @gpetiot)

• Fallback on dnf if yum does not exist on RHEL-based systems [#4825 @kit-ty-kate]
• Use --no-depexts in CLI 2.0 mode [#4908 @dra27]
• bootstrap: update ocaml version (fixes the compilation of opam with mingw) [#4927 @kit-ty-kate]

• Add support for 4.14 (#119, @kit-ty-kate)

Deprecated

• Profiles compact and sparse are now deprecated and will be removed by version 1.0 (#1803, @gpetiot)
• Options that are not set by the preset profiles are now deprecated and will be removed by version 1.0:
  • align-cases, align-constructors-decl and align-variants-decl (#1793, @gpetiot)
  • disambiguate-non-breaking-match (#1805, @gpetiot)
  • break-before-in (#1888, @gpetiot)
  • break-cases={toplevel,all} (#1890, @gpetiot)
  • break-collection-expressions (#1891, @gpetiot)
  • break-fun-decl=smart (#1892, @gpetiot)
  • break-fun-sig=smart (#1893, @gpetiot)
  • break-string-literals (#1894, @gpetiot)
  • break-struct (#1895, @gpetiot)
  • extension-indent (#1896, @gpetiot)
  • function-indent (#1897, @gpetiot)
  • function-indent-nested (#1898, @gpetiot)
  • if-then-else={fit-or-vertical,k-r} (#1899, @gpetiot)
  • indicate-multiline-delimiters=closing-on-separate-line (#1900, @gpetiot)
  • indent-after-in (#1901, @gpetiot)
  • let-binding-indent (#1902, @gpetiot)
  • let-binding-spacing=sparse (#1903, @gpetiot)
  • match-indent (#1904, @gpetiot)
  • match-indent-nested (#1905, @gpetiot)
  • module-item-spacing=preserve (#1906, @gpetiot)
  • nested-match (#1907, @gpetiot)
  • parens-tuple-patterns (#1908, @gpetiot)
  • sequence-style=before (#1909, @gpetiot)
  • stritem-extension-indent (#1910, @gpetiot)
  • type-decl-indent (#1911, @gpetiot)

Bug fixes

• Fix normalization of sequences of expressions (#1731, @gpetiot)
• Type constrained patterns are now always parenthesized, parentheses were missing in a class context (#1734, @gpetiot)
• Support sugared form of coercions in let bindings (#1739, @gpetiot)
• Add missing parentheses around constructor used as indexing op (#1740, @gpetiot)
• Honour .ocamlformat-ignore on Windows (#1752, @nojb)
• Avoid normalizing newlines inside quoted strings {|...|} (#1754, @nojb, @hhugo)
• Fix quadratic behavior when certain constructs are nested. This corresponds to the cases where a partial layout is triggered to determine if a construct fits on a single line for example. (#1750, #1766, @emillon)
• Fix non stabilizing comments after infix operators (*, %, #-ops) (#1776, @gpetiot)
• Fix excessive break and wrong indentation after a short-open when indicate-multiline-delimiters=closing-on-separate-line (#1786, @gpetiot)
• Add parentheses around type alias used as type constraint (#1801, @gpetiot)
• Fix alignment of comments inside a tuple pattern and remove incorrect linebreak. Fix formatting of labelled arguments containing comments. (#1797, @gpetiot)
• Emacs: only hook ocamlformat mode on tuareg/caml modes when ocamlformat is not disabled (#1814, @gpetiot)
• Fix boxing of labelled arguments, avoid having a linebreak after a label when the argument has a comment attached (#1830, #1885, @gpetiot)
• Add missing parentheses around application of prefix op when applied to other operands (#1825, @gpetiot)
• Fix application of a monadic binding when 'break-infix-before-func=false' (#1849, @gpetiot)
• Fix dropped comments attached to a sequence in a sugared extension node (#1853, @gpetiot)
• Fix formatting of exception types, and add missing parentheses (#1873, @gpetiot)
• Fix indentation of with-type constraints (#1883, @gpetiot)
• Preserve sugared syntax of extension points with attributes (#1913, @gpetiot)
• Improve comment attachment when followed but not preceded by a linebreak (#1926, @gpetiot)
• Fix position of comments preceding Pmod_ident (#1939, @gpetiot)
• Make the formatting of attributes and docstrings more consistent (#1929, @gpetiot)
• Fix stabilization of comments inside attributes (#1942, @gpetiot)

Changes

• Set 'module-item-spacing=compact' in the default/conventional profile (#1848, @gpetiot)
• Preserve bracketed lists in the Parsetree (#1694, #1876, #1914, @gpetiot)
• Line directives now cause OCamlFormat to emit an error, they were previously silently ignored (#1845, @gpetiot)
• Apply option 'module-item-spacing' on mutually recursive type declarations for more consistency (#1854, @gpetiot)

New features

• Handle merlin typed holes (#1698, @gpetiot)
• Handle punned labelled arguments with type constraint in function applications. For example, function application of the form foo ~(x:int) instead of the explicit foo ~x:(x:int). (ocaml#10434) (#1756, #1759, @gpetiot). This syntax is only produced when the output syntax is at least OCaml 4.14.
• Allow explicit binders for type variables (ocaml#10437) (#1757, @gpetiot)
• Add a new ocaml-version option to select the version of OCaml syntax of the output (#1759, @gpetiot)
• Allow disambiguated global identifiers (like t/2) so they can be formatted by tools like OCaml-LSP (#1716, @let-def)
• Handle let operator punning uniformly with other punning forms. Normalizes let operator to the punned form where possible, if output syntax version is at least OCaml 4.13.0. (#1834, #1846, @jberdine)
• Remove unnecessary surrounding parentheses for immediate objects. This syntax is only produced when the output syntax is at least OCaml 4.14. (#1934, @gpetiot)

Additions

• Compatibility with OCaml 4.14 (@patricoferris, @kit-ty-kate, #788)

Bugs fixed

• Man page renderer fails to output pages that have children (@jonludlam, @Julow, #766)
• Fix resolution of unprefixed references to pages (@Julow, #755)
• Fix reporting of ambiguous labels (@Julow, @jonludlam, #773, #781)
• Allow referencing of labels in the top comment (@jonludlam, #771)

Additions

• Strip unquoted spaces in identifiers for a more flexible reference syntax (@lubegasimon, @panglesd, #783)
• Add context to messages raised in expansions of includes (@Julow, #780)

Fixes

• Disable functionality reliant on ocamlformat-rpc for now (#555)

• 4.13 compatiblity

• ocaml support
  • add support for 4.13
  • stopped actively supporting version older than 4.12
• merlin binary
  • Mbrowse.select_leaf: correctly ignore merlin.hide (#1376)
  • enable occurences to work when looking for locally abstract types (#1382)
  • handle -alert compiler flag (#1401)
  • avoid a race condition when the process started to read a configuration file crashes/is not found (#1378, @antalsz)
  • log the backtrace even when the exception is a Failure (#1377, @antalsz)
  • ignore -error-style compiler flag (#1402, @nojb)
  • fix handling of record field expressions (#1375)
  • allow -pp to return an AST (#1394)
  • fix merlin crashing due to short-paths (#1334, fixes #1322)
• editor modes
  • update quick setup instructions for emacs (#1380, @ScriptDevil)
• test suite
  • improve record field destruction testing (#1375)

Oops, we went looking but didn't find the changelog for this release 🙈

Fixes

• Ppx processes are now executed correctly (#513)

Breaking Change

• ocamllsp drops support for .merlin files, and as a consequence no longer depends on dot-merlin-reader. (#523)

Features

• New code action to automatically remove values, types, opens (#502)

• Fix typo in error message for opam var [#4786 @kit-ty-kate - fix #4785]
• Run the sandbox check in the temporary directory [#4787 @dra27 - fix #4783]
• OpamSystem: avoid calling Unix.environment at top level [#4789 @hannesm]
• Homebrew: Add support for casks and full-names [#4801 @kit-ty-kate]
• Fix the cold target in presence of an older OCaml compiler version on macOS [#4802 @kit-ty-kate - fix #4801]
• Archlinux: handle virtual package detection [#4833 @rjbou - partial fix #4759]
• Disable the detection of available packages on RHEL-based distributions. This fixes an issue on RHEL-based distributions where yum list used to detect available and installed packages would wait for user input without showing any output and/or fail in some cases [#4791 @kit-ty-kate - fixes #4790]
• Handle empty environment variable updates - missed cherry-pick from 2.0 [#4840 @dra27]
• Fix vendored build on mingw-w64 with g++ 11.2 [#4835 @dra27]
• Put back support for switch creation with packages argument and --packages option with cli 2.0, and a specific error message for cli 2.1 [#4853 @rjbou - fix #4843]
• Fix reverting environment additions to PATH-like variables when several dirs added at once [#4861 @dra27]
• Fix dose3 download url since gforge is gone [#4870 @avsm]
• Ensure setenv can use package variables defined during the build [#4841 @dra27]
• Fix `set-invariant: default repos were loaded instead of switch repos [#4866 @rjbou]

• Fix reverting environment additions to PATH-like variables when several dirs added at once [#4861 @dra27]
• Ensure setenv can use package variables defined during the build [#4841 @dra27]

Fixed

• Fixed the release asset URL for projects with multiple opam packages. Before, the packages would attempt to infer their URL and fail in rare cases where the project uses v as prefix for tags but the project version omits it. Now they share the same URL. (#402, #404, @Leonidas-from-XIV)

Added

• Added support for creating releases from unannotated Git tags. dune-release supported unannotated tags in a few places already, now it supports using them for creating a release. (#383, @Leonidas-from-XIV)

Fixed

• Change the ---V command option to be -V (#388, @Leonidas-from-XIV)
• Infer release versions are inferred from VCS tags. This change allows using dune-release on projects that do not use the changelog or have it in a different format. (#381, #383 @Leonidas-from-XIV)
• Fix a bug where dune-release couldn't retrieve a release on GitHub if the tag and project version don't match (e.g. v1.0 vs 1.0). dune-release would in such case believe the release doesn't exist, attempt to create it and subsequently fail. (#387, #395, @Leonidas-from-XIV)

Breaking changes

• Refactor the comment parser in preparation for it to be octavius 2 (@jonludlam, #621)
• Remove odoc-parser into a separate repository (@jonludlam, #700)

Additions

• New model for expanding and cross referencing (@jonludlam, @Julow, @lubegasimon)
• New document output layer, supporting HTML, LaTeX and man page output (@Drup, @Octachron, @jonludlam, @Julow, @lubegasimon)
• Experimental parent/child support for structured output (@jonludlam)
• Add the ability to specifiy canonical paths for types and module types (@jonludlam, #596)
• Several improvements to the HTML tree (@dbuenzli, #600, #605, #589, @Drup, #579)
• Render module synopses in {!modules:...} (@Julow, #597)
• Better HTML rendering (@dbuenzli, #607, #612, #615)
• Better handling of signature comments (@Julow, #627, #629, #640, #643, #647, #654)
• Centre, left and right alignment constructs now parse correctly (@lubegasimon, #624)
• Allow reference to pages that contain hyphens and dots (@lubegasimon, #622)
• Allow type definitions to be copied and pasted with correct syntax (@Drup, #626)
• Install Ocamlary as a library for testing (@dbuenzli, #639)
• Handle @canonical tags on compilation units (@Julow, #649)
• Alias more when strengthening (@jonludlam, #653)
• Light theme fixes (@xvw, #660)
• Handle @canonical tags in the top-comment of modules (@Julow, #662)
• Simplify paths referring to Stdlib (@jonludlam, #677)
• New odoc command to report warnings encountered during compilation/linking (@Julow, #667)
• Anchors on type extensions (@Julow, #684)
• OCaml 4.13 support (@octachron, #687, #689)
• Better errors/warnings (@Julow, #692, #717, #720, #732)
• ModuleType 'Alias' support (@jonludlam, #703)
• Improved test suite (@lubegasimon, #697)
• Improved documentation (@lubegasimon, @jonludlam, #702, #733)
• Strengthen module types (@jonludlam, #731)

Bugs fixed

• Fix for resolving references in mld files (@jonludlam, #611)
• Fix placement of documentation in module aliases (@Julow, #606)
• Fix breakage involving includes and shadowing (@jonludlam, #603)
• Don't link to hidden items (@lubegasimon, #583)
• Don't remove docs of inlined includes (@Julow, #595)
• Don't render shadowed values (@lubegasimon, #580)
• Fix unresolved references in the first comment of a file (@Julow, #592)
• LaTeX: Hardened description environments (@Octachron, #608)
• Resolve references in module synopses (@Julow, #658)
• Fix reference resolution in the presence of shadowing (@Julow, #682)
• uwt now can be documented (@jonludlam, #708)
• Fix resolution involving deeply nested substitutions (@jonludlam, #727)
• Fix off-by-one error in error reporting (@asavahista, #736)

• Fix debouncing of document updates. It was essentially completely broken in all but the most trivial cases. (#509 fixes #504)

• Fix completion when passing named and functional arguments (#512)

• Disable experimental dune support. It was accidentally left enabled.

Features

• Add a new code action Add missing rec keyword, which is available when adding a rec keyword can fix Unbound value ... error, e.g.,

  let fact n = if n = 0 then 1 else n * fact (n - 1)
                                    (* ^^^^ Unbound value fact *)
  

  Adding rec to the definition of fact will fix the problem. The new code action offers adding rec.

• Use ocamlformat to properly format type snippets. This feature requires the ocamlformat-rpc opam package to be installed. (#386)

• Add completion support for polymorphic variants, when it is possible to pin down the precise type. Examples (<|> stands for the cursor) when completion will work (#473)

  Function application:

  let foo (a: [`Alpha | `Beta]) = ()
  
  foo `A<|>
  

  Type explicitly shown:

  let a : [`Alpha | `Beta] = `B<|>
  

  Note: this is actually a bug fix, since we were ignoring the backtick when constructing the prefix for completion.

• Parse merlin errors (best effort) into a more structured form. This allows reporting all locations as "related information" (#475)

• Add support for Merlin Construct command as completion suggestions, i.e., show complex expressions that could complete the typed hole. (#472)

• Add a code action Construct an expression that is shown when the cursor is at the end of the typed hole, i.e., _|, where | is the cursor. The code action simply triggers the client (currently only VS Code is supported) to show completion suggestions. (#472)

• Change the formatting-on-save error notification to a warning notification (#472)

• Code action to qualify ("put module name in identifiers") and unqualify ("remove module name from identifiers") module names in identifiers (#399)

  Starting from:

  open Unix
  
  let times = Unix.times ()
  let f x = x.Unix.tms_stime, x.Unix.tms_utime
  

  Calling "remove module name from identifiers" with the cursor on the open statement will produce:

  open Unix
  
  let times = times ()
  let f x = x.tms_stime, x.tms_utime
  

  Calling "put module name in identifiers" will restore:

  open Unix
  
  let times = Unix.times ()
  let f x = x.Unix.tms_stime, x.Unix.tms_utime
  

Fixes

• Handle workspace change notifications. Previously, the server would only use the set of workspaces given at startup to search for workspace symbols. After this change, workspace folders that are added later will also be considered. (#498)

• Do not show "random" documentation on hover

  • fixed by merlin#1364
  • fixes duplicate:
    • ocaml-lsp#344
    • vscode-ocaml-platform#111

• Correctly rename a variable used as a named/optional argument (#478)

• When reporting an error at the beginning of the file, use the first line not the second (#489)

Changed

• Use odoc-parser.0.9.0 (#333, @julow)

Deprecated

• Add a deprecation warning for toplevel blocks that are not terminated with ;; (#342, @Leonidas-from-XIV)

Fixed

• Fix accidental redirect of stderr to stdout (#343, @Leonidas-from-XIV)
• Remove trailing whitespaces that were added to indent empty lines (#341, @gpetiot)

• Don't use subst --root in Opam files (https://github.com/ocaml/dune/pull/4806, @MisterDA)

• Fix compilation on Haiku (https://github.com/ocaml/dune/pull/4885, @Sylvain78)

• Allow depending on ocamldoc library when ocamlfind is not installed. (https://github.com/ocaml/dune/pull/4811, fixes https://github.com/ocaml/dune/issues/4809, @nojb)

• Fix (enabled_if ...) for installed libraries (https://github.com/ocaml/dune/pull/4824, fixes https://github.com/ocaml/dune/issues/4821, @dra27)

• Create more future-proof opam files using --promote-install-files=false (https://github.com/ocaml/dune/pull/4860, @bobot)

• Drop Parser from the API (#263, @pitag-ha)
• Location: add set_filename and Error.get_location (#247, @pitag-ha)
• Drop dependency on OMP2 (#187, @pitag-ha)
• Make OMP1 a conflict (#255, @kit-ty-kate)
• Drop Syntaxerr from the public API. Doesn't affect any user in the ppx universe (#244, @pitag-ha)
• Add a lower-bound constraint for Sexplib0 (#240, @pitag-ha)
• Fix bug due to which unwanted public binaries got installed when installing ppxlib (#223, @pitag-ha)
• Add Keyword.is_keyword to check if a string is an OCaml keyword (#227, @pitag-ha)
• Remove Lexer.keyword_table: use Keyword.is_keyword instead (#227, @pitag-ha)
• Remove Lexer from the API: it was the same as the compiler-libs Lexer (#228, @pitag-ha)
• Remove the modules Ast_magic, Compiler_version, Js, Find_version, Convert, Extra_warnings, Location_error, Select_ast and Import_for_core from the API: they are meant for internal use and aren't used by any current downstream user in the ppx universe (#230, @pitag-ha)
• Remove compiler specific helper functions from Location. They aren't used by any current downstream user in the ppx universe (#238, @pitag-ha)
• Allow "%a" when using Location.Error.createf (#239, @mlasson)
• Fix in Location: make raise_errorf exception equivalent to exception Error (#242, @pitag-ha)
• Fix in Pprintast: correctly pretty print local type substitutions, e.g. type t := ... (#261, @matthewelse)
• Add Ast_pattern.esequence, for matching on any number of sequenced expressions e.g. do_a (); do_b (); .... (#264, @matthewelse)
• Expose a part of Ast_io in order to allow reading AST values from binary files (#270, @arozovyk)

• Set DEBIAN_FRONTEND=noninteractive for unsafe-yes confirmation level [#4735 @dra27 - partially fix #4731]
• Fix 2.1~alpha2 to 2.1 format upgrade with reinit [#4750 #4756 @rjbou - fix #4748]
• Fix bypass-check handling on reinit [#4750 @rjbou]
• fish: fix deprecated redirection syntax ^ [#4736 @vzaliva]
• Bump src_exts and fix build compat with Dune 2.9.0 [#4754 @dra27]
• Fix depext alpine tagged repositories handling [#4758 @rjbou]

• merlin binary
  • recover ill-typed patterns (#1317, #1342)
  • more accurate type-enclosing for methods (#1328, fixes #1124)
  • fix location of patterns in Occurrences (#1324, fixes ocaml/ocaml-lsp#375)
  • fix location of module definitions done via functors (#1329, fixes #1199)
  • fix -cmt-path dirs mistakenly added to build path (#1330)
  • add new module holes that can replace module expressions (#1333)
  • add a new command construct that builds a list of possible terms when called on a typed hole (#1318)
  • refactor-open improvements (#1313, #1314, #1366, #1372)
    • do not make paths absolute, simply prefix with the identifier under the cursor

      open Foo (* calling refactor-open qualify on this open *)
      let _ = Foo.bar (* previously could result in [Dune__exe.Foo.bar] *)
      

    • do not return identical (duplicate) edits
    • do not return unnecessary edits that when applied do not change the document
    • handle record fields properly
    • handle multi-line paths
    • unqualify should not qualify
  • Handle Persistent_env.Error in Typemod.initial_env (#1355)
  • locate: reset global state from all entry points (#1364)
  • Windows: replace user name by its SID in socketnames (#1345, @ttamttam)
• editor modes
  • vim: add a simple interface to the new construct command: MerlinConstruct. When several results are suggested, <c-i> and <c-u> can be use to change the depth of the recursive construction. (#1318)
  • vim: add support for the merlin-locate-type command: MerlinLocateType (#1359)
  • emacs: add a simple interface to the new construct command: merlin-construct. (#1352)
  • emacs: add support for the merlin-locate-type command. (#1359)
  • emacs: fix issue with merlin--highlight and various minor improvements (#1367, @mattiase)
• test suite
  • cover the new construct command (#1318)
  • disable tests failing in Opam's CI due to nested dune projects (#1373)

Oops, we went looking but didn't find the changelog for this release 🙈

Bug fixes

• Fix formatting of odoc tags: the argument should be on the same line, indent description that wraps (#1634, #1635, @gpetiot)
• Consistently format let bindings and monadic let bindings, do not drop comments before monadic bindings (#1636, @gpetiot)
• Fix dropped comments attached to pattern constrained by polynewtype (#1645, @gpetiot)
• Fix comment attachment on infix operators (#1643, @gpetiot)
• Add missing spaces inside begin-end delimiting an ite branch (#1646, @gpetiot)
• Add missing parens around function at RHS of infix op (#1642, @gpetiot)
• Preserve begin-end keywords delimiting match cases (#1651, @gpetiot)
• Fix alignment of closing paren on separate line for anonymous functions (#1649, @gpetiot)
• Preserve begin-end keywords around infix operators (#1652, @gpetiot)
• Preserve begin%ext syntax for infix opererator expressions (#1653, @gpetiot)
• Consistently format comments attached to let-and bindings located at toplevel (#1663, @gpetiot)
• Remove double parens around a functor in a module application (#1681, @gpetiot)
• Improve breaking of comments to avoid violating the margin (#1676, @jberdine)
• Fix parentheses around successive unary operations (#1696, @gpetiot)
• Add missing break between pattern and attribute (#1711, @gpetiot)
• Add missing parentheses around expression having attributes or comments inside a shorthand let-open clause (#1708, @gpetiot)
• Do not consider leading star '*' when checking the diff of doc comments (#1712, @hhugo)
• Fix formatting of multiline non-wrapping comments (#1723, @gpetiot)
• Fix position of comments following a record field (#1945, @gpetiot)

Changes

• Improve the diff of unstable docstrings displayed in error messages (#1654, @gpetiot)
• Use UTF8 length of strings, not only in wrapped comments (#1673, @jberdine)
• Improve position of ;; tokens (#1688, @gpetiot)
• Depend on odoc-parser instead of odoc (#1683, #1713, @kit-ty-kate, @jonludlam, @julow). The parser from odoc has been split from the main odoc package and put into its own package, odoc-parser.
• Revert infix-form list formatting to pre-0.17.0 (#1717, @gpetiot)

New features

• Implement OCaml 4.13 features (#1680, @gpetiot)
  • Named existentials in pattern-matching (ocaml#9584)
  • Let-punning (ocaml#10013)
  • Module type substitutions (ocaml#10133)
• Emacs integration (disabled for ocamlformat < 0.19.0):
  • Indent a line or a region with ocamlformat when pressing
  • Break the line and reindent the cursor when pressing (#1639, #1685, @gpetiot) (#1687, @bcc32)
• Add 'line-endings=lf|crlf' option to specify the line endings used in the formatted output. (#1703, @nojb)

Internal

• A script tools/build-mingw64.sh is provided to build a native Windows binary of ocamlformat using mingw64 toolchain under Cygwin.

Added

• Support for OCaml 4.13 (#330, @emillon)

Additions

• Compatibility with OCaml 4.13 (ocaml/odoc#699, @Octachron)

Added

• Display OCaml warnings in mdx-error blocks (#293, @gpetiot)

Fixed

• Show exceptions in the correct order (#332, @talex5)

Added

• Add --no-auto-open to the default command. It was previously only available for dune-release opam. (#374, @NathanReb)
• Add a config create subcommand to create a fresh configuration if you don't have one yet (#373, @NathanReb)
• Add --local-repo, --remote-repo and --opam-repo options to the default command, they used to be only available for the opam subcommand (#363, @NathanReb)
• Add a --token option to dune-release publish and dune-release opam commands to specify a github token. This allows dune-release to be called through a Github Actions workflow and use the github token through an environment variable. (#284 #368, @gpetiot @NathanReb)
• Log curl calls on verbose/debug mode (#281, @gpetiot)
• Try to publish the release asset again after it failed (#272, @gpetiot)
• Improve error reporting of failing git comands (#257, @gpetiot)
• Suggest a solution for users without ssh setup (#304, @pitag-ha)
• Allow including git submodules to the distrib tarball by passing the --include-submodules flag to dune-release, dune-release bistro or dune-release distrib (#300, @NathanReb)
• Support 'git://' scheme for dev-repo uri (#331, @gpetiot)
• Support creation of draft releases and draft PRs. Define a new option --draft for dune-release publish and dune-release opam submit commands. (#248, @gpetiot)
• Add a new command check to check the prerequisites of dune-release and avoid starting a release process that couldn't be finished (#318, #351, @pitag-ha)
• When preparing the opam-repository PR and pushing the local branch to the user's remote opam-repository fork, use --set-upstream to ease any further update of the PR (#350, @gpetiot)

Changed

• Entirely rely on the remote fork of opam-repository URL in opam submit instead of reading the user separately. The information was redundant and could only lead to bugs when unproperly set. (#372, @NathanReb)
• Use pure token authentication for Github API requests rather than "token as passwords" authentication (#369, @NathanReb)
• Require tokens earlier in the execution of commands that use the github API. If the token isn't saved to the user's configuration, the prompt for creating one will show up at the command startup rather than on sending the first request (#368, @NathanReb)
• Attach the changelog to the annotated tag message (#283, @gpetiot)
• Do not remove versioned files from the tarball anymore. We used to exclude .gitignore, .gitattributes and other such files from the archive. (#299, @NathanReb)
• Don't try to push the tag if it is already present and point to the same ref on the remote. dune-release must guess which URI to pass to git push and may guess it wrong. This change allows users to push the tag manually to avoid using that code. (#219, @Julow)
• Don't try to create the release if it is already present and points to the same tag (#277, @kit-ty-kate)
• Recursively exclude all .git/.hg files and folders from the distrib tarball (#300, @NathanReb)
• Make the automatic dune-release workflow to stop if a step exits with a non-zero code (#332, @gpetiot)
• Make git-related mdx tests more robust in unusual environments (#334, @sternenseemann)
• Set the default tag message to "Release " instead of "Distribution "
• Opam file linter: check for synopsis instead of description (#291, @kit-ty-kate)
• Upgrade the use of the opam libraries to opam 2.1 (#343, @kit-ty-kate)

Deprecated

• Deprecate the --user CLI options and configuration field, they were redundant with the remote-repo option and field and could be set unproperly, leading to bugs (#372, @NathanReb)
• Deprecate the use of delegates in dune-release publish (#276, #302, @pitag-ha)
• Deprecate the use of opam file format 1.x (#352, @NathanReb)

Removed

• Option --name is removed from all commands. When used with dune-release distrib, it was previously effectively ignored. Now it is required to add a (name <name>) stanza to dune-project. (#327, @lehy)

Fixed

• Fix a bug where opam submit would look up a config file, even though all the required information was provided on the command line. This would lead to starting the interactive config creation quizz if that file did not exist which made it impossible to use it in a CI for instance. (#373, @NathanReb)
• Fix a bug where opam submit would fail on non-github repositories if the user had no configuration file (#372, @NathanReb)
• Fix a bug where subcommands wouldn't properly read the token files, leading to authentication failures on API requests (#368, @NathanReb)
• Fix a bug in opam submit preventing non-github users to create the opam-repo PR via dune-release. (#359, @NathanReb)
• Fix a bug where opam submit would try to parse the custom URI provided through --distrib-uri as a github repo URI instead of using the dev-repo (#358, @NathanReb)
• Fix the priority of the --distrib-uri option in dune-release opam pkg. It used to have lower precedence than the url file written by dune-release publish and therefore made it impossible to overwrite it if needed. (#255, @NathanReb)
• Fix a bug with --distrib-file in dune-release opam pkg where you would need the regular dune-release generated archive to be around even though you specified a custom distrib archive file. (#255, @NathanReb)
• Use int64 for timestamps. (#261, @gpetiot)
• Define the order of packages (#263, @gpetiot)
• Allow the dry-run mode to continue even after some API call's response were expected by using placeholder values (#262, @gpetiot)
• Build and run tests for all selected packages when checking distribution tarball (#266, @NathanReb)
• Improve trimming of the changelog to preserve the indentation of the list of changes. (#268, @gpetiot)
• Trim the data of the url file before filling the url.src field. This fixes an issue that caused the url.src field to be a multi-line string instead of single line. (#270, @gpetiot)
• Fix a bug causing dune-release to exclude all hidden files and folders (starting with .) at the repository from the distrib archive (#298, @NathanReb)
• Better report GitHub API errors, all of the error messages reported by the GitHub API are now checked and reported to the user. (#290, @gpetiot)
• Fix error message when dune-release tag cannot guess the project name (#319, @lehy)
• Always warn about uncommitted changes at the start of dune-release distrib (#325, @lehy). Otherwise uncommitted changes to dune-project would be silently ignored by dune-release distrib.
• Fix rewriting of github references in changelog (#330, @gpetiot)
• Fixes a bug under cygwin where dune-release was unable to find the commit hash corresponding to the release tag (#329, @gpetiot)
• Fixes release names by explicitly setting it to match the released version (#338, @NathanReb)
• Fix a bug that prevented release of a package whose version number contains invalid characters for a git branch. The git branch names are now sanitized. (#271, @gpetiot)
• publish: Fix the process of inferring user name and repo from the dev repo uri (#348, @pitag-ha)

• Added an '--output-patch' option to allow use without a Github account
• Use the latest opam libraries (2.1.0~rc) with better format-preserving printing
• Avoid submission of packages without a reachable archive, except if --force was set or they are conf packages

• Add (enabled_if ...) to (mdx ...) (https://github.com/ocaml/dune/pull/4434, @emillon)

• Add support for instrumentation dependencies (https://github.com/ocaml/dune/pull/4210, fixes https://github.com/ocaml/dune/issues/3983, @nojb)

• Add the possibility to use locks with the cram tests stanza (https://github.com/ocaml/dune/pull/4480, @voodoos)

• Allow to set up merlin in a variant of the default context (https://github.com/ocaml/dune/pull/4145, @TheLortex, @voodoos)

• Add (package ...) to (mdx ...) (https://github.com/ocaml/dune/pull/4691, fixes https://github.com/ocaml/dune/issues/3756, @emillon)

• Handle renaming of coq.kernel library to coq-core.kernel in Coq 8.14 (https://github.com/ocaml/dune/pull/4713, @proux01)

• Fix generation of merlin configuration when using (include_subdirs unqualified) on Windows (https://github.com/ocaml/dune/pull/4745, @nojb)

• Fix bug for the install of Coq native files when using (include_subdirs qualified) (https://github.com/ocaml/dune/pull/4753, @ejgallego)

• Allow users to specify install target directories for doc and etc sections. We add new options --docdir and --etcdir to both Dune's configure and dune install command. (https://github.com/ocaml/dune/pull/4744, fixes https://github.com/ocaml/dune/issues/4723, @ejgallego, thanks to @JasonGross for reporting this issue)

• Fix issue where Dune would ignore (env ... (coq (flags ...))) declarations appearing in dune files (https://github.com/ocaml/dune/pull/4749, fixes https://github.com/ocaml/dune/issues/4566, @ejgallego @rgrinberg)

• Disable some warnings on Coq 8.14 and (lang coq (>= 0.3)) due to the rework of the Coq "native" compilation system (https://github.com/ocaml/dune/pull/4760, @ejgallego)

• Fix a bug where instrumentation flags would be added even if the instrumentatation was disabled (@nojb, https://github.com/ocaml/dune/pull/4770)

• Fix https://github.com/ocaml/dune/issues/4682: option -p takes now precedence on environement variable DUNE_PROFILE (https://github.com/ocaml/dune/pull/4730, https://github.com/ocaml/dune/pull/4774, @bobot, reported by @dra27 https://github.com/ocaml/dune/issues/4632)

• Fix installation with opam of package with dune sites. The .install file is now produced by a local dune install during the build phase (https://github.com/ocaml/dune/pull/4730, https://github.com/ocaml/dune/pull/4645, @bobot, reported by @kit-ty-kate https://github.com/ocaml/dune/issues/4198)

• Fix multiple issues in the sites feature (https://github.com/ocaml/dune/pull/4730, https://github.com/ocaml/dune/pull/4645 @bobot, reported by @Lelio-Brun https://github.com/ocaml/dune/issues/4219, by @Kakadu https://github.com/ocaml/dune/issues/4325, by @toots https://github.com/ocaml/dune/issues/4415)

Features

• Add sub-errors as "related" information in diagnostics (#457)

• Add support for navigating to a symbol inside a workspace (#398)

• Show typed holes as errors

  Merlin has a concept of "typed holes" that are syntactically represented as _. Files that incorporate typed holes are not considered valid OCaml, but Merlin and OCaml-LSP support them. One example when such typed holes can occur is when on "destructs" a value, e.g., destructing (Some 1) will generate code match Some 1 with Some _ -> _ | None -> _. While the first underscore is a valid "match-all"/wildcard pattern, the rest of underscores are typed holes.

• Make ppxlib compatible with 4.13 compiler (#260, @kit-ty-kate)

• Remove OPAMZ3DEBUG evironment variable [#4720 @rjbou - fix #4717]
• Fix format upgrade when there is missing local switches in the config file [#4715 @rjbou - fix #4713]
• Fix not recorded local switch handling, with format upgrade [#4715 @rjbou]
• Set opam root version to 2.1 [#4715 @rjbou]
• Improved and extended tests [#4715 @rjbou]

• Add support for 4.13 (#114, @kit-ty-kate)

• If the current working directory is the home directory, then do not load .ocamlinit (@hyphenrf @copy #338)
• With OCaml 4.12.0 and later, the toplevel uses the toplevel state to exit with the right status code (#348 @octachron)
• Fix color highlight for errors (#350 @chripell)
• Add support for OCaml 4.13 (#353 @kit-ty-kate)

Emacs mode fixes:

• Company text-completion fixes (@leungbk #340)
• utop-query-arguments always returns (utop-arguments) whether it sets the utop-command or not (@dansanduleac #347)
• Fix completion returning bogus candidates (#352 @chripell @rgrinberg)

• (*) Environment variables initialised only at opam client launch, no more via libraries [#4606 #4703 @rjbou]
• (*) Deprecated build-doc, build-test, make flags [#4581 @rjbou]
• (+) Add --confirm-level and OPAMCONFIRMLEVEL for automatic answering [#4582 @rjbou - fix #4168; #4683 @dra27 - fix #4682; #4691 @rjbou - fix #4682]
• (+) Add --no [#4582 @rjbou]
• (+) Add a --with-0install-solver option to the configure script to enable the 'builtin-0install' solver [#4646 @kit-ty-kate]
• Add default CLI mechanism: deprecated options are accepted (in the major version) if no CLI is specified [#4575 @rjbou]
• Add opam config deprecated subcommands in the default CLI [#4575 @rjbou - fix #4503]
• Add CLI versioning for opam environment variables [#4606 @rjbou]
• Add CLI versioning for enums of flags with predefined enums [#4606 @rjbou]
• Clearer messages about using --cli and OPAMCLI [#4655 @dra27]
• The options --root and --switch are now reflected in environment variables when building packages so that calls to opam during build access the correct root and switch [#4668 @LasseBlaauwbroek]
• Add CLI versioning for enums of flags with predefined enums [#4626 @rjbou]
• Preprocess --confirm-level for plugins calls/install [#4694 @rjbou]
• Ensure the symlink for a plugin is maintained on each invocation [#4621 @dra27 - partially fixes #4619]
• Initialise environment variables for plugins call/install [#4582 @rjbou]
• Expect plugins to end in .exe on Windows [#4709 @dra27]
• Introduce a default-invariant config field, restore the 2.0 semantics for default-compiler [#4607 @AltGr]
• Fix default invariant with no system compiler [#4644 @AltGr - fix #4640]
• Perform an hard upgrade on intermediate roots, i.e., root from 2.1~alpha/beta, and keep a light upgrade from 2.0 [#4638 @rjbou]
• Send the 'opam root layout update' message to stderr [#4692 @AltGr]
• If opam root is different from the binary, allow reading it and try to read in best effort mode [#4638 @rjbou - fix #4636]
• Don't check opam system dependencies on reinit after a format upgrade [#4638 @rjbou]
• Fix sys-ocaml-cc, sys-ocaml-arch, and sys-ocaml-libc when no system compiler installed [#4706 @dra27]
• Fix Not_found (config file) in config report [#4570 @rjbou]
• Config report: Print variables of installed compilers and their (installed) dependencies [#4570 @rjbou]
• Don't patch twice file [#4529 @rjbou]
• With --deps-only, set dependencies as root packages [#4964 @rjbou - fix #4502]
• Keep global lock only if root format upgrade is performed [#4612 @rjbou - fix #4597]
• Improve installation times by only tracking files listed in .install instead of the whole switch prefix when there are no install: instructions (and no preinstall commands) [#4494 @kit-ty-kate @rjbou; #4667 @dra27 - fix #4422]
• Scrub opam* environment variables added since 2.0 from package builds to prevent warnings when a package calls opam [#4663 @dra27 - fix #4660]
• Correct the message when more than one depext is missing [#4678 @dra27]
• Only display one conflict message when they are all owing to identical missing depexts [#4678 @dra27]
• Don't exclude base packages from rebuilds (made some sense in opam 2.0 with base packages but doesn't make sense with 2.1 switch invariants) [#4569 @dra27]
• Don't refer to base packages in messages any more [#4623 @dra27 - fixes #4572]
• Give the correct command when demonstrating switch creation [#4675 @dra27 - fixes #4673]
• On switch loading, if invariant is inferred and a write lock required, write the file [#4638 @rjbou]
• Don't look for lock files for pin depends [#4511 @rjbou - fix #4505]
• Fetch sources when pinning an already-pinned package with a different URL when using working directory [#4542 @rjbou - fix #4484]
• Don't ask for confirmation for pinning base packages (similarly makes no sense with 2.1 switch invariants) [#4571 @dra27]
• Fix version pin source retrieving: mustn't error if archive opam file is malformed [#4580 @rjbou]
• opam list --silent renamed to --check [#4595 @dra27 - fix #4323]
• Include doc field in opam-show [#4567 @dra27 - partially fix #4565]
• Fix switch global variable resolving [#4685 @rjbou - fix #4684]
• Fix hash package variable resolving [#4687 @rjbou]
• Lint: Fix W59 & E60 for conf packages (no URL required) [#4550 @rjbou - fix #4549]
• Lint: Fix W59 & E60 with VCS URLs, don't check upstream if URL has VCS backend [#4635 @rjbou]
• Lint: Add E67 checksum specified with non archive URL [#4635 @rjbou]
• Lint: Disable subpath warning E63,W64 [#4638 @rjbou]
• Lint: Fix manpage listing [#4708 @rjbou]
• Don't write lock file with --read-only, --safe, and --dryrun [#4562 @rjbou - fix #4320]
• Make opam lock consistent with opam install. On local pin, always take last opam file even if uncommitted [#4562 @rjbou - fix #4320]
• Opam file: Fix features parser [#4507 @rjbou]
• Opam file: Rename hidden-version to avoid-version [#4527 @dra27]
• Opam file: Fix rewriting with preserved format empty field error [#4634 @rjbou - fix #4628]
• Opam file: Switch config: Defined invariant field as an option to differentiate when it is not defined [#4638 @rjbou]
• Opam file: Differentiate bad format from bad (opam) version with Bad_version exception, raised from OpamFormat.check_opam_version [#4638 @rjbou]
• Opam file: Always print the opam-version field on files [#4638 @rjbou]
• Opam file: Config: add opam-root-version field as a marker for the whole opam root [#4638 @rjbou - fix #4636]
• Opam file: Add BestEffort modules with reading functions that don't show errors, given the opam_file_format internal field [#4638 @rjbou - fix #4636]
• Depext: Handle macport variants [#4509 @rjbou - fix #4297]
• Depext: Always upgrade all the installed packages when installing a new package on Archlinux [#4556 @kit-ty-kate]
• Depext: Handle some additional environment variables (OPAMASSUMEDEPEXTS, OPAMNODEPEXTS) [#4587 @AltGr]
• Depext: Improve messages to hint that answering no doesn't abort installation [#4591 @AltGr]
• Depext: Add support for non-interactive mode in MacPorts [#4676 @kit-ty-kate]
• Depext: Handling of packages of tagged repositories for Alpine [#4700 @rjbou - fix #4670]
• Depext: Clarify some assume-depexts related messages [#4671 @AltGr - partial fix #4662]
• Depext: Warn the user if epel-release is missing and unavailable, depexts are detected [#4679 @dra27 fix #4669]
• Depext: Ignore config yes automatic answering when asking confirmation to run install commands [#4698 @rjbou - fix #4680]
• Sandbox: Fix the conflict with the environment variable name used by Dune [#4535 @smorimoto - fix ocaml/dune#4166]
• Sandbox: Kill builds on Ctrl-C with bubblewrap [#4530 @kit-ty-kate - fix #4400]
• Sandbox: Linux: mount existing TMPDIR read-only, re-bind $TMPDIR to a separate TMPFs [#4589 @AltGr]
• Sandbox: Fix the sandbox check [#4589 @AltGr]
• Sandbox: Fix sandbox script shell mistake that made PWD read-write on remove actions [#4589 @AltGr]
• Sandbox: Port bwrap improvements to sandbox_exec [#4589 @AltGr]
• Sandbox: Fix realpath use for macOS, partial revert of #4589 [#4609 @AltGr]
• Add missing shell quoting to support space and special shell characters in switch directory path [#4707 @kit-ty-kate]
• Rename state.cache to include the OpamVersion.magic() string. All .cache files are deleted if any cache file is written to, allowing multiple versions of the library to coexist without constantly regenerating it [#4642 @dra27 - fix #4554]
• Fix cuDF preprocessing [#4534 #4627 @AltGr - fix #4624]
• Allow to upgrade to a hidden-version package if a hidden-version package is already installed [#4525 @kit-ty-kate]
• Add support for a few select criteria useful to CI to the 0install solver: +count[version-lag,solution] to always choose the oldest version available, +removed to not try to keep installed packages [#4631 @kit-ty-kate]
• Fix opam-devel's tests on platforms without OpenSSL, GNU-diff, and a system-wide OCaml [#4500 @kit-ty-kate]
• Use Dune to run reftests [#4376 @emillon]
• Restrict extlib and dose version [#4517 @kit-ty-kate]
• Restrict to opam-file-format.2.1.2 [#4495 @rjbou]
• Require opam-file-format.2.1.3+ in order to enforce opam-version: "2.1" as first non-comment line [#4639 @dra27 - fix #4394]
• Switch to newer version of MCCS (based on newer GLPK) for src_ext [#4559 @AltGr]
• Bump Dune version to 2.8.2 [#4592 @AltGr]
• Bump the minimal Dune requirement to Dune 1.11 [#4437 @dra27 @kit-ty-kate]
• 4.12 compatibility [#4437 @dra27 @kit-ty-kate]
• Cold compiler updated to 4.12 [#4616 @dra27]
• Fix build from source when a dune-project file is presented in the parent directory [#4545 @kit-ty-kate]
• Fix build from source when a dune-project file is presented in the parent directory [#4545 @kit-ty-kate - fix #4537]
• Fix opam-devel.install not to install two files called opam [#4664 @dra27]
• Build release tags as non-dev versions, as for release tarballs [#4665 @dra27 - fix #4656]
• Disable dev version for tests (needed for format upgrade test) [#4638 @rjbou]
• Add a hint for missing openssl in make cold [#4702 @rjbou]
• Remove test field from opam-devel, they need the network [#4702 @rjbou]
• Update src_ext for Dune and MCCS [#4704 @dra27]
• Release scripts: switch to OCaml 4.10.2 by default, add macOS/ARM64 builds by default [#4559 @AltGr]
• Release scripts: add default CLI version check on full archive build [#4575 @rjbou]
• Arg: Generalise mk_tristate_opt to mk_state_opt [#4575 @rjbou]
• Arg: Fix mk_state_opt and rename to mk_enum_opt [#4626 @rjbou]
• Arg: Add mk_enum_opt_all for state flags that appears more than once [#4582 @rjbou]
• Fix opam exec on native Windows when calling Cygwin executables [#4588 @AltGr]
• Fix temporary file with a too long name causing errors on Windows [#4590 @AltGr]
• CLI: Add flag deprecation and replacement helper [#4595 @rjbou]
• Win32 Console: fix VT100 support [#3897 #4710 @dra27]
• Tidied the opam files [#4620 @dra27]
• Externalise CLI versioning tools from OpamArg into OpamArgTools [#4606 @rjbou]
• Each library defines its own environment variables that fills the config record [#4606 @rjbou]
• Harden cygpath wrapper [#4625 @dra27]
• Reset the plugin symlinks when the root is upgraded [#4641 @dra27 - partial fix for #4619]
• Formalise opam dev version detection with OpamVersion.is_dev_version [#4665 @dra27]
• Add OpamStd.String.is_prefix_of [#4694 @rjbou @dra27]
• Fix OpamStd.Format.pretty_list: last argument dropped if list contains more than 2 elements [#4694 @rjbou]
• Run the shell hooks with closed stdin (bash, zsh) [#4692 @AltGr]
• Improved and extended tests [#4376 #4504 #4545 #4612 #4668 #4612 #4634 #4672 #4638 #4702 #4697 #4697 @AltGr @dra27 @emillon @rjbou]
• Improve GitHub Actions [#4593 #4575 #4610 #4610 #4618 #4606 #4695 #4695 @AltGr @dra27 @rjbou]
• Improve documentation [#4496 #4506 #4513 #4637 #4681 #4702 @dannywillems @eth-arm @kit-ty-kate @rjbou @UnixJunkie]