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