Bump version.

sybila · May 20, 2024 · f6f2a9f · f6f2a9f
1 parent 53e5324
commit f6f2a9f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,14 +1,14 @@
 [package]
 name = "biodivine-aeon-py"
-version = "1.0.0-alpha7"
+version = "1.0.0-alpha8"
 edition = "2021"
 
 [lib]
 name = "biodivine_aeon"
 crate-type = ["cdylib", "rlib"]
 
 [features]
-default = ['static-z3']
+# default = ['static-z3']
 # For releases, we want to include Z3 statically, so that users
 # don't have to install it (or break compatibility with new versions).
 # So for CI builds, this feature is enabled, but for local builds,

diff --git a/pyproject.toml b/pyproject.toml
@@ -7,7 +7,7 @@ name = "biodivine_aeon"
 repository = "https://github.com/sybila/biodivine-aeon-py/"
 documentation = "https://biodivine.fi.muni.cz/docs/aeon-py/v0.2.0/"
 description = "Python bindings for the tool AEON."
-version = "1.0.0a7"
+version = "1.0.0a8"
 requires-python = ">=3.9"
 classifiers = [
     "Programming Language :: Rust",