diff --git a/Cargo.toml b/Cargo.toml
index b93ebea..74b735f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -12,7 +12,7 @@ links                                   = "boolector"
 name                                    = "boolector-sys"
 readme                                  = "README.md"
 repository                              = "https://github.com/fatemender/boolector-sys"
-version                                 = "0.6.2"
+version                                 = "0.6.3"
 
 [features]
 vendor-lgl                              = ["cc", "cmake", "copy_dir"]
diff --git a/README.md b/README.md
index fa6390f..5dfe945 100644
--- a/README.md
+++ b/README.md
@@ -16,7 +16,7 @@ to your `Cargo.toml`:
 
 ```toml
 [dependencies]
-boolector-sys = "0.6.2"
+boolector-sys = "0.6.3"
 ```
 
 ### Using vendored static `boolector` library
@@ -26,7 +26,7 @@ with the `vendor-lgl` feature enabled:
 
 ```toml
 [dependencies]
-boolector-sys = { version = "0.6.2", features = ["vendor-lgl"] }
+boolector-sys = { version = "0.6.3", features = ["vendor-lgl"] }
 ```
 
 Enabling `vendor-lgl` will automatically build a static `boolector` library and