diff --git a/META.goblint-cil.template b/META.goblint-cil.template
index 0b8c33522..5bed9a234 100644
--- a/META.goblint-cil.template
+++ b/META.goblint-cil.template
@@ -2,10 +2,10 @@
 
 package "default-features" (
 requires="goblint-cil.dataslicing goblint-cil.liveness goblint-cil.pta goblint-cil.makecfg goblint-cil.syntacticsearch"
-version = "2.0.1"
+version = "2.0.2"
 )
 
 package "all-features" (
 requires="goblint-cil.dataslicing goblint-cil.liveness goblint-cil.pta goblint-cil.makecfg goblint-cil.zrapp goblint-cil.syntacticsearch"
-version = "2.0.1"
+version = "2.0.2"
 )
diff --git a/README.md b/README.md
index f49860ecc..576ba9703 100644
--- a/README.md
+++ b/README.md
@@ -84,7 +84,7 @@ instance in the OCaml toplevel using [Findlib][findlib]:
     # #require "goblint-cil";;
     [...]
     # GoblintCil.cilVersion;;
-    - : string = "2.0.1"
+    - : string = "2.0.2"
 
 [findlib]: http://projects.camlcity.org/projects/findlib.html
 
diff --git a/dune-project b/dune-project
index d3626f930..b09ef81e1 100644
--- a/dune-project
+++ b/dune-project
@@ -2,7 +2,7 @@
 (name goblint-cil)
 (implicit_transitive_deps false)
 (generate_opam_files true)
-(version 2.0.1)
+(version 2.0.2)
 (source (github goblint/cil))
 ; (documentation "https://goblint.github.io/cil")
 (authors "George Necula" "Scott McPeak" "Westley Weimer" "Gabriel Kerneis" "Ralf Vogler" "Michael Schwarz" "Simmo Saan")
diff --git a/goblint-cil.opam b/goblint-cil.opam
index 892d0c722..4b2ca92e1 100644
--- a/goblint-cil.opam
+++ b/goblint-cil.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "2.0.1"
+version: "2.0.2"
 synopsis:
   "A front-end for the C programming language that facilitates program analysis and transformation"
 description: """