From 1433c3a2c04ac6dd13a39e97b7a165b295d97a27 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 23 Jul 2024 04:49:41 +0000 Subject: [PATCH] pyproject.toml: sync pyk version 7.1.74 --- poetry.lock | 14 +++++++------- pyproject.toml | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/poetry.lock b/poetry.lock index 918d48a5..e2125a65 100644 --- a/poetry.lock +++ b/poetry.lock @@ -461,13 +461,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve [[package]] name = "hypothesis" -version = "6.108.3" +version = "6.108.4" description = "A library for property-based testing" optional = false python-versions = ">=3.8" files = [ - {file = "hypothesis-6.108.3-py3-none-any.whl", hash = "sha256:fcc6864881d6ceab6924d77d81e3ed43fb820452293e4e07a2c81e0a95a65185"}, - {file = "hypothesis-6.108.3.tar.gz", hash = "sha256:095f2b049fba33f7920889e513b675dbf112bb740bc8d1ea433fdf7fd23cf37e"}, + {file = "hypothesis-6.108.4-py3-none-any.whl", hash = "sha256:901b1883b51207c4c3ecbae506bc8b65d66569f9bc34e023df7d8a821eb495c1"}, + {file = "hypothesis-6.108.4.tar.gz", hash = "sha256:bab99a308ea39be53882f1d89ab77db48e0c03b5c37fbedd2f59f9b656ada301"}, ] [package.dependencies] @@ -555,13 +555,13 @@ i18n = ["Babel (>=2.7)"] [[package]] name = "kframework" -version = "7.1.72" +version = "7.1.74" description = "" optional = false python-versions = "<4.0,>=3.10" files = [ - {file = "kframework-7.1.72-py3-none-any.whl", hash = "sha256:4c3e6e4a8e2fe12307ac487bf141196fdc53c787b0aefe0218e8952b12521bed"}, - {file = "kframework-7.1.72.tar.gz", hash = "sha256:64cd3aa6042e729e7720d82c65a4c26a057608736a362858005850af12498949"}, + {file = "kframework-7.1.74-py3-none-any.whl", hash = "sha256:14a193eb676d863ec86c36d7e0ee594172e050f5d0946566afe797efc9daa6fe"}, + {file = "kframework-7.1.74.tar.gz", hash = "sha256:829534b868ccdd9a784ad072e48fbbb6e4f6039bcc90c6862c9b90fe0e81ebef"}, ] [package.dependencies] @@ -1582,4 +1582,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools", [metadata] lock-version = "2.0" python-versions = "^3.10" -content-hash = "2890de9f6b52d9608de6196d763081b481bbf5eb4f9ac95e65c1c400901172a2" +content-hash = "ced934280153d6db59753b7fb1e1a550b2549e31da57712c02992a9aea9d5e7c" diff --git a/pyproject.toml b/pyproject.toml index 1271a4f8..3295c48a 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -18,7 +18,7 @@ riscv-semantics = "kriscv.kdist.plugin" [tool.poetry.dependencies] python = "^3.10" -kframework = "7.1.72" +kframework = "7.1.74" pyyaml = "^6.0.1" types-pyyaml = "^6.0.12.20240311" filelock = "^3.14.0"