diff --git a/Cargo.toml b/Cargo.toml
index 8432c17069b788e267ed6567f062e1f2faa464a1..91210707a88616432a29caaba7c89aad3c38f5a5 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "klee"
-version = "0.3.0"
+version = "0.2.0"
 authors = ["Per Lindgren <per.lindgren@ltu.se>, Jorge Aparicio <jorge@japaric.io>"]
 edition = "2018"
 
diff --git a/klee-examples/Cargo.toml b/klee-examples/Cargo.toml
index c0467e40881aaae5629f53671d1be50505dcb14e..47c43251f92ed9d1bca9daf822b90ef3c18e3b79 100644
--- a/klee-examples/Cargo.toml
+++ b/klee-examples/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 name = "klee-examples"
 edition = "2018"
-version = "0.3.0"
+version = "0.2.0"
 authors = ["Per Lindgren <per.lindgren@ltu.se>", "Jorge Aparicio <jorge@japaric.io>"]
 
 [dependencies]