Skip to content

Commit

Permalink
Bump version to 0.1.1
Browse files Browse the repository at this point in the history
  • Loading branch information
fatemender committed Nov 25, 2021
1 parent 7b94e97 commit 9c8bb19
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ links = "bitwuzla"
name = "bitwuzla-sys"
readme = "README.md"
repository = "https://github.com/fatemender/bitwuzla-sys"
version = "0.1.0"
version = "0.1.1"

[features]
vendor-cadical = ["copy_dir"]
Expand Down
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ to your `Cargo.toml`:

```toml
[dependencies]
bitwuzla-sys = "0.1.0"
bitwuzla-sys = "0.1.1"
```

### Using vendored static `bitwuzla` library
Expand All @@ -26,7 +26,7 @@ with the `vendor-cadical` feature enabled:

```toml
[dependencies]
bitwuzla-sys = { version = "0.1.0", features = ["vendor-cadical"] }
bitwuzla-sys = { version = "0.1.1", features = ["vendor-cadical"] }
```

Enabling `vendor-cadical` will automatically build a static `bitwuzla` library
Expand Down

0 comments on commit 9c8bb19

Please sign in to comment.