Bump version to 0.6.3 because of a bad Cargo package

fatemender · Jan 21, 2021 · d4043e3 · d4043e3
1 parent fd0d952
commit d4043e3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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
@@ -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