From 1500ff988e456f6980620c997da81de3f373bf68 Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Sun, 9 Jul 2023 05:21:57 -0600 Subject: [PATCH] Update dependency: deps/pyk_release (#1947) * deps/pyk_release: Set Version v0.1.361 * Set Version: 1.0.231 * kevm-pyk/: sync poetry files pyk version v0.1.361 * flake.{nix,lock}: update Nix derivations --------- Co-authored-by: devops --- deps/pyk_release | 2 +- flake.lock | 8 ++++---- flake.nix | 2 +- kevm-pyk/poetry.lock | 28 ++++++++++++++-------------- kevm-pyk/pyproject.toml | 4 ++-- package/debian/changelog | 2 +- package/version | 2 +- 7 files changed, 24 insertions(+), 24 deletions(-) diff --git a/deps/pyk_release b/deps/pyk_release index 9093f1fcfc..5251064ba4 100644 --- a/deps/pyk_release +++ b/deps/pyk_release @@ -1 +1 @@ -v0.1.360 +v0.1.361 diff --git a/flake.lock b/flake.lock index 46bf4c6280..22d6cecef3 100644 --- a/flake.lock +++ b/flake.lock @@ -1051,16 +1051,16 @@ "poetry2nix": "poetry2nix" }, "locked": { - "lastModified": 1688727825, - "narHash": "sha256-bYAdN7Rr7bv9FIRvfkT3XeeoOUfVk2cm2IjiSd8jTGA=", + "lastModified": 1688751834, + "narHash": "sha256-6+dKWbhCVhA8SM1Nwc/PzucgOEpyZ8J+AkHjq63pPMI=", "owner": "runtimeverification", "repo": "pyk", - "rev": "a193155fdf87b5241dcdcaf1e693f3134ba9f8ed", + "rev": "b055dbbd749c10a2b7afef97b6457d725494fc02", "type": "github" }, "original": { "owner": "runtimeverification", - "ref": "v0.1.360", + "ref": "v0.1.361", "repo": "pyk", "type": "github" } diff --git a/flake.nix b/flake.nix index 8e0290393d..b9d3e53611 100644 --- a/flake.nix +++ b/flake.nix @@ -17,7 +17,7 @@ ethereum-legacytests.url = "github:ethereum/legacytests/d7abc42a7b352a7b44b1f66b58aca54e4af6a9d7"; ethereum-legacytests.flake = false; haskell-backend.follows = "k-framework/haskell-backend"; - pyk.url = "github:runtimeverification/pyk/v0.1.360"; + pyk.url = "github:runtimeverification/pyk/v0.1.361"; pyk.inputs.flake-utils.follows = "k-framework/flake-utils"; pyk.inputs.nixpkgs.follows = "k-framework/nixpkgs"; foundry.url = "github:shazow/foundry.nix/monthly"; # Use monthly branch for permanent release diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock index f7fcea1a06..313b344af4 100644 --- a/kevm-pyk/poetry.lock +++ b/kevm-pyk/poetry.lock @@ -261,17 +261,17 @@ test = ["pytest (>=6)"] [[package]] name = "execnet" -version = "1.9.0" +version = "2.0.0" description = "execnet: rapid multi-Python deployment" optional = false -python-versions = ">=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*, !=3.4.*" +python-versions = ">=3.7" files = [ - {file = "execnet-1.9.0-py2.py3-none-any.whl", hash = "sha256:a295f7cc774947aac58dde7fdc85f4aa00c42adf5d8f5468fc630c1acf30a142"}, - {file = "execnet-1.9.0.tar.gz", hash = "sha256:8f694f3ba9cc92cab508b152dcfe322153975c29bda272e2fd7f3f00f36e47c5"}, + {file = "execnet-2.0.0-py3-none-any.whl", hash = "sha256:9e30983ff42c20bac5b18807910512058b12a79f6bccddd9ce813bf22b079a9c"}, + {file = "execnet-2.0.0.tar.gz", hash = "sha256:c98d4317b0c8ddcfea75523d6ace65c694b606d00d74e7a22e5209093bb94798"}, ] [package.extras] -testing = ["pre-commit"] +testing = ["hatch", "pre-commit", "pytest", "tox"] [[package]] name = "filelock" @@ -396,13 +396,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "importlib-metadata" -version = "6.7.0" +version = "6.8.0" description = "Read metadata from Python packages" optional = false -python-versions = ">=3.7" +python-versions = ">=3.8" files = [ - {file = "importlib_metadata-6.7.0-py3-none-any.whl", hash = "sha256:cb52082e659e97afc5dac71e79de97d8681de3aa07ff18578330904a9d18e5b5"}, - {file = "importlib_metadata-6.7.0.tar.gz", hash = "sha256:1aaf550d4f73e5d6783e7acb77aec43d49da8017410afae93822cc9cca98c4d4"}, + {file = "importlib_metadata-6.8.0-py3-none-any.whl", hash = "sha256:3ebb78df84a805d7698245025b975d9d67053cd94c79245ba4b3eb694abe68bb"}, + {file = "importlib_metadata-6.8.0.tar.gz", hash = "sha256:dbace7892d8c0c4ac1ad096662232f831d4e64f4c4545bd53016a3e9d4654743"}, ] [package.dependencies] @@ -411,7 +411,7 @@ zipp = ">=0.5" [package.extras] docs = ["furo", "jaraco.packaging (>=9)", "jaraco.tidelift (>=1.4)", "rst.linker (>=1.9)", "sphinx (>=3.5)", "sphinx-lint"] perf = ["ipython"] -testing = ["flufl.flake8", "importlib-resources (>=1.3)", "packaging", "pyfakefs", "pytest (>=6)", "pytest-black (>=0.3.7)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=1.3)", "pytest-mypy (>=0.9.1)", "pytest-perf (>=0.9.2)", "pytest-ruff"] +testing = ["flufl.flake8", "importlib-resources (>=1.3)", "packaging", "pyfakefs", "pytest (>=6)", "pytest-black (>=0.3.7)", "pytest-checkdocs (>=2.4)", "pytest-cov", "pytest-enabler (>=2.2)", "pytest-mypy (>=0.9.1)", "pytest-perf (>=0.9.2)", "pytest-ruff"] [[package]] name = "iniconfig" @@ -797,7 +797,7 @@ plugins = ["importlib-metadata"] [[package]] name = "pyk" -version = "0.1.360" +version = "0.1.361" description = "" optional = false python-versions = "^3.10" @@ -817,8 +817,8 @@ tomli = "^2.0.1" [package.source] type = "git" url = "https://github.com/runtimeverification/pyk.git" -reference = "v0.1.360" -resolved_reference = "a193155fdf87b5241dcdcaf1e693f3134ba9f8ed" +reference = "v0.1.361" +resolved_reference = "b055dbbd749c10a2b7afef97b6457d725494fc02" [[package]] name = "pyperclip" @@ -1057,4 +1057,4 @@ testing = ["big-O", "flake8 (<5)", "jaraco.functools", "jaraco.itertools", "more [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "d792ddf7555c5bd11b3f3186b1f99825695c83f515c558ae4ddd50278dc39dd6" +content-hash = "4f8e2291992c4f568b12ef9dcc332b88708d502e2a32df0fdaf927f161c2ffdd" diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml index d431aeb376..edbd37be6a 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.230" +version = "1.0.231" description = "" authors = [ "Runtime Verification, Inc. ", @@ -13,7 +13,7 @@ authors = [ [tool.poetry.dependencies] python = "^3.10" pathos = "*" -pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.360" } +pyk = { git = "https://github.com/runtimeverification/pyk.git", tag="v0.1.361" } tomlkit = "^0.11.6" [tool.poetry.group.dev.dependencies] diff --git a/package/debian/changelog b/package/debian/changelog index 2046cc378f..645ca7dbaa 100644 --- a/package/debian/changelog +++ b/package/debian/changelog @@ -1,4 +1,4 @@ -kevm (1.0.230) unstable; urgency=medium +kevm (1.0.231) unstable; urgency=medium * Initial Release. diff --git a/package/version b/package/version index b9159d8d79..e140615299 100644 --- a/package/version +++ b/package/version @@ -1 +1 @@ -1.0.230 +1.0.231