From d4043e30bd8a6497b1329506840bd357dbbe1640 Mon Sep 17 00:00:00 2001 From: Mikhail Solovev Date: Thu, 21 Jan 2021 18:27:12 +0500 Subject: [PATCH] Bump version to 0.6.3 because of a bad Cargo package --- Cargo.toml | 2 +- README.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) 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