chore: prepare 3.13.0 changelog (#9751)

Signed-off-by: Etienne Millon <me@emillon.org>

CHANGES.md

@@ -1,12 +1,49 @@
-3.13.0~alpha1 (2024-01-12)
---------------------------
+3.13.0 (2024-01-16)
+-------------------
 
-- Do not ignore `(formatting ..)` settings in context or workspace files
-  (#8447, @rgrinberg)
+### Added
 
 - Add command `dune cache clear` to completely delete all traces of the Dune
   cache. (#8975, @nojb)
 
+- Allow to disable Coq 0.8 deprecation warning (#9439, @ejgallego)
+
+- Allow `OCAMLFIND_TOOLCHAIN` to be set per context in the workspace file
+  through the `env` stanza. (#9449, @rgrinberg)
+
+- Menhir: generate `.conflicts` file by default. Add new field to the
+  `(menhir)` stanza to control the generation of this file: `(explain <blang
+  expression>)`. Introduce `(menhir (flags ...) (explain ...))` field in the
+  `(env)` stanza, delete `(menhir_flags)` field. All changes are guarded under
+  a new version of the Menhir extension, 3.0. (#9512, @nojb)
+
+- Directory targets can now be cached. (#9535, @rleshchinskiy)
+
+- It is now possible to use special forms such as `(:include)` and variables
+  `%{read-lines:}` in `(modules)` and similar fields. Note that the
+  dependencies introduced in this way (ie the files being read) must live in a
+  different directory than the stanza making use of them. (#9578, @nojb)
+
+- Remove warning 30 from default set for projects where dune lang is at least
+  3.13 (#9568, @gasche)
+
+- Add `coqdoc_flags` field to `coq` field of `env` stanza allowing the setting
+  of workspace-wide defaults for `coqdoc_flags`. (#9280, fixes #9139, @Alizter)
+
+- ctypes: fix an error where `(ctypes)` with no `(function_description)` would
+  cause an error trying refer to a nonexistent `_stubs.a` dependency (#9302,
+  fix #9300, @emillon)
+
+### Changed
+
+- Check that package names in `(depends)` and related fields in `dune-project`
+  are well-formed. (#9472, fixes #9270, @ElectreAAS)
+
+### Fixed
+
+- Do not ignore `(formatting ..)` settings in context or workspace files
+  (#8447, @rgrinberg)
+
 - Fixed a bug where Dune was incorrectly parsing the output of coqdep when it
   was escaped, as is the case on Windows. (#9231, fixes #9218, @Alizter)
 
@@ -21,41 +58,20 @@
 - Fixed a bug where the `(select)` field of the `(libraries)` field of the
   `(test)` stanza wasn't working properly. (#9387, fixes #9365, @Alizter)
 
-- Allow to disable Coq 0.8 deprecation warning (#9439, @ejgallego)
-
 - Fix handling of the `PATH` argument to `dune init proj NAME PATH`. An
   intermediate directory called `NAME` is no longer created if `PATH` is
   supplied, so `dune init proj my_project .` will now initialize a project in
   the current working directory. (#9447, fixes #9209, @shonfeder)
 
-- Allow `OCAMLFIND_TOOLCHAIN` to be set per context in the workspace file
-  through the `env` stanza. (#9449, @rgrinberg)
-
 - Experimental doc rules: Correctly handle the case when a package depends upon
   its own sublibraries (#9461, fixes #9456, @jonludlam)
 
 - Resolve various public binaries to their build location, rather than to where
   they're copied in the `_build/install` directory (#9496, fixes #7908,
   @rgrinberg).
 
-- Menhir: generate `.conflicts` file by default. Add new field to the
-  `(menhir)` stanza to control the generation of this file: `(explain <blang
-  expression>)`. Introduce `(menhir (flags ...) (explain ...))` field in the
-  `(env)` stanza, delete `(menhir_flags)` field. All changes are guarded under
-  a new version of the Menhir extension, 3.0. (#9512, @nojb)
-
 - Correctly ignore warning flags in vendored projects (#9515, @rgrinberg)
 
-- Directory targets can now be caches. (#9535, @rleshchinskiy)
-
-- Remove warning 30 from default set for projects where dune lang is at least
-  3.13 (#9568, @gasche)
-
-- It is now possible to use special forms such as `(:include)` and variables
-  `%{read-lines:}` in `(modules)` and similar fields. Note that the
-  dependencies introduced in this way (ie the files being read) must live in a
-  different directory than the stanza making use of them. (#9578, @nojb)
-
 - Use watch exclusions in watch mode on MacOS (#9643, fixes #9517,
   @PoorlyDefinedBehaviour)
 
@@ -66,13 +82,6 @@
   ignore the result of `enabled_if` when evaluating `%{bin:..}` (#9707,
   @rgrinberg)
 
-- Add `coqdoc_flags` field to `coq` field of `env` stanza allowing the setting
-  of workspace-wide defaults for `coqdoc_flags`. (#9280, fixes #9139, @Alizter)
-
-- ctypes: fix an error where `(ctypes)` with no `(function_description)` would
-  cause an error trying refer to a nonexistent `_stubs.a` dependency (#9302,
-  fix #9300, @emillon)
-
 3.12.2 (2024-01-05)
 -------------------