Merge pull request #359 from LPCIC/release

gares · web-flow · commit f1b4b35fc7bc · 2025-09-01T13:37:51.000+02:00
release
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,4 +1,6 @@
-# UNRELEASED
+# v3.2.0 (September 2025)
+
+Requires Menhir 20211230 and OCaml 4.13 or above.
 
 - Language:
   - Remove: the `fprop` sort, use `(func)` instead
