diff --git a/NEWS.md b/NEWS.md
index 4a3fa96..267a0f0 100644
--- a/NEWS.md
+++ b/NEWS.md
@@ -1,3 +1,10 @@
+Version 3.3.0
+-------------
+
+* added `IEEE754.BinarySingleNaN` where NaN have no payload
+* proved adequacy of Coq 8.11 floating-point numbers in `IEEE754.PrimFloat`
+* added theorems about rounding to nearest, tie breaking to zero
+
 Version 3.2.1
 -------------
 
diff --git a/configure.in b/configure.in
index daadd5b..66c5cc4 100644
--- a/configure.in
+++ b/configure.in
@@ -1,4 +1,4 @@
-AC_INIT([Flocq], [3.2.1],
+AC_INIT([Flocq], [3.3.0],
         [Sylvie Boldo <sylvie.boldo@inria.fr>, Guillaume Melquiond <guillaume.melquiond@inria.fr>],
         [flocq])