diff --git a/README.md b/README.md index c5d96e4a81..d8e89229f5 100644 --- a/README.md +++ b/README.md @@ -83,6 +83,7 @@ sudo apt-get install \ libmpfr-dev \ libsecp256k1-dev \ libstdc++-12-dev \ + libtool \ libyaml-dev \ libz3-dev \ lld-15 \ diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index 3c5c087eea..4cd626bb18 100644 --- a/kevm-pyk/pyproject.toml +++ b/kevm-pyk/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api" [tool.poetry] name = "kevm-pyk" -version = "1.0.488" +version = "1.0.489" description = "" authors = [ "Runtime Verification, Inc. ", diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py index 72363bd242..0f1ce6ba9d 100644 --- a/kevm-pyk/src/kevm_pyk/__init__.py +++ b/kevm-pyk/src/kevm_pyk/__init__.py @@ -6,4 +6,4 @@ from typing import Final -VERSION: Final = '1.0.488' +VERSION: Final = '1.0.489' diff --git a/package/version b/package/version index 224b658b5e..eb9688348e 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.488 +1.0.489