{"package": "kframework", "summary": "", "pypi_url": "https://pypi.org/project/kframework", "piwheels_url": "https://www.piwheels.org/project/kframework", "releases": {"7.1.337": {"released": "2026-06-18 13:51:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.337-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.337-py3-none-any.whl", "filehash": "f8e0ba4effda64c1f10fbc306518e7485e1b24ddef9706021b2bbfc04ab5cb7d", "filesize": 305216, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.336": {"released": "2026-06-17 07:38:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.336-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.336-py3-none-any.whl", "filehash": "025e1318f73e9f134adbe64fd79efe6b9b1a8c3038c0bae38b87a6c88c03869b", "filesize": 305000, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.335": {"released": "2026-06-17 02:27:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.335-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.335-py3-none-any.whl", "filehash": "4c10779b24c69260cabd28336fefa52f5cc2073a55c530cde421659f3310d4e4", "filesize": 302365, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.334": {"released": "2026-06-11 20:11:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.334-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.334-py3-none-any.whl", "filehash": "39db9699d272edfca95d6d7046b7f2e813f09e62be6158609b4b45e16bef951e", "filesize": 302347, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.333": {"released": "2026-06-05 16:56:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.333-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.333-py3-none-any.whl", "filehash": "10b55ef7a52e3302fb857ea3adde376d65902701883bf6d788dfa6288fdccd03", "filesize": 302347, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.332": {"released": "2026-06-04 20:15:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.332-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.332-py3-none-any.whl", "filehash": "0c3fab2a49ae766b1b52e77e4ad3afd032c2af06d5aa7440a58dbc8e1e0d30ed", "filesize": 299676, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.331": {"released": "2026-06-04 15:38:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.331-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.331-py3-none-any.whl", "filehash": "f59811150e77b9c008ed2d6ac13c0ba60f0b84b74ddd7418a7ad0aba6bac9032", "filesize": 299675, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.330": {"released": "2026-06-03 16:28:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.330-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.330-py3-none-any.whl", "filehash": "e82c4ed22cb7a50fa218c63678f1df9805c4661b6e408c334ef7c69226bff21d", "filesize": 299676, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.329": {"released": "2026-05-30 06:06:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.329-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.329-py3-none-any.whl", "filehash": "c28ae3c545a7fffe64e140f2d545283e384d742662474b183c297f5a34b86a71", "filesize": 299676, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.328": {"released": "2026-05-29 19:48:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.328-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.328-py3-none-any.whl", "filehash": "b771123f74c4ddb788f4db65e8c68e1d76239e5f9d868c028023ba008b93d7f2", "filesize": 297972, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.327": {"released": "2026-05-28 20:42:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.327-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.327-py3-none-any.whl", "filehash": "4edd933935c55c9449f113c4fa82d04fb2e159a31bc03fb58c0d6be1150fe1f5", "filesize": 297971, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.326": {"released": "2026-05-28 19:07:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.326-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.326-py3-none-any.whl", "filehash": "9cc25c665e191b804a59937dfd53647c8a8605c98521f6f13b6f177e8f09c7a9", "filesize": 297971, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.325": {"released": "2026-05-27 20:58:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.325-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.325-py3-none-any.whl", "filehash": "d7ff6ba1c2c757223c023d3ae28ba2b57744ba4ddcfc051a79f97dd6748e7bb9", "filesize": 297457, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.324": {"released": "2026-05-27 19:51:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.324-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.324-py3-none-any.whl", "filehash": "2f88f025fd676ac2b5fed4bcc774cb96199545ee41728aef3e8454df5e6557f7", "filesize": 297457, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.323": {"released": "2026-05-12 14:44:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.323-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.323-py3-none-any.whl", "filehash": "d0b23ccf44babb5e3ac735e00242d0a41435864ec66012d761cf6718aee53413", "filesize": 297459, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.322": {"released": "2026-05-08 18:39:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.322-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.322-py3-none-any.whl", "filehash": "1acbfe008f3d46418c24dc4c231f7bf388e65a0a110cea5cb05b1b99e05cbf5a", "filesize": 296933, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.321": {"released": "2026-05-07 18:23:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.321-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.321-py3-none-any.whl", "filehash": "838122242865d3e6278ebb76b0cfb7c7724e4eca41ca297f26b52336f63d14f8", "filesize": 296405, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.319": {"released": "2026-04-27 13:56:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.319-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.319-py3-none-any.whl", "filehash": "5441f7a2ac6633afa1491f4817f6dc3631b9f74e2017632ca9586b7c544e1642", "filesize": 296077, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.318": {"released": "2026-04-15 12:18:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.318-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.318-py3-none-any.whl", "filehash": "7a617914ce059ca323159230d5b9f3540a54b7aeb72e4d68f39662dd0ffc5026", "filesize": 295988, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "requests", "textual", "tomli", "tomli-w", "xdg-base-dirs"]}}}, "7.1.313": {"released": "2026-01-30 16:00:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.313-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.313-py3-none-any.whl", "filehash": "488e3983d3e62b277f0505e0ccc4b470c73d1e68a9c7ce327f2f6881fcce115a", "filesize": 294467, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.312": {"released": "2026-01-30 13:11:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.312-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.312-py3-none-any.whl", "filehash": "dcb43fdd486fa0a8871dbba9ee2367d66a314c7dddbe8cbc9033bce01d765c5a", "filesize": 294467, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.311": {"released": "2026-01-29 11:30:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.311-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.311-py3-none-any.whl", "filehash": "4ef38ab355dfe6168b9e847b074f86c054c6eb239b842c075e57b204c81093bf", "filesize": 294461, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.310": {"released": "2026-01-06 22:25:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.310-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.310-py3-none-any.whl", "filehash": "f69fd5e68f2487d5f126e56d975cd4787634a803aaccb02fb718e5bd06b20790", "filesize": 294461, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.304": {"released": "2025-11-14 21:21:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.304-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.304-py3-none-any.whl", "filehash": "1be5eee4b23ba47e748f457a1d3845b3aba18540b5e9a579bd508b2a43906274", "filesize": 294462, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.303": {"released": "2025-11-14 20:29:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.303-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.303-py3-none-any.whl", "filehash": "89840eb48d27bcf747be1221be773ab965f8613e78b8c2dd0c37f3431bd734d9", "filesize": 294462, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.302": {"released": "2025-11-12 13:59:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.302-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.302-py3-none-any.whl", "filehash": "c67c6044c47c26a3e250268dadc9a95c41734769fa0cde9edf9e99a822d9f454", "filesize": 294462, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.301": {"released": "2025-10-30 10:11:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.301-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.301-py3-none-any.whl", "filehash": "480714ad945afa93c3b6d3d27e42591833b2de03aa67b48098533d190781de6e", "filesize": 294306, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.300": {"released": "2025-10-20 19:45:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.300-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.300-py3-none-any.whl", "filehash": "31fd872fadad1c0b9a855017911b0b9a643280ea07bb4078f49c400ad7db7163", "filesize": 294221, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.299": {"released": "2025-10-16 03:40:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.299-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.299-py3-none-any.whl", "filehash": "0c673ed10f8ba60a523306c1a9d4711778d65c730a07d8f2eb86ef65ac3f2f59", "filesize": 294134, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.298": {"released": "2025-10-14 17:57:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.298-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.298-py3-none-any.whl", "filehash": "9110c2f93d5ad4c6eaf8c07b9afbcacfc0e347fe6a0b2c794c5e79560d4c3eba", "filesize": 294134, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.297": {"released": "2025-10-09 08:35:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.297-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.297-py3-none-any.whl", "filehash": "43e8ea18e8d32c918440f6eaab3a7c7b5355b935b7462f1fdf25744eb42250df", "filesize": 294134, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.296": {"released": "2025-10-08 21:42:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.296-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.296-py3-none-any.whl", "filehash": "72bce4287907eeb1af7fd1b0ab71c5c8233c1d189e5a4cb0ec8ad5c7b77de16d", "filesize": 294135, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.289": {"released": "2025-10-01 13:00:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.289-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.289-py3-none-any.whl", "filehash": "68c1c776d951262b09e60f12d62c76158765254e0a4310a46f934481f837b30c", "filesize": 294139, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "~=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.288": {"released": "2025-09-18 05:48:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.288-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.288-py3-none-any.whl", "filehash": "0b922c332550e9b50e70d0f34a89ed5dd281df8ddbb04ee883de7d089cf3b272", "filesize": 294117, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "~=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.286": {"released": "2025-09-13 03:45:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.286-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.286-py3-none-any.whl", "filehash": "35489e1e7c90b1c49c894337b05d0413409c0fb9f6e2ee2a743a671f876ea6ab", "filesize": 294119, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "~=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.282": {"released": "2025-08-26 19:07:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.282-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.282-py3-none-any.whl", "filehash": "08850f995fd02371dfadcf372460b67594e0872018547d86d00a2ba75458f377", "filesize": 294118, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "~=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.280": {"released": "2025-07-18 11:30:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.278": {"released": "2025-07-17 12:03:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.277": {"released": "2025-07-17 10:11:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.276": {"released": "2025-07-16 15:04:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.275": {"released": "2025-07-16 12:04:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.274": {"released": "2025-07-14 22:41:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.273": {"released": "2025-07-03 16:25:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.273-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.273-py3-none-any.whl", "filehash": "61343c38e2162816c985fb63eff84b0a0de1f393cba67793bf901deae7185ba5", "filesize": 293823, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "~=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.272": {"released": "2025-07-03 04:28:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.272-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.272-py3-none-any.whl", "filehash": "5ca5d39d42bdd1fbb0e0c7cffdeba079763ffc66feae08fd452c6827a7aea581", "filesize": 293822, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "~=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.271": {"released": "2025-06-23 08:26:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.271-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.271-py3-none-any.whl", "filehash": "54926e488061d75f211c14e65f457e3a6001cbc6ced43478779d198fbcfb3dc6", "filesize": 293823, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "~=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.270": {"released": "2025-06-20 12:03:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.270-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.270-py3-none-any.whl", "filehash": "2f7a39ca35a2ed187f78eef0000cf4bfc72c59698761395421c0463944d41bf7", "filesize": 293730, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "~=3.10", "apt_dependencies": [], "pip_dependencies": ["coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.268": {"released": "2025-06-16 13:09:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.267": {"released": "2025-06-09 06:58:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.266": {"released": "2025-06-06 17:11:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.265": {"released": "2025-06-04 07:49:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.263": {"released": "2025-05-28 14:46:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.262": {"released": "2025-05-27 07:33:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.261": {"released": "2025-05-26 15:09:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.259": {"released": "2025-05-22 14:01:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.258": {"released": "2025-05-21 14:47:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.257": {"released": "2025-05-20 20:22:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.256": {"released": "2025-05-20 17:30:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.255": {"released": "2025-05-15 16:09:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.254": {"released": "2025-05-14 01:02:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.253": {"released": "2025-05-12 22:19:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.252": {"released": "2025-05-12 21:31:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.251": {"released": "2025-05-12 18:57:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.249": {"released": "2025-05-04 20:57:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.248": {"released": "2025-04-30 12:38:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.247": {"released": "2025-04-30 00:38:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.246": {"released": "2025-04-29 22:13:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.245": {"released": "2025-04-29 14:36:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.244": {"released": "2025-04-28 19:42:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.243": {"released": "2025-04-28 13:57:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.242": {"released": "2025-04-28 09:59:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.241": {"released": "2025-04-17 12:02:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.240": {"released": "2025-04-17 10:15:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.238": {"released": "2025-04-16 14:09:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.237": {"released": "2025-04-16 01:41:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.236": {"released": "2025-04-07 21:15:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.235": {"released": "2025-04-03 15:45:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "7.1.232": {"released": "2025-03-24 19:04:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.232-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.232-py3-none-any.whl", "filehash": "ac7a9e9d7da9b160038db7417138ac4b2ac08bf93212b7913d2bb310ae7b647f", "filesize": 295410, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.230": {"released": "2025-03-20 05:48:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.230-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.230-py3-none-any.whl", "filehash": "1e9c28ff06bb9083d6e6cb0f257245c49463dac6229a22975eab906a00d714e6", "filesize": 295351, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.229": {"released": "2025-03-18 19:20:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.229-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.229-py3-none-any.whl", "filehash": "c96a425a4c2e3a2a27ca6443dc870426c86134e1893e7a0cc68ba127962d7470", "filesize": 295352, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.228": {"released": "2025-03-17 14:10:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.228-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.228-py3-none-any.whl", "filehash": "f1a2f15bdb7ce3af4206b7e14b5bbdfea41ff09c99893f3edbdbf0b4767a0338", "filesize": 295350, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.227": {"released": "2025-03-17 12:47:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.227-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.227-py3-none-any.whl", "filehash": "a2a4bc006fd1a2ffc6e584176a4562a752e2a3f08896fc6af1ad3c13f3d429ca", "filesize": 295377, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.226": {"released": "2025-03-17 11:45:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.226-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.226-py3-none-any.whl", "filehash": "fc2863fd670634e4ce14dc35302b049b4399fb651fe7523102b0c65b2455baaa", "filesize": 295554, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.225": {"released": "2025-03-14 20:39:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.225-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.225-py3-none-any.whl", "filehash": "89a803588d25ec73a5cb4c7f8c096b69bc8f39d545bd94a570d71509d07f5e1b", "filesize": 295520, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.224": {"released": "2025-03-14 18:31:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.224-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.224-py3-none-any.whl", "filehash": "e81eb38ecfdc398274cfdb7f374de36c976167f991d2c758d5eab7e8b1b0d873", "filesize": 295513, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.223": {"released": "2025-03-14 15:23:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.223-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.223-py3-none-any.whl", "filehash": "1d82749199dfaf27b0e692f504064500fdc48bd522f4b5ea578ee5d7a4f9fcf2", "filesize": 295510, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "networkx", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.222": {"released": "2025-03-13 19:02:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.222-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.222-py3-none-any.whl", "filehash": "ae137f8d004d7dbed5650cb1d5d56db1aa7be5360ec3109ba504a714db146229", "filesize": 292777, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.220": {"released": "2025-03-13 15:59:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.220-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.220-py3-none-any.whl", "filehash": "7afe9195a9f80772a28299d0b51dafef126315ea5b0c59bd1c8a55622b1a7c7b", "filesize": 292416, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.219": {"released": "2025-03-10 14:49:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.219-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.219-py3-none-any.whl", "filehash": "2d4d8b615a10b203aaa84ebfe969460cae4f1b1c357d42a6c877d858b51f14f3", "filesize": 292171, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.218": {"released": "2025-03-05 10:03:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.218-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.218-py3-none-any.whl", "filehash": "5f42926766405a9da5b81647e329a51934c5aefc226f7ceff6dac9efbe22eba9", "filesize": 292171, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.217": {"released": "2025-03-02 23:59:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.217-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.217-py3-none-any.whl", "filehash": "e277f83558dab4a288fb031873fa7b312cc9368b0302bfb5a4a0afcb1c21d0fe", "filesize": 292171, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.216": {"released": "2025-02-24 13:11:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.216-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.216-py3-none-any.whl", "filehash": "289d26c8dd74de97840daa23625f87833330268f7e3252def4694a589872408f", "filesize": 292170, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.214": {"released": "2025-02-21 03:51:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.214-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.214-py3-none-any.whl", "filehash": "dd8039724faded00ca8c45475ccf1090ea483f291d5fcea0d60e4c59749ab0ee", "filesize": 288011, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.213": {"released": "2025-02-21 00:43:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.213-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.213-py3-none-any.whl", "filehash": "61898770d65659035ef0fecbccfb232461d44d81f3af5326f5a16ec757d4ca51", "filesize": 288009, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.212": {"released": "2025-02-05 04:52:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.212-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.212-py3-none-any.whl", "filehash": "31a5823cb6c51387610ee987d81f9444205a416af4ffd8ee7c4e771d002b9cea", "filesize": 288008, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.211": {"released": "2025-02-03 17:41:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.211-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.211-py3-none-any.whl", "filehash": "d042c59d6f1244e04c3549cb5434926ce7d78c7d30af0b5fff5f37181f7a6276", "filesize": 287921, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.210": {"released": "2025-02-03 14:21:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.210-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.210-py3-none-any.whl", "filehash": "7767247eb4ada20381c65a750b4b285dfa9274042ff4b513610d62536eab5565", "filesize": 287900, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "cookiecutter", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.208": {"released": "2025-01-27 13:22:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.208-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.208-py3-none-any.whl", "filehash": "ac754d7b53e0f1d20a91f9c2c9a1702e76fcb62f8e5110ad4fc247b8a86c76a4", "filesize": 283816, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.207": {"released": "2025-01-23 19:07:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.207-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.207-py3-none-any.whl", "filehash": "02d46b2bff3f8e4d1ea1b39ea1cfb5326ceee49b3262154ca316a59f7e32f31e", "filesize": 281059, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.205": {"released": "2025-01-20 20:44:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.205-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.205-py3-none-any.whl", "filehash": "90b2c1fcbdd4d41cb6bf84073b8e435cda502c5b2ef714c683f2ade4122a19b4", "filesize": 280263, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.204": {"released": "2025-01-20 18:06:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.204-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.204-py3-none-any.whl", "filehash": "3fb32643234659c3b8be93935bfaec6c0ae44013d1d4536f954d92aa4ba64049", "filesize": 280157, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.203": {"released": "2025-01-20 13:45:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.203-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.203-py3-none-any.whl", "filehash": "990c09ac19376078ca66c4efc2d35d5df9756553c7c728198d63cec7feeeaac9", "filesize": 279690, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.202": {"released": "2025-01-20 09:45:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.202-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.202-py3-none-any.whl", "filehash": "2fc8929e9f5f56f9c18f3090db5c36a01808bbe7e78d461ce5dedf2572d30265", "filesize": 278420, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.201": {"released": "2025-01-17 15:36:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.201-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.201-py3-none-any.whl", "filehash": "175cb387f6848356db4a8a630efe1730b6fbb24a1f550494da3d8fc01b22cf49", "filesize": 278225, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.199": {"released": "2025-01-16 20:42:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.199-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.199-py3-none-any.whl", "filehash": "3014acf8acba68ee2413be90c3ae829c3fcc34b6503355346d628c3b1f72d2d4", "filesize": 276392, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.198": {"released": "2025-01-14 19:06:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.198-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.198-py3-none-any.whl", "filehash": "6b8d9f7826599fbc05c668474020bc1ac56e3a2ace9355ef62e2a19141d8eb06", "filesize": 275435, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.196": {"released": "2025-01-07 18:19:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.196-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.196-py3-none-any.whl", "filehash": "aca8910677f8fe3cccd3240a9f372401d419d69cd587427d284ac6b9029f6e19", "filesize": 275029, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.195": {"released": "2025-01-07 15:26:25", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.195-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.195-py3-none-any.whl", "filehash": "a3747dbe747db0bf93cb034b63d3185396b4d673bf91a6b71072d5562f34133f", "filesize": 271046, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.194": {"released": "2025-01-07 13:05:00", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.194-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.194-py3-none-any.whl", "filehash": "e9e518a0c790e197640157e230cb37570e4c53429435dba6ddaa8056b03cb4ed", "filesize": 271046, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.193": {"released": "2024-12-29 16:00:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.193-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.193-py3-none-any.whl", "filehash": "416b64059a00ec4b11b94384dbe288331ebf048c02ce1efc73765ffac109581f", "filesize": 271047, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.191": {"released": "2024-12-17 14:31:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.191-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.191-py3-none-any.whl", "filehash": "b12d60a8a178fabdd6b12caa0041f4af64655a199f08e569c50170d5e8a74cde", "filesize": 269016, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.190": {"released": "2024-12-17 05:19:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.190-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.190-py3-none-any.whl", "filehash": "ec60c5e022d53eb0c22f683c160eb73720eee098f1da5280717f968db6e3ec06", "filesize": 268889, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.187": {"released": "2024-12-11 09:23:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.187-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.187-py3-none-any.whl", "filehash": "3f646b1bfb2e3ad48c76ec4751a0d767a1ccd8d3f3d603bb839c5b869f7d3043", "filesize": 268487, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.186": {"released": "2024-12-10 20:21:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.186-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.186-py3-none-any.whl", "filehash": "de89b8c98c23d7b8d9f13f16729e266a160ba139a82cf3c57811c9befebc3617", "filesize": 268505, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.184": {"released": "2024-12-05 11:09:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.184-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.184-py3-none-any.whl", "filehash": "76739895f1947ed78ea9d59e54851daa705d5ca66edabde839cbf7dc1482ada9", "filesize": 267648, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.183": {"released": "2024-12-04 14:53:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.183-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.183-py3-none-any.whl", "filehash": "e0af5c7cba34916d1d25584ccc1e56152803e9af7b711a5dbeb3a52814887d0e", "filesize": 266872, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.182": {"released": "2024-12-04 05:43:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.182-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.182-py3-none-any.whl", "filehash": "7d3267fa7c5d3c6601eca9bd84bc9cf931251c69a3366b49626b94fd945ab7a8", "filesize": 266846, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.181": {"released": "2024-12-03 09:11:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.181-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.181-py3-none-any.whl", "filehash": "c5058e1b0d6574289b141548c3e78a1fb6090b09417e153a29d60ae2ee4a94e8", "filesize": 266846, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.180": {"released": "2024-11-28 09:36:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.180-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.180-py3-none-any.whl", "filehash": "9eaa81cc42c71efdee2edf5c6687410c732d489ebb5481f0a9c79484f0779ba0", "filesize": 266949, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.179": {"released": "2024-11-27 21:19:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.179-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.179-py3-none-any.whl", "filehash": "c78ddb6e103b543f7200441342393148eb996f3069a5f9c05f7945184138c5a1", "filesize": 264536, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.178": {"released": "2024-11-27 18:20:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.178-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.178-py3-none-any.whl", "filehash": "4dadc8a997d4c27fd9e16db831b61d5de11b7a3466b620430c4390a03b66d846", "filesize": 264535, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.177": {"released": "2024-11-27 10:46:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.177-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.177-py3-none-any.whl", "filehash": "df52d42faa48c37e5685fe78f43757222861024d5319ab989d1b54f0bc84a42f", "filesize": 264499, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.174": {"released": "2024-11-21 16:34:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.174-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.174-py3-none-any.whl", "filehash": "e30d8e5838d545a7aae5597ebcc3bea8b560cdcf7be582437f511ff3dd0d3292", "filesize": 264118, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.173": {"released": "2024-11-21 12:31:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.173-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.173-py3-none-any.whl", "filehash": "944de418f51a19214b113a0ca570b7fc0051be86cc782d5b1f5f48e3dcc4ddd2", "filesize": 263050, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.170": {"released": "2024-11-01 03:43:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.170-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.170-py3-none-any.whl", "filehash": "f173104997ddbba8213a192e75f5c31b85dba6a9782003a4ba3a29a8c9f4ac65", "filesize": 262205, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.169": {"released": "2024-10-31 03:47:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.169-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.169-py3-none-any.whl", "filehash": "af0419d93285834568f2727bb66af4188736faf625a3bdfc331d9294ade1ea95", "filesize": 262207, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.167": {"released": "2024-10-29 21:25:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.167-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.167-py3-none-any.whl", "filehash": "c6229b45f6af74cb605dd46d9f9625c7b3696f445300393f594d5b76c2d33a31", "filesize": 262205, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.166": {"released": "2024-10-23 21:10:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.166-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.166-py3-none-any.whl", "filehash": "a040ac35a29c06fe7abec2d305dbc4b632a037a6a4047992605326a5078c8565", "filesize": 262206, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.165": {"released": "2024-10-23 13:14:54", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "7.1.164": {"released": "2024-10-18 16:38:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.164-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.164-py3-none-any.whl", "filehash": "0cb8245fe3bdf846535078df08b8d8159c76f711aaa01ad774ef554e24d50d74", "filesize": 262205, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.163": {"released": "2024-10-18 00:41:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.163-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.163-py3-none-any.whl", "filehash": "811990c7bb1421928b2d823f38c652ae13c6e2618acd7de887d31c1da335011b", "filesize": 262207, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.162": {"released": "2024-10-17 17:35:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.162-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.162-py3-none-any.whl", "filehash": "ce43ff2f845c17309e2f4dc031abf6d4129546c1004d83b958495b1b920dc3fc", "filesize": 262206, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.160": {"released": "2024-10-17 00:09:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.160-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.160-py3-none-any.whl", "filehash": "199db49b981f69832601e8206ec0a0ba2a46c95aa470fd9cb9704fae8bf5503b", "filesize": 262260, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.159": {"released": "2024-10-16 22:02:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.159-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.159-py3-none-any.whl", "filehash": "4441c9cfe5a02b20518eb976d7405f806022258e5023b4eb78b571912b0e5661", "filesize": 262205, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.158": {"released": "2024-10-11 23:59:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.158-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.158-py3-none-any.whl", "filehash": "1b04cc0699ae544f8859673a8dee1c713709a8e91c25254030092ff3d875eccb", "filesize": 262259, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.157": {"released": "2024-10-10 11:32:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.157-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.157-py3-none-any.whl", "filehash": "db15775cd3ed3ef16280e411b03cf7498af52aebc7948367a10a312f9b5ffb69", "filesize": 262204, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.156": {"released": "2024-10-09 08:20:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.156-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.156-py3-none-any.whl", "filehash": "3dfd7f4c27cf36f9ee07e1ff3163b436776739dd190a6a060125ed35a7671149", "filesize": 262158, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.155": {"released": "2024-10-07 16:24:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.155-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.155-py3-none-any.whl", "filehash": "b686176cecd29fb1cb50b52ef06dc97a49b2e8bd24a8ecba5e2cb843966369b2", "filesize": 262159, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.154": {"released": "2024-10-07 15:05:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.154-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.154-py3-none-any.whl", "filehash": "4bda2e39daca441c5868030535c0c55f3f64ec19c76417afa8cf04fcdec8dd62", "filesize": 262648, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.153": {"released": "2024-10-03 13:58:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.153-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.153-py3-none-any.whl", "filehash": "1c883aee56539a3bc356f5308c6086dbbdbb0c328ca41aed7fe2c68e7bd32b8a", "filesize": 262614, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.151": {"released": "2024-09-25 20:35:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.151-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.151-py3-none-any.whl", "filehash": "8ac212711a7b9e0ae8953884b779a0b215ef7c4145816dbd588342f5c3b00268", "filesize": 262597, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.150": {"released": "2024-09-25 16:06:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.150-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.150-py3-none-any.whl", "filehash": "e31fd668ac7cb7d44d36c4abbacaecee293a056744a8aff5a67ccde5725409ce", "filesize": 262597, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.149": {"released": "2024-09-22 01:07:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.149-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.149-py3-none-any.whl", "filehash": "2999608dd3a62556145c0e59608abde14812289b930fad44854ede3a3101c995", "filesize": 262561, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.148": {"released": "2024-09-20 20:39:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.148-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.148-py3-none-any.whl", "filehash": "6db2fc478c5c2a248a1f9fb9c91140deebf21a1db5e200f215371b727c512265", "filesize": 262389, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.147": {"released": "2024-09-20 01:51:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.147-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.147-py3-none-any.whl", "filehash": "b515531a21fad6ac8ddd34b8525598c193777be4fbd5f02b2d0b295c158b9314", "filesize": 262389, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.146": {"released": "2024-09-19 17:42:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.146-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.146-py3-none-any.whl", "filehash": "a676df2f6b19088ce245679852ada1ae373bdd397dd004ca54e027e5dfc763ce", "filesize": 260547, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.145": {"released": "2024-09-18 19:19:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.145-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.145-py3-none-any.whl", "filehash": "a9107a75d25906200db2510ccb931358b8b50eb5bbd0f60680d50ace994baa19", "filesize": 260549, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.144": {"released": "2024-09-17 18:44:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.144-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.144-py3-none-any.whl", "filehash": "523fa392b57511d8d97388f8b1169e9869307c6a1d7ad613baa1af498ed5f8dd", "filesize": 260547, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.143": {"released": "2024-09-17 16:08:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.143-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.143-py3-none-any.whl", "filehash": "69db516b0e86c039c7c979f4d784ac17a4643776f9ac62ed14d07979e89d4bb4", "filesize": 260551, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.142": {"released": "2024-09-12 20:17:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.142-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.142-py3-none-any.whl", "filehash": "41dc2f26ea3acff1d79fd6e87519cedba94f3a9de8e313066a7fbb7654710c4c", "filesize": 260516, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.141": {"released": "2024-09-11 20:10:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.141-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.141-py3-none-any.whl", "filehash": "3a882a19a33397ae0da1e6e7d2fe9709c9f274bd5c12cdc06b1d999e3437956d", "filesize": 260519, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.140": {"released": "2024-09-11 10:54:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.140-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.140-py3-none-any.whl", "filehash": "416e0488bff3977e006541e36e8e7b1178d1692e6bc3c2e6bb6cabcf578da397", "filesize": 260518, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.139": {"released": "2024-09-09 22:09:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.139-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.139-py3-none-any.whl", "filehash": "bf3f6efa8a23a272dd1afdcaa109822e679d35be1176f219a24bb7ae0a23c8d2", "filesize": 260576, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.138": {"released": "2024-09-09 19:07:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.138-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.138-py3-none-any.whl", "filehash": "b719147593d0718724832c0269467141a237580ec1cd50d6f1c6f23216af44ae", "filesize": 260540, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.137": {"released": "2024-09-09 03:12:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.137-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.137-py3-none-any.whl", "filehash": "81ed5aca60b2b44127d6b9799e71287a8ac0977498d67afafc39dec95199740e", "filesize": 260555, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.136": {"released": "2024-09-06 18:21:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.136-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.136-py3-none-any.whl", "filehash": "a5d8e6ad82fc4d8ed69d08fbeb041730e415d99c7ee22bc5b43468cee0beb741", "filesize": 260233, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.135": {"released": "2024-09-06 16:12:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.135-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.135-py3-none-any.whl", "filehash": "7a341f9c9ae057c1dab36bb56a827f540a29c9880bc4e15e1a5c3ed7443abf19", "filesize": 260227, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.134": {"released": "2024-09-06 15:23:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.134-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.134-py3-none-any.whl", "filehash": "8e1ec2ff1ce898c414bddba3d8da60251edb57ea2f06d8c97bbb026e723d3c16", "filesize": 260256, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.133": {"released": "2024-09-06 09:23:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.133-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.133-py3-none-any.whl", "filehash": "ae950cd799d9f46fe258e317009fbb1960a79018163adf129942fa46c46d2cd4", "filesize": 260256, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.132": {"released": "2024-09-06 03:59:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.132-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.132-py3-none-any.whl", "filehash": "ab18f9590aca280ca3a2055c6519c8a4b3fd6ede07fd31cea66157d3c7a7a5ff", "filesize": 260282, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.131": {"released": "2024-09-03 21:06:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.131-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.131-py3-none-any.whl", "filehash": "b16de689e8b4c70f6484b5b399b09a9dbe35ffbc847fce719d7c17de53d2ee9f", "filesize": 260283, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.129": {"released": "2024-09-03 16:16:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.129-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.129-py3-none-any.whl", "filehash": "640b8485da1704384e25c8570f64c4a4ed9586d0510a9abdca845e908816296b", "filesize": 260282, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.127": {"released": "2024-09-02 12:39:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.127-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.127-py3-none-any.whl", "filehash": "b778217001a75671ec6c1c818c148cb40c52b3543962f4fe3d28df90dc81c18a", "filesize": 260282, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.126": {"released": "2024-09-02 11:55:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.126-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.126-py3-none-any.whl", "filehash": "5c371480f9e0de4339ffe2084031381f06698ce61657d01d960a9a7183c12209", "filesize": 260283, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.125": {"released": "2024-08-29 16:40:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.125-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.125-py3-none-any.whl", "filehash": "34eb95d0fb1cf7815697a558615412eaac0a54140d828606785fea6e0ead594f", "filesize": 260259, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.124": {"released": "2024-08-28 21:42:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.124-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.124-py3-none-any.whl", "filehash": "cc204189b8d6133aa7933fd96260f0576593d6dee54df588f17b5729630934ad", "filesize": 260417, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.123": {"released": "2024-08-28 18:04:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.123-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.123-py3-none-any.whl", "filehash": "b98081331a8f1d2902df61911726c3fb80b95f7da1d330102a58dd6bd3e5c83c", "filesize": 260415, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.122": {"released": "2024-08-27 14:21:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.122-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.122-py3-none-any.whl", "filehash": "fe36f82ec844816e3bf907377775efe1de68038df0106db5c2b5f7f1ea1a1904", "filesize": 259880, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.121": {"released": "2024-08-26 10:35:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.121-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.121-py3-none-any.whl", "filehash": "92796088daf5c5083b0daa6e5b22e633f68295c58e97830c2c0538a48ba08d0a", "filesize": 259109, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.120": {"released": "2024-08-23 19:19:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.120-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.120-py3-none-any.whl", "filehash": "b49a10fec7104bad2477aaf01e9986f5660fc90eaebbdc02ce802a8e476eeb6d", "filesize": 258649, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.119": {"released": "2024-08-22 22:18:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.119-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.119-py3-none-any.whl", "filehash": "817b0f4f59df881f428083e99739856d0676392c7fc6cdde5ce285ee17b24c8e", "filesize": 258504, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.118": {"released": "2024-08-22 21:04:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.118-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.118-py3-none-any.whl", "filehash": "affd45d59fa73b8d004d6f8a24e79d0260bca7b2fac794ee24a185b723ecc3ca", "filesize": 258091, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.117": {"released": "2024-08-22 07:18:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.117-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.117-py3-none-any.whl", "filehash": "a8967b4000109a2aa672acd1db9ad95c40e43994ac85923beb3112a84fd9928f", "filesize": 258091, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.116": {"released": "2024-08-22 05:39:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.116-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.116-py3-none-any.whl", "filehash": "f5b63dcebd9ded49f5fd664354332b5ac911bc5cd30eaf63bc97a6f8be8a3290", "filesize": 258091, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.114": {"released": "2024-08-21 10:05:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.114-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.114-py3-none-any.whl", "filehash": "e96d55d256abe5badba9c19e4ea8db4c8462c6ac6a75a7c8cfd96fdd53a09abe", "filesize": 258091, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.112": {"released": "2024-08-19 14:40:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.112-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.112-py3-none-any.whl", "filehash": "bf0eae34aa35b67d831c91f314bd94a80c5a88a59cda77fc7399bafb0c2c8fe5", "filesize": 258090, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.111": {"released": "2024-08-16 17:22:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.111-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.111-py3-none-any.whl", "filehash": "456ef27c7fcb830947c34f5286c9ecdab4bedd6475a33c95bc39793d9dee1ad1", "filesize": 257166, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.110": {"released": "2024-08-15 17:44:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.110-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.110-py3-none-any.whl", "filehash": "339d7d0f43c385ea75bfa9da0168948c2630697b968322ae8f2b474a71dbd9ac", "filesize": 257168, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.109": {"released": "2024-08-14 20:42:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.109-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.109-py3-none-any.whl", "filehash": "e3d62ea8fef5b60004cdab49c8779e85782e42d8bfd4b1a03af8383a8da7180c", "filesize": 257092, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.108": {"released": "2024-08-14 19:56:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.108-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.108-py3-none-any.whl", "filehash": "f6f1f55e155af4574a019a117ab5f94d377fc81918fe851887f39feb3a92c7d4", "filesize": 257091, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.107": {"released": "2024-08-14 19:09:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.107-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.107-py3-none-any.whl", "filehash": "d8fa9c95f4f7d1fd3d38bf725acebddb7314ed7d432570b601581e1ba1189bea", "filesize": 256951, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.106": {"released": "2024-08-14 12:13:45", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.106-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.106-py3-none-any.whl", "filehash": "21f3249460e963ea4a5e300a9f56f346fc5901e1d841ab9b2cfbae599fdb18c2", "filesize": 256960, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.105": {"released": "2024-08-14 08:40:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.105-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.105-py3-none-any.whl", "filehash": "cb133d4e250034eff8cedcfb64bfb76d345b14bb9c5553ca75fd47f70a4607c6", "filesize": 256959, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.104": {"released": "2024-08-12 19:55:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.104-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.104-py3-none-any.whl", "filehash": "a623575b4404ec4725d2269eafa9cd9d11468cef5f184e1c4db268d3bcf74d7e", "filesize": 256960, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.103": {"released": "2024-08-09 17:37:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.103-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.103-py3-none-any.whl", "filehash": "a148f763fd1a65a67511cc72f737ecd3d53897597c72fc56be3bbd0579fe4b22", "filesize": 256455, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.102": {"released": "2024-08-08 20:57:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.102-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.102-py3-none-any.whl", "filehash": "6518e479f8ae53b83d5ac6891608dd1d22be824e57e3971dd7b6776fb195674e", "filesize": 256411, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.101": {"released": "2024-08-08 20:12:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.101-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.101-py3-none-any.whl", "filehash": "eb8221f8c52c0c4dbdc0175f17ad54701b5b1547399abefac6db618557e485ad", "filesize": 256386, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.100": {"released": "2024-08-08 18:44:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.100-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.100-py3-none-any.whl", "filehash": "b276791a8bc2c77a7e0426b7200251497b8b4ceb7a6a9286b5887d70220ed182", "filesize": 256389, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.99": {"released": "2024-08-08 11:47:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.99-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.99-py3-none-any.whl", "filehash": "331e099f53657a08a407e205ff2d4e76cac78776045d03cd3b9b592f3aa3c442", "filesize": 256374, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.98": {"released": "2024-08-08 10:55:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.98-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.98-py3-none-any.whl", "filehash": "47d277a930bb39f3171d5772d5c1eee8cfc337c5043bed0da70ffceb33d7a3a0", "filesize": 256358, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.97": {"released": "2024-08-07 21:26:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.97-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.97-py3-none-any.whl", "filehash": "e340b86b32279f68522bcf9938616eb394485edee2ab218f1f574122b9da0858", "filesize": 256654, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.96": {"released": "2024-08-07 08:38:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.96-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.96-py3-none-any.whl", "filehash": "6d49e6254c561e00b20494b8b4290bdaff9f692d3891de71ee543ee2a1cb7759", "filesize": 256633, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.95": {"released": "2024-08-06 21:37:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.95-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.95-py3-none-any.whl", "filehash": "932e226ac6207158a35e435e267411f0f183fea671fca7731462c7f532c25c02", "filesize": 256595, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.94": {"released": "2024-08-06 09:41:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.94-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.94-py3-none-any.whl", "filehash": "6e5bd949e63ce290429d33a51ead0ec7c35c396f7b9bae4e4403a152fbf05b5d", "filesize": 256521, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.93": {"released": "2024-08-05 16:32:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.93-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.93-py3-none-any.whl", "filehash": "27b501bc2379b1bd1707a4deff44d597409a665355ad8671a0b0b6270068e174", "filesize": 256675, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.92": {"released": "2024-08-02 13:28:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.92-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.92-py3-none-any.whl", "filehash": "0d334679cf0d5b7746125a46cd67bb7641e2ccf920c7d207f280748cc0fa6376", "filesize": 256676, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.90": {"released": "2024-08-01 19:49:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.90-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.90-py3-none-any.whl", "filehash": "ea01e86982b3d31276c48b1cc2031b9ac226a059d6207db781438ee4fff9d956", "filesize": 256659, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.89": {"released": "2024-07-30 17:04:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.89-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.89-py3-none-any.whl", "filehash": "553ec07a40fe859407d0c7f8b88a57d1bbaa4702863ead360850fc74258a71d0", "filesize": 256660, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.88": {"released": "2024-07-29 20:00:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.88-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.88-py3-none-any.whl", "filehash": "a52d630ff806d24bef19e617b275494e879f05c594b834a493b773ebbedee52c", "filesize": 256366, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.87": {"released": "2024-07-29 17:38:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.87-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.87-py3-none-any.whl", "filehash": "c7f547fd5c8a7d69f08c977fdc090a662eb13b396d7a2abe14024e100887e93d", "filesize": 256366, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.86": {"released": "2024-07-29 15:37:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.86-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.86-py3-none-any.whl", "filehash": "542fca0b80483f850b16462f598845688864dc4c5f2d5056b2dfd6e742558751", "filesize": 256367, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.85": {"released": "2024-07-26 16:21:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.85-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.85-py3-none-any.whl", "filehash": "4c4d7483cc6874337369ffca071df6ed3b46ee05e550ea057f0be8153e7fb76c", "filesize": 256366, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.84": {"released": "2024-07-26 14:43:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.84-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.84-py3-none-any.whl", "filehash": "3a76a5de43de6c0372bb0f67c4e00086f661cb4aa4946a461efa1c976f8f9a3e", "filesize": 256367, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.83": {"released": "2024-07-26 12:18:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.83-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.83-py3-none-any.whl", "filehash": "58e399b3f86512d9727f5933841d37073dae9d795132e2360989116e62b3ce4b", "filesize": 256367, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.82": {"released": "2024-07-26 10:19:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.82-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.82-py3-none-any.whl", "filehash": "f7fb0f2b315e702dc6d18b970c946fc035f7b5fa7d1d4a4f2c6a1fa55db6483f", "filesize": 256367, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.81": {"released": "2024-07-26 07:04:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.81-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.81-py3-none-any.whl", "filehash": "b10796b7071f54720d71356d04eb51b5a430365965e987f568fa79bcfe921fb2", "filesize": 256366, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.80": {"released": "2024-07-25 08:52:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.80-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.80-py3-none-any.whl", "filehash": "576dcfd403b9de1bbee7d397bfe34b2720348d3947d1f3a5ab0489c1f6c88fd9", "filesize": 256368, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.79": {"released": "2024-07-24 17:06:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.79-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.79-py3-none-any.whl", "filehash": "792559590c81650768c1528c13b4689eced5ff8df934faf0b2a0c267e4282870", "filesize": 256366, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.78": {"released": "2024-07-23 22:20:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.78-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.78-py3-none-any.whl", "filehash": "acfdfc85961389a320279af8c21d2662636c2da46fb5c4eceaee3c1b4390e532", "filesize": 256344, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.77": {"released": "2024-07-23 14:18:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.77-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.77-py3-none-any.whl", "filehash": "52d13e961784956811be9d35a4993190582b8289f771c8f5f62be344094e5907", "filesize": 256346, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.76": {"released": "2024-07-23 10:47:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.76-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.76-py3-none-any.whl", "filehash": "f2864e7f6e96caa8e768205b59c94eb2457ccc8eae98a813a61152e2be19866e", "filesize": 256346, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.74": {"released": "2024-07-23 04:39:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.74-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.74-py3-none-any.whl", "filehash": "14a193eb676d863ec86c36d7e0ee594172e050f5d0946566afe797efc9daa6fe", "filesize": 256345, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.72": {"released": "2024-07-22 11:17:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.72-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.72-py3-none-any.whl", "filehash": "4c3e6e4a8e2fe12307ac487bf141196fdc53c787b0aefe0218e8952b12521bed", "filesize": 256304, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.70": {"released": "2024-07-19 19:39:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.70-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.70-py3-none-any.whl", "filehash": "53eb4e6dbe6c1fc24f51639d40518c2d19090b1c8a0c5fdc2c3a85ff6acfdd66", "filesize": 256304, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.69": {"released": "2024-07-19 16:40:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.69-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.69-py3-none-any.whl", "filehash": "c2bff5e64344aa5105149ca8a74831a9251779d8c8d16be52c46fa7cd80ce2a7", "filesize": 256304, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.68": {"released": "2024-07-19 08:33:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.68-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.68-py3-none-any.whl", "filehash": "a4d7f8b2432d43fd0d10aad542718e18f2c5a454ac6f1c42fd15b571735b640a", "filesize": 256311, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.67": {"released": "2024-07-18 17:40:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.67-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.67-py3-none-any.whl", "filehash": "23d6b848caeaf307c46a33da8f823009e3e2e535e2ca93ef96c346c0e70196e4", "filesize": 256311, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.66": {"released": "2024-07-17 16:06:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.66-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.66-py3-none-any.whl", "filehash": "d332af780a11b8e0ac7a1c0cf6c6779e04e9e1c78672e4c9ec8ae00f9cb1b4ec", "filesize": 256293, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.65": {"released": "2024-07-17 05:10:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.65-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.65-py3-none-any.whl", "filehash": "8d067b5f31aeec589a45c3c3af2658cbf13d9912a52b14a4db2d995e1249e70f", "filesize": 256285, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.64": {"released": "2024-07-17 03:15:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.64-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.64-py3-none-any.whl", "filehash": "054cfcfce08eb6abb2731ee11301bab73802e04712021f313d1ab56a57ad3f94", "filesize": 256344, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.63": {"released": "2024-07-16 23:06:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.63-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.63-py3-none-any.whl", "filehash": "2ac27d124f2394ac81ebb74b084b3b365f63dbc50fbbbac507d2a5c87969f4d3", "filesize": 256283, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.62": {"released": "2024-07-16 22:19:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.62-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.62-py3-none-any.whl", "filehash": "a32a43309e07a6275051cb0396ca0918688e5c43d19195563b73461deb0cd863", "filesize": 254127, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.61": {"released": "2024-07-16 06:38:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.61-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.61-py3-none-any.whl", "filehash": "089ecaa13a175e3330ff9993115f11c8638437ffe5633a40a51326dc33aa2fb1", "filesize": 254185, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.60": {"released": "2024-07-15 13:07:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.60-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.60-py3-none-any.whl", "filehash": "2172b7cd3d4a332162ad66c0ce701945923e660d181616bd729f60d7edcc743e", "filesize": 254126, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.59": {"released": "2024-07-15 01:38:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.59-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.59-py3-none-any.whl", "filehash": "341101f04c5809126c4fadc5334ab725fdfedcb39dc3026d0c8edf698a749136", "filesize": 254127, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.58": {"released": "2024-07-13 21:03:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.58-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.58-py3-none-any.whl", "filehash": "9e0dbca8b30ccb440e45a07f18303136fcb5c6bebd454a73ccc7426e6b6fa728", "filesize": 254154, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.57": {"released": "2024-07-12 17:51:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.57-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.57-py3-none-any.whl", "filehash": "b76f4e3a4486330c28dc700ac38b060089af5256e1a43baebe8411594459867e", "filesize": 254092, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.56": {"released": "2024-07-11 17:38:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.56-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.56-py3-none-any.whl", "filehash": "af7d096b68a098063d6223a48af9429e3a1fe40409253c4a9495bade8a72efb9", "filesize": 254169, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.55": {"released": "2024-07-11 08:32:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.55-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.55-py3-none-any.whl", "filehash": "125306acb25f9c7d6b2e17e759d46685d1233bee659f1d68889134734b3588b0", "filesize": 254174, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.54": {"released": "2024-07-10 19:39:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.54-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.54-py3-none-any.whl", "filehash": "19ed996c3bbb9dd6866187e1d6af2f36dc64aa53bc9fc82493df40c8c4b6b9e2", "filesize": 254227, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.53": {"released": "2024-07-10 18:03:48", "prerelease": false, "yanked": false, "skip_reason": "repeated failure", "files": {}}, "7.1.52": {"released": "2024-07-10 16:57:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.52-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.52-py3-none-any.whl", "filehash": "7f12dc9a54348e6f32a787f76b269b30c824a9c4435337d650c4e43827c33806", "filesize": 254228, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.51": {"released": "2024-07-10 15:24:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.51-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.51-py3-none-any.whl", "filehash": "768d6fe8383591eeed004ee47a17972c3edb39187ea6ad97d42890e16b74bb19", "filesize": 254462, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.50": {"released": "2024-07-10 14:26:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.50-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.50-py3-none-any.whl", "filehash": "5aab263fec629e6d4ba4a286baaa1bdadc8b1c8c9ccf211fd9a0587b2e80723d", "filesize": 254462, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.49": {"released": "2024-07-10 12:51:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.49-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.49-py3-none-any.whl", "filehash": "eab4a1921c4e838b114052284d84374fec3e1e6456466b0279e800e1ee60007f", "filesize": 254462, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.48": {"released": "2024-07-10 10:41:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.48-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.48-py3-none-any.whl", "filehash": "5ee66dc3be551a46cc4f06fdf4b6b9078800d9ab4c796c95976b94f804e6768e", "filesize": 254186, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.46": {"released": "2024-07-09 14:58:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.46-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.46-py3-none-any.whl", "filehash": "c90e523fd232d5645463e0f130ba0b39f2c7119f0260631978eea9e9f4e4c970", "filesize": 254232, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.45": {"released": "2024-07-08 15:57:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.45-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.45-py3-none-any.whl", "filehash": "a8dff4bda25a1510b9673d2b1be5bd70bb359b556c1384d8261ad2d8cfdbeff9", "filesize": 253361, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.44": {"released": "2024-07-04 10:20:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.44-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.44-py3-none-any.whl", "filehash": "4ded11b61e1b79c23bd75d8e2a2895a49c5a0188692b11a394f1975ce0ee7d06", "filesize": 253362, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.43": {"released": "2024-07-03 22:37:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.43-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.43-py3-none-any.whl", "filehash": "a9f18c575cfc12a7cf725011f81d1a9ecd8f39f853a9f5005d01dda42680c387", "filesize": 253293, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.42": {"released": "2024-07-03 02:08:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.42-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.42-py3-none-any.whl", "filehash": "fa018ccf74114dedd2e94595c9fb88d5eae015a98fee671d6efbec869e82c6c4", "filesize": 253104, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.41": {"released": "2024-07-02 21:19:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.41-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.41-py3-none-any.whl", "filehash": "89bfa4ead36ca5e4b08e7bd6eb9f789534f78fd17fcdc52747f24a0d6161fe2f", "filesize": 253105, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.40": {"released": "2024-07-02 13:39:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.40-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.40-py3-none-any.whl", "filehash": "75f820981d5aded343413cf89fab41a9f31d8eb123cff96abdbdcedcfebd35fd", "filesize": 253105, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.39": {"released": "2024-06-28 10:37:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.39-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.39-py3-none-any.whl", "filehash": "5109530433659aba562fa6b501d9356afe9c05c9498d3925da62c6054d170e69", "filesize": 253245, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.38": {"released": "2024-06-28 02:48:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.38-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.38-py3-none-any.whl", "filehash": "02392990d05ae5080cab5059c4f9a048b12ca9e6d960a4ecf90ae9e0fcc03366", "filesize": 253246, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.37": {"released": "2024-06-27 23:02:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.37-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.37-py3-none-any.whl", "filehash": "fac43e992ea85df94dcd172ae5fc179d73610c7670f912333c6717c716c68be3", "filesize": 252912, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.36": {"released": "2024-06-27 22:10:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.36-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.36-py3-none-any.whl", "filehash": "c1e139b78552e75467affc4015a13b37562ce427512de52b903d1b47ab1b0d05", "filesize": 252789, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.35": {"released": "2024-06-27 17:02:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.35-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.35-py3-none-any.whl", "filehash": "59d792f06826ba082c405a700e220b47c16466803e48e35c73b5cb3dc7ed9483", "filesize": 252789, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.33": {"released": "2024-06-26 16:42:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.33-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.33-py3-none-any.whl", "filehash": "a15562f6223494e9959a881548be445948fa562db5d70e70620cb39fa01cc663", "filesize": 252789, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.32": {"released": "2024-06-26 15:38:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.32-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.32-py3-none-any.whl", "filehash": "3874da6cedd1fd9e7c0f85cde1887806d5fdd35a0470e1ec6c428cd1debd848a", "filesize": 252688, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.31": {"released": "2024-06-26 13:26:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.31-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.31-py3-none-any.whl", "filehash": "560c444ebe0cc4d47acef151a084ca594143e1fc052823ccf31892729d4c9e8c", "filesize": 252689, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.30": {"released": "2024-06-25 16:39:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.30-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.30-py3-none-any.whl", "filehash": "7f8de5d3b797593145aa69d92d89ce169e46a1254bb0d48354f1faedaeb1dcdd", "filesize": 252687, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.29": {"released": "2024-06-25 14:04:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.29-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.29-py3-none-any.whl", "filehash": "6ae27f42a2d3176d55dca0b2c29e7996a4a0773d54a5bc985773088bf5572865", "filesize": 252591, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.28": {"released": "2024-06-25 10:52:09", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.28-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.28-py3-none-any.whl", "filehash": "b8a1715ca4cb2dca1c367b90ae1fccb9af336228f68c7582eb68b64a5b1e32ea", "filesize": 252060, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.27": {"released": "2024-06-25 08:21:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.27-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.27-py3-none-any.whl", "filehash": "0bcbf257599d4f837e4ad2e158fe474eca04966260cc7860e0d8a1329c8c3c95", "filesize": 252064, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.26": {"released": "2024-06-24 20:39:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.26-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.26-py3-none-any.whl", "filehash": "7c54f6cf9bd2af9540d480b83f11e01aad00fa4aa336afabb47c9e3c9100b7d2", "filesize": 251959, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.25": {"released": "2024-06-24 19:40:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.25-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.25-py3-none-any.whl", "filehash": "13b4a007c77b215c923257fd73d5e2f8fe415e79077837972037fb93753b984d", "filesize": 251088, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "hypothesis", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.24": {"released": "2024-06-24 18:00:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.24-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.24-py3-none-any.whl", "filehash": "a6dac4b545872af9c79cba267b3199b6cc6e4464bcc8be715116a91c15689daa", "filesize": 249337, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.23": {"released": "2024-06-24 16:26:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.23-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.23-py3-none-any.whl", "filehash": "74e0734f58807bc016ffefb2c32fd446ef064823e07102eb2dda0f1afa8aeba9", "filesize": 249337, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.22": {"released": "2024-06-24 14:50:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.22-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.22-py3-none-any.whl", "filehash": "81605193dc48e21df20de3cd912cc1b8df1251acd4abac18a081288e46bcc1a3", "filesize": 249336, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.21": {"released": "2024-06-21 22:45:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.21-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.21-py3-none-any.whl", "filehash": "f5f0e8c25e23a85b50bbe5eceec236697b031f4d9a21fdd87145c9d223b99db2", "filesize": 249338, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.20": {"released": "2024-06-21 21:40:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.20-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.20-py3-none-any.whl", "filehash": "67eda9551a6ec8ab03876e43e351ce9a0cef7bdb8c6e940764f3dc7563656e41", "filesize": 249338, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.19": {"released": "2024-06-21 19:56:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.19-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.19-py3-none-any.whl", "filehash": "c16e5d706b416b9142eb74a89a730ef703ed716cc02fd8fe5ce6183528debca5", "filesize": 249165, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.18": {"released": "2024-06-21 17:54:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.18-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.18-py3-none-any.whl", "filehash": "5588a924ddc5d8f4a9e1771be0af064a91017f19d5465c14e1e5bbce4586ed66", "filesize": 249140, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.1.17": {"released": "2024-06-21 15:17:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.1.17-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.1.17-py3-none-any.whl", "filehash": "2d15e4c1fe62ec1207b70d692a4345ed1d2783fdfbd41be5d58bdb4027152276", "filesize": 249141, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "psutil", "pybind11", "pytest", "textual", "tomli", "xdg-base-dirs"]}}}, "7.0.41": {"released": "2024-06-04 20:30:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"kframework-7.0.41-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/kframework/kframework-7.0.41-py3-none-any.whl", "filehash": "accba756870ec9ab695a0c754e38f55529458748c7416d3b5c7bddacb7132c3e", "filesize": 249467, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10,<4.0", "apt_dependencies": [], "pip_dependencies": ["cmd2", "coloredlogs", "filelock", "graphviz", "psutil", "pybind11", "textual", "tomli", "xdg-base-dirs"]}}}}}