{"package": "isabelle-client", "summary": "A client to Isabelle proof assistant server", "pypi_url": "https://pypi.org/project/isabelle-client", "piwheels_url": "https://www.piwheels.org/project/isabelle-client", "releases": {"1.1.2": {"released": "2026-06-20 13:27:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-1.1.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-1.1.2-py3-none-any.whl", "filehash": "cfeaeb82429952310ed77ca48a9ee309e136698259e3c7d007f807ba63789e99", "filesize": 30579, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10, <3.15", "apt_dependencies": [], "pip_dependencies": ["pydantic"]}}}, "1.1.1": {"released": "2026-05-03 19:08:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-1.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-1.1.1-py3-none-any.whl", "filehash": "3cecf0bb902795bfc07c6991efba14e42ccac7ca6ad7438bf8d5bd85636c3a8c", "filesize": 30581, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10, <3.15", "apt_dependencies": [], "pip_dependencies": ["pydantic"]}}}, "1.1.0": {"released": "2026-03-19 08:55:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-1.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-1.1.0-py3-none-any.whl", "filehash": "3003c446a2d74fe382b6e7ea850b5f528d5eff32b184a20efea21cb20c250880", "filesize": 26246, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.10, <3.15", "apt_dependencies": [], "pip_dependencies": ["pydantic"]}}}, "1.0.2": {"released": "2026-02-16 23:17:42", "prerelease": false, "yanked": false, "skip_reason": "binary only", "files": {}}, "1.0.1": {"released": "2025-12-14 12:07:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-1.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-1.0.1-py3-none-any.whl", "filehash": "b215425389018bd57109a4f66535afb804a88aa81bac7a4381c679d541c638e2", "filesize": 28172, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">= 3.10, < 3.15", "apt_dependencies": [], "pip_dependencies": ["pydantic"]}}}, "1.0.0": {"released": "2025-11-09 17:18:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-1.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-1.0.0-py3-none-any.whl", "filehash": "a94d64ead80e8d3c5cbc2a23f5477e008bbc6303eb068222dcae245d8ca16171", "filesize": 27412, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">= 3.10, < 3.15", "apt_dependencies": [], "pip_dependencies": ["pydantic"]}}}, "0.6.0": {"released": "2025-10-07 15:40:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.6.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.6.0-py3-none-any.whl", "filehash": "52efbf42b15f5fbbb25b8cf4276ed75df5aaffc34cf372faddc1d4be5a28cb95", "filesize": 25565, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">= 3.9.1, < 3.14", "apt_dependencies": [], "pip_dependencies": []}}}, "0.5.9": {"released": "2025-08-30 09:22:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.5.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.9-py3-none-any.whl", "filehash": "9bd42aaf45bd643e295e3257a8b5ad3c88ace887e6b89ddea56ce5cf2b32ca89", "filesize": 26496, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">= 3.9.1, < 3.14", "apt_dependencies": [], "pip_dependencies": []}}}, "0.5.7": {"released": "2025-06-28 12:27:55", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.5.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.7-py3-none-any.whl", "filehash": "a0bd4fddfbe3e9e6a4c13d75649098d05c3f7dd019e80985e381a63b2895487c", "filesize": 26147, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">= 3.9.1, < 3.14", "apt_dependencies": [], "pip_dependencies": []}}}, "0.5.6": {"released": "2025-05-29 11:26:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "0.5.5": {"released": "2025-04-13 07:56:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "0.5.4": {"released": "2025-03-09 16:27:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.5.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.4-py3-none-any.whl", "filehash": "61b6131560d64641e2e79147ea70c93345170d4537c48001e1c9b8ae41c556e9", "filesize": 26043, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9.1,<3.14", "apt_dependencies": [], "pip_dependencies": []}}}, "0.5.3": {"released": "2025-01-25 11:43:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.5.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.3-py3-none-any.whl", "filehash": "84c59a783faeba6ef65c15ba919bb4ee5d29eee0b1dcdb67e01b445d92394bf9", "filesize": 26036, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9.1,<3.13", "apt_dependencies": [], "pip_dependencies": []}}}, "0.5.2": {"released": "2024-12-20 21:58:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.5.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.2-py3-none-any.whl", "filehash": "10b90bd8563a6b8bad8194b15ff84afa10b796ce10de0262bda63f3adcaaf2fd", "filesize": 26044, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9.1,<3.13", "apt_dependencies": [], "pip_dependencies": []}}}, "0.5.1": {"released": "2024-11-16 10:43:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.5.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.1-py3-none-any.whl", "filehash": "45838ef3b775291bc759dc8bf618ad149320c135554f1e61f0e41e1c5d13549a", "filesize": 26174, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.13", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.5.0": {"released": "2024-07-06 15:43:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.5.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.5.0-py3-none-any.whl", "filehash": "d2e49fcb7de2888b54805ccafcbb0aeb6520aaf59a43eea9e1dc016be81b6610", "filesize": 26173, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.13", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.4.11": {"released": "2024-07-06 12:14:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.4.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.11-py3-none-any.whl", "filehash": "4db77150d87ea6268ba456fc1a04b7626cc1a63c0e75610b5d1ee2f889e23c86", "filesize": 26185, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.13", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.4.9": {"released": "2024-04-02 18:52:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.4.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.9-py3-none-any.whl", "filehash": "4e90fe70afbca35c621f8f2e268c963a3aa236e42a8f80962ace86ea0a8ba99e", "filesize": 26175, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.13", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.4.7": {"released": "2024-02-01 22:07:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.4.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.7-py3-none-any.whl", "filehash": "6f6adbe2c4840b1d3dca7e8a2b5bc7690fe2abc85fd7000da23a1e64b933475a", "filesize": 26176, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.13", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.4.6": {"released": "2023-12-29 08:43:56", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.4.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.6-py3-none-any.whl", "filehash": "32322e155345a100fd4d703eeab71a7d619bc967081e71838ab7b6933b8ef12c", "filesize": 26172, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.13", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.4.5": {"released": "2023-11-26 10:54:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.4.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.5-py3-none-any.whl", "filehash": "309d08295fb57df65dd74d1fbbef32ae527d90631f38c8de9d9a2f9adefeba84", "filesize": 26172, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.13", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.4.3": {"released": "2023-09-27 09:05:58", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.4.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.3-py3-none-any.whl", "filehash": "749a8afea82f3bf34e73b60719ffb417d3e6469aa507361fea9852c963d5e2e2", "filesize": 25953, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.4.2": {"released": "2023-08-28 14:25:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.4.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.2-py3-none-any.whl", "filehash": "a8667d8abf153d478a42cf6708e5ef15f4b76c70389c309824f435b6d16a864c", "filesize": 25952, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.4.1": {"released": "2023-07-29 08:24:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.4.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.1-py3-none-any.whl", "filehash": "fe8cd9299edf4ba5cd96582853475a7c65d73eb349b338213c23be53a4edd889", "filesize": 23814, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.4.0": {"released": "2023-06-29 08:43:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.4.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.4.0-py3-none-any.whl", "filehash": "6badca5042274d713ff136fa54911b567819c36675e5292e86acdd3de3557f70", "filesize": 17808, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.8.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.17": {"released": "2023-05-29 14:49:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.17-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.17-py3-none-any.whl", "filehash": "6b78e0dd04bfd2a55e0471f1d4aea62f2940a2518ca45d3e9c92e5ac440f890c", "filesize": 17821, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.16": {"released": "2023-04-29 10:35:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.16-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.16-py3-none-any.whl", "filehash": "eca7fe52ff2a50aed05a8f65e15b1e2b60c786d4e04e3d32267bd303e6fcb0a8", "filesize": 17721, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.15": {"released": "2023-03-29 15:21:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.15-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.15-py3-none-any.whl", "filehash": "0c80428d6877a433cd7cfa6261500559cc20bca827b7e5048744569cdc08cdbb", "filesize": 17722, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.14": {"released": "2023-02-27 09:21:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.14-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.14-py3-none-any.whl", "filehash": "4edf9d26662d7d5ecf1b162e98d56dff301b4446fe80bf071cc049265a51c8c8", "filesize": 17646, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.13": {"released": "2023-01-28 11:18:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.13-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.13-py3-none-any.whl", "filehash": "1d55ef3dc97af1518ebc296a950c4b17880a366735dfc46c6bb4bde4ce5fc9fe", "filesize": 17517, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.12": {"released": "2022-12-29 09:44:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.12-py3-none-any.whl", "filehash": "894d607cd03870311c30bb06d0bd84bc563de562578888e53f9b4f91df25275c", "filesize": 17513, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.11": {"released": "2022-11-28 08:51:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.11-py3-none-any.whl", "filehash": "181a06e059bc603bde52e24f5e2648930f63e93a179f217fe8cd6809631ee922", "filesize": 17514, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.10": {"released": "2022-10-29 07:56:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.10-py3-none-any.whl", "filehash": "0c899464ef11f33c1911b5da33d11adb5c24b6ca7306a853ceeb0dd5f2ac7ba4", "filesize": 17744, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<3.12", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.9": {"released": "2022-09-29 10:19:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.9-py3-none-any.whl", "filehash": "0763378c19e72c73f481d40f1478bb4b979ff545e1e27ea05b29ae8fc4e67ead", "filesize": 17379, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<4.0", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.8": {"released": "2022-08-30 09:50:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.8-py3-none-any.whl", "filehash": "d4e75da109428bd74d36e454b52b65a4f4e7afaeae8dd7926d8f361872f8593d", "filesize": 17373, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<4.0", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.7": {"released": "2022-08-24 07:26:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.7-py3-none-any.whl", "filehash": "3f2d906dbc9d4a060582d2fbe35c5ad3d2a03b42e4cd86c525ac00dbf3cdcf8a", "filesize": 17375, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.7.1,<4.0", "apt_dependencies": [], "pip_dependencies": ["importlib-resources"]}}}, "0.3.6": {"released": "2022-08-04 13:52:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.6-py3-none-any.whl", "filehash": "cce0304361cbb637c3084b11a65f46e406c925c0057f734ee6dbc23d80d20aeb", "filesize": 17314, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.2,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses", "importlib-resources"]}}}, "0.3.5": {"released": "2022-04-24 12:19:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.5-py3-none-any.whl", "filehash": "727e13f3432c6006e3aff7b998a6567af1740f245db0e5c69b7f7e54208e150d", "filesize": 16283, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.2,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.3.4": {"released": "2022-04-12 07:44:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.4-py3-none-any.whl", "filehash": "3717073e1231bfa29a518cc9498ded7ff10856c27309be6ae43dd553a1291b7b", "filesize": 16241, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.2,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.3.3": {"released": "2022-03-13 10:29:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.3-py3-none-any.whl", "filehash": "fb2899343f31e69d1195aa51b87227323bf6dd77d49a250046a361183de60404", "filesize": 16241, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.2,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.3.2": {"released": "2022-02-10 10:30:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.2-py3-none-any.whl", "filehash": "fda623047b8c51fd7ab57b5e7a030231784b3bd8f2520e95e6ea903acce16ef4", "filesize": 16152, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.2,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.3.1": {"released": "2022-01-10 23:04:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.1-py3-none-any.whl", "filehash": "7d88507eb88d3843915b614af2f878f8044806fff0a569674b5c65cc3a145a5f", "filesize": 14543, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.1,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.3.0": {"released": "2021-12-12 09:22:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.3.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.3.0-py3-none-any.whl", "filehash": "8ee6ffe7598de726928b8c1293494bb2b2a0974c6e6e1c8bcc82ef94244115a2", "filesize": 14233, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.1,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.2.10": {"released": "2021-11-12 09:15:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.2.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.2.10-py3-none-any.whl", "filehash": "ca87f6f5b3f9d7830453f2c45a9f030eae8c09f963fdd494b6cfdc669db219cb", "filesize": 14052, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.1,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.2.9": {"released": "2021-10-13 07:44:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.2.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.2.9-py3-none-any.whl", "filehash": "f90f7cb8efff9adf419ca6bbb958e893460fe64a8f2bf998872cbe513f1cb995", "filesize": 13829, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.1,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.2.8": {"released": "2021-09-13 16:29:35", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.2.8-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.2.8-py3-none-any.whl", "filehash": "db86c39ade7bb91c56032a292f8c70be3b00d3a1c1e6885e3d7af43196c9d2d2", "filesize": 13301, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.1,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.2.7": {"released": "2021-08-14 08:23:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.2.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.2.7-py3-none-any.whl", "filehash": "ab44549489f24417fd61473dc080463827d90e06a5d02f73bc6a74dc345b62d2", "filesize": 13299, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.1,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.2.5": {"released": "2021-07-15 07:53:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.2.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.2.5-py3-none-any.whl", "filehash": "2705357a48ea73b5030eca5ac2dc241022425be205e56899a90b7c33aef9c4e1", "filesize": 13742, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6.1,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.2.4": {"released": "2021-06-14 17:37:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.2.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.2.4-py3-none-any.whl", "filehash": "c3d47328bd6e0c377fecd40366ef4a7373215296a605b6689322a794668b14bc", "filesize": 13747, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": ["dataclasses"]}}}, "0.2.3": {"released": "2021-06-08 08:20:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.2.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.2.3-py3-none-any.whl", "filehash": "91848295509cc07bc6226d0eea8e58efe90e60cc25b5e3cdee8331e34d55a651", "filesize": 13722, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.2.2": {"released": "2021-05-09 10:55:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.2.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.2.2-py3-none-any.whl", "filehash": "846fff0a5e396b058f5be9de91d601aa63faf7ff3196f4245aacf03ebd6688d8", "filesize": 13722, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.6,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.2.1": {"released": "2021-04-09 20:43:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.2.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.2.1-py3-none-any.whl", "filehash": "453d9b010051b6dfa3a5d95653df5dab5f35b647f8b4d92ca5024bd7aecf06d6", "filesize": 12767, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.2.0": {"released": "2021-03-12 16:40:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.2.0-py3-none-any.whl", "filehash": "3c7cb0f9c4669105ac5c4c970a6f3567b2e1bec592098c7368d2b2708668b817", "filesize": 13202, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.5": {"released": "2021-03-12 13:34:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.1.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.1.5-py3-none-any.whl", "filehash": "322489dea7c0df84da2ec4a94f4e3763959bbaeab6906275b0e8509a84f215be", "filesize": 12990, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.4": {"released": "2021-03-10 19:23:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.1.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.1.4-py3-none-any.whl", "filehash": "8376a9880a530d11e7358eeb4c3185826c3576b5d163371fb2f437f815010e0d", "filesize": 12761, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.3": {"released": "2021-03-09 20:18:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.1.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.1.3-py3-none-any.whl", "filehash": "150ece8b1c9d45302153bf501be0d1c5b44af9263696474ffbf437d3a2922d1f", "filesize": 13037, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.2": {"released": "2021-03-03 13:05:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.1.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.1.2-py3-none-any.whl", "filehash": "e49db5350d6a8e294d9960919f8dafd619dd8d7f9cdac8e150fd8866e5ca61c8", "filesize": 11517, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.1": {"released": "2021-03-02 23:41:03", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.1.1-py3-none-any.whl", "filehash": "2ecb149a12f7d9ec6295ab75d44c16768baec3d208178d46f97ebe11f2611bf9", "filesize": 11275, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.1.0": {"released": "2021-02-26 15:38:16", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.1.0-py3-none-any.whl", "filehash": "29f332186b5d6ca061593e0a8486dcc98cdd10a0911f57e7575357d089cc2161", "filesize": 11196, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.0.7": {"released": "2021-02-26 10:29:44", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.0.7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.0.7-py3-none-any.whl", "filehash": "7ba3bb6abedf5675f7a5a4a8d3f42c0bfff0292cc2e37a09684ff1b6a773ddf7", "filesize": 11149, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.0.6": {"released": "2021-02-25 19:12:23", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.0.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.0.6-py3-none-any.whl", "filehash": "0fd0d5d4af56488f1baeb4557db08abffbdd025dc5de1df69b5f91c1321ee86a", "filesize": 10932, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.0.5": {"released": "2021-02-23 14:57:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.0.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.0.5-py3-none-any.whl", "filehash": "734a671c81863573fea9d5e56e5aa3d169a8b3026f1cf224baddd65e0e018085", "filesize": 10578, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.0.4": {"released": "2021-02-22 11:15:37", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.0.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.0.4-py3-none-any.whl", "filehash": "6e60d40e823df77fa221f6d67a8865b93b7c22dd497f9b5d4ba8461821328bc4", "filesize": 9764, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.0.3": {"released": "2021-02-21 12:06:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.0.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.0.3-py3-none-any.whl", "filehash": "a2a5d5c73b1d22eab9eef39a363871edac32560c033cf7a178cc251f5da27338", "filesize": 9577, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.0.2": {"released": "2021-02-20 23:56:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.0.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.0.2-py3-none-any.whl", "filehash": "129cdb15fc14fe8c6123f2f73339ce04fece558650979c9858f9b28ffc0f7ce4", "filesize": 8788, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}, "0.0.1": {"released": "2021-02-20 16:51:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"isabelle_client-0.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/isabelle-client/isabelle_client-0.0.1-py3-none-any.whl", "filehash": "a2a458332c3a417f478561bd276aa2a473cbe492a9b03e15962ecaf0f379cf82", "filesize": 8628, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.9,<4.0", "apt_dependencies": [], "pip_dependencies": []}}}}}