Bump version to 0.33

slanterns · Jan 16, 2023 · 23ddc33 · 23ddc33
1 parent c6b0c2c
commit 23ddc33
Show file tree

Hide file tree

Showing 5 changed files with 11 additions and 5 deletions.
diff --git a/ott.opam b/ott.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "0.32"
+version: "0.33"
 maintainer: "Thibaut Pérami <[email protected]>"
 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
@@ -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
@@ -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
@@ -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
@@ -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"
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		Wed 9 Mar 16:05:28 GMT 2022
		Mon 16 Jan 15:32:01 GMT 2023