[all] Ready for release

herd · Feb 4, 2023 · b69b01a · b69b01a
1 parent d0fa745
commit b69b01a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -20,7 +20,7 @@ You can change PREFIX by editing the Makefile, or by running ``make ...`` as ``m
 Requirements
 ------------
 
-- OCaml (version >= 4.05.0)
+- OCaml (version >= 4.08.0)
 - dune
 - menhir (version >= 20180530)
 

diff --git a/VERSION.txt b/VERSION.txt
@@ -1 +1 @@
-7.56+02~dev
+7.56+03