diff --git a/ott.opam b/ott.opam
index 01b3e1f..c2af180 100644
--- a/ott.opam
+++ b/ott.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.32"
+version: "0.33"
 maintainer: "Thibaut Pérami <Thibaut.Perami@cl.cam.ac.uk>"
 authors: ["Peter Sewell" "Francesco Zappa Nardelli" "Scott Owens"]
 license: ["BSD-3-Clause" "LGPL-2.1-only"]
diff --git a/revision_history.txt b/revision_history.txt
index ab10dd1..d0af519 100644
--- a/revision_history.txt
+++ b/revision_history.txt
@@ -557,3 +557,9 @@ Peter Sewell + Thibaut Pérami: Add "menhir-start-type" hom to specify the top l
 2022-03 @pi8027: Support recent Coq versions tested up to 8.15
 
 2022-03-09 Version 0.32
+
+2022-12 @bacam: OCaml 5 compatibility
+
+2022-12 @palmskog: Coq 8.17 compatibility
+
+2023-01-16 Version 0.33
diff --git a/src/Makefile b/src/Makefile
index 974a092..dfbfcf3 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -33,7 +33,7 @@
 
 topdir = ..
 
-OTTVER=0.32
+OTTVER=0.33
 
 OCAMLFIND=ocamlfind
 OCAMLARGS=-package str -package ocamlgraph -linkpkg
diff --git a/src/tmp_date.txt b/src/tmp_date.txt
index c3ae0ea..f2cec30 100644
--- a/src/tmp_date.txt
+++ b/src/tmp_date.txt
@@ -1 +1 @@
-Wed  9 Mar 16:05:28 GMT 2022
+Mon 16 Jan 15:32:01 GMT 2023
diff --git a/src/version.ml b/src/version.ml
index 6166c5e..c46db05 100644
--- a/src/version.ml
+++ b/src/version.ml
@@ -1,2 +1,2 @@
-let n="0.32"
-let d="Wed 9 Mar 16:05:28 GMT 2022"
+let n="0.33"
+let d="Mon 16 Jan 15:32:01 GMT 2023"