{"package": "imandra", "summary": "A CLI and API client library for interfacing with Imandra's web APIs", "pypi_url": "https://pypi.org/project/imandra", "piwheels_url": "https://www.piwheels.org/project/imandra", "releases": {"2.9.0": {"released": "2026-09-09 15:32:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.9.0-py3-none-any.whl": {"file_url": "/simple/imandra/imandra-2.9.0-py3-none-any.whl", "filehash": "1492b45e89a71afab1b0c0c67a634118ef38f3c22875b1953cd35ffeb751f1bd", "filesize": 149518, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.12", "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests"]}}}, "2.8.0": {"released": "2026-06-12 19:53:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.8.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.8.0-py3-none-any.whl", "filehash": "6665ddaf34b44c5a05b1a46a45af66f4c3abadc9ecc6d62ecb84d67d3780c089", "filesize": 164393, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.12", "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests"]}}}, "2.7.0": {"released": "2026-03-25 14:30:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.7.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.7.0-py3-none-any.whl", "filehash": "9d64fd1b6adc509382bff24379b2301f5a36b93a85dfe23aaa69b52fcd3b58d7", "filesize": 238409, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.12", "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests"]}}}, "2.6.0": {"released": "2026-03-19 15:02:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.6.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.6.0-py3-none-any.whl", "filehash": "8267c9b892f19fcc55ef328023509bd091107033b0dc2f4748152871ab81632f", "filesize": 241794, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.12", "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests"]}}}, "2.5.0": {"released": "2026-03-09 17:38:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.5.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.5.0-py3-none-any.whl", "filehash": "01fb14cfb0613e92d5e2f95807d64fed52db3031bfbf3c914221e781e73ce53d", "filesize": 241702, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.12", "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests"]}}}, "2.4.1": {"released": "2026-01-26 10:27:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.4.0": {"released": "2026-01-12 16:00:43", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.4.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.4.0-py3-none-any.whl", "filehash": "a9bd745a54d08dc4d403fd255a4f8f77f741585a20a33f5cec738b17311046d9", "filesize": 238328, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.12", "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests"]}}}, "2.3.1": {"released": "2026-01-07 10:53:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.3.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.3.1-py3-none-any.whl", "filehash": "4941cedf74dcfc635435cc2d8cbba4c95481f4fd875993595630fc5a1a527bed", "filesize": 238325, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.12", "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests"]}}}, "2.3.0": {"released": "2025-11-25 09:56:28", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.3.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.3.0-py3-none-any.whl", "filehash": "6f30057659e9cd819af0e7575011045057e9d2136dd61429235f4277e5afce29", "filesize": 238176, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.12", "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests"]}}}, "2.2.0": {"released": "2025-11-18 11:53:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.2.0-py3-none-any.whl", "filehash": "cbea477c7595ce116a418a7677f1e65d6ab85736b513573e0fc6e68717d2ca75", "filesize": 237451, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.12", "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests"]}}}, "2.1.6": {"released": "2025-11-13 10:59:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.1.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.1.6-py3-none-any.whl", "filehash": "ae8c9d5223692a7c97cb965b3e7ea48ab599801c811f624778702d32f5beb84d", "filesize": 237266, "builder_abi": "cp313", "file_abi_tag": "none", "platform": "any", "requires_python": ">=3.12", "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests"]}}}, "2.1.5": {"released": "2025-10-30 11:42:24", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.1.4": {"released": "2025-10-24 11:07:59", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.1.3": {"released": "2025-10-23 15:02:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.1.2": {"released": "2025-10-22 23:24:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.1.1": {"released": "2025-09-30 16:36:21", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.1.1-py3-none-any.whl", "filehash": "dcc5ab726120acbfad44871c7855727ff197d58f49ef8c6203a2792650b6fec3", "filesize": 235641, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.1.0": {"released": "2025-09-30 10:18:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.1.0-py3-none-any.whl", "filehash": "d4f66752143919ee620283c6e9314475a20a7099b03c790e1ed952be17585dc4", "filesize": 235628, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.23": {"released": "2025-09-22 09:22:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.23-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.23-py3-none-any.whl", "filehash": "4edf7d0f0e79b248e5279149d051fee4a56cab72e55d32154d943cb56caf3c46", "filesize": 232703, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.22": {"released": "2025-09-18 15:56:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.22-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.22-py3-none-any.whl", "filehash": "295bdcb2cdadbaf27cdcd6839133cb5442363067bb2024aa1f3d7c5ca8098bea", "filesize": 232704, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.20": {"released": "2025-09-08 11:03:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.20-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.20-py3-none-any.whl", "filehash": "34c915699aac63fb3687039bd171e8deaca99e49d6bb88ec4891285b15c48cbe", "filesize": 232269, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.19": {"released": "2025-09-05 19:05:07", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.19-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.19-py3-none-any.whl", "filehash": "ddf9f1cca0f067f628cc878a4c4b2bfff92db0f56942789bf585f119de86139b", "filesize": 222959, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.18": {"released": "2025-09-04 15:30:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.18-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.18-py3-none-any.whl", "filehash": "8309b6ffa47068fa19c2ccd6a182dee7e7159613297d47448e86830a081a73a6", "filesize": 222995, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.17": {"released": "2025-09-02 16:32:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.17-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.17-py3-none-any.whl", "filehash": "5c07aa369d34f2bcdcfe371635c22db5a526c375660246ad0105f7c0259173de", "filesize": 222951, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.16": {"released": "2025-09-02 10:37:20", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.16-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.16-py3-none-any.whl", "filehash": "9a36070e95b87d27c509163d813562a23c7531baf6b53e29869a639225b9dd1f", "filesize": 221544, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.15": {"released": "2025-08-06 16:15:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.0.14": {"released": "2025-08-05 16:14:32", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.0.13": {"released": "2025-08-05 16:05:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.0.12": {"released": "2025-08-04 22:18:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.0.11": {"released": "2025-08-04 10:41:13", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.0.10": {"released": "2025-07-21 09:48:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.0.9": {"released": "2025-07-21 09:44:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.0.8": {"released": "2025-07-21 08:59:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.0.6": {"released": "2025-06-30 11:02:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.6-py3-none-any.whl", "filehash": "bde16b887b544a991371205e78b69d2652c22050bd0cb7b56f9b266fe0b46238", "filesize": 212116, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.5": {"released": "2025-06-27 19:40:51", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.5-py3-none-any.whl", "filehash": "323c27179c2a352e9ae3b3e7f9cfcbd918304328f264c0c4af81c6dca57839d8", "filesize": 211491, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.4": {"released": "2025-06-24 16:12:57", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.4-py3-none-any.whl", "filehash": "5215d7ee23ca13f5b674744c2b134ba9ad5dc494ee99be043d43564710308d4c", "filesize": 139690, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.3": {"released": "2025-06-13 15:25:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.0.2": {"released": "2025-05-30 08:56:33", "prerelease": false, "yanked": false, "skip_reason": "", "files": {}}, "2.0.1": {"released": "2025-03-25 17:19:06", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.1-py3-none-any.whl", "filehash": "ee4f84900459629bb5bd35e28dbd68b4f94151dab8bf334ecabebf8daf072e43", "filesize": 119962, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.0": {"released": "2025-02-06 13:31:12", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.0-py3-none-any.whl", "filehash": "16710b81b35066b082685d5a7b30f322276cbcc1e318874d3d47cd5ec06961a9", "filesize": 119312, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.0b7": {"released": "2025-01-22 10:03:59", "prerelease": true, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.0b7-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b7-py3-none-any.whl", "filehash": "39ed1180ca160edc8ee5dcd567905101fb2ea176477ff4fe6988130bb0b3ab7c", "filesize": 119339, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.0b6": {"released": "2025-01-17 10:54:16", "prerelease": true, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.0b6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b6-py3-none-any.whl", "filehash": "cdbca3037dbdcfd63ba914d65d4cd8828fa4f6dc36b9d3b5ef52b5808424d14b", "filesize": 119192, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.0b5": {"released": "2025-01-03 15:53:35", "prerelease": true, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.0b5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b5-py3-none-any.whl", "filehash": "f6ef8bc467aa9fd596af8345a4c150a56f9936ae8101bdfc76689ec3814fe1c7", "filesize": 118385, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.0b4": {"released": "2024-12-13 11:54:53", "prerelease": true, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.0b4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b4-py3-none-any.whl", "filehash": "87398d615f75a046d8e45a693cda408f3463e1b9721e3ab0ede5f93723428bb5", "filesize": 116869, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.0b3": {"released": "2024-12-06 16:27:10", "prerelease": true, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.0b3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b3-py3-none-any.whl", "filehash": "7178b8eccf4c5991a41df907c5d29f01a2cb4816d02b600e978be3bea63ca5b6", "filesize": 115562, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.0b2": {"released": "2024-12-06 14:15:35", "prerelease": true, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.0b2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b2-py3-none-any.whl", "filehash": "c2f51c8d492ac13027bf4e7aa3851bbbb2eb161e9d5ee8a2e59955e46259be26", "filesize": 115557, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["platformdirs", "requests", "setuptools"]}}}, "2.0.0b1": {"released": "2024-12-04 16:49:38", "prerelease": true, "yanked": false, "skip_reason": "", "files": {"imandra-2.0.0b1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-2.0.0b1-py3-none-any.whl", "filehash": "c5175ef2352d8674c146950eb4a190ad6a6c8586305773841365c09aaf5647a9", "filesize": 114370, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["aenum", "platformdirs", "pydantic", "python-dateutil", "requests", "setuptools", "urllib3"]}}}, "1.0.4": {"released": "2023-09-01 13:45:49", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-1.0.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-1.0.4-py3-none-any.whl", "filehash": "526ed8e1aafe2579d55582d2ad4151336dca33a3dd4c454ac90ce74c3eaa8a90", "filesize": 104929, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["aenum", "pydantic", "python-dateutil", "setuptools", "urllib3"]}}}, "1.0.3": {"released": "2023-08-29 14:58:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-1.0.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-1.0.3-py3-none-any.whl", "filehash": "e9b4035fbd47515f0f467c287eaebc32d9a7ed4dfd7b05483fe075bf4314bc92", "filesize": 104860, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["aenum", "pydantic", "python-dateutil", "setuptools", "urllib3"]}}}, "1.0.2": {"released": "2023-08-28 14:57:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-1.0.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-1.0.2-py3-none-any.whl", "filehash": "0d0429742091c0b55ac167d0e20a110684281e4991e4a730bf2e49962a12e30e", "filesize": 104174, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["aenum", "pydantic", "python-dateutil", "setuptools", "urllib3"]}}}, "1.0.1": {"released": "2023-08-14 13:57:53", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-1.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-1.0.1-py3-none-any.whl", "filehash": "5d6ab82386aea0fb1ce1d2afde692e865f9b36297033011983af98ce3db86aef", "filesize": 101899, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["aenum", "pydantic", "python-dateutil", "setuptools", "urllib3"]}}}, "1.0.0": {"released": "2023-07-31 18:17:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-1.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-1.0.0-py3-none-any.whl", "filehash": "db28520a9d452d1960f1d32cfbb1ebeff1ec5e201d22259982616c9ca7cdcc2b", "filesize": 96678, "builder_abi": "cp37m", "file_abi_tag": "none", "platform": "any", "requires_python": null, "apt_dependencies": [], "pip_dependencies": ["aenum", "pydantic", "python-dateutil", "setuptools", "urllib3"]}}}, "0.1.12": {"released": "2019-10-24 08:55:54", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-0.1.12-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-0.1.12-py3-none-any.whl", "filehash": "c8fb9c984f88da41da53a2738d98a646501cba3788be8e59ce4c1bf532e64bd5", "filesize": 10341, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["requests"]}}}, "0.1.11": {"released": "2019-10-02 14:08:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-0.1.11-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-0.1.11-py3-none-any.whl", "filehash": "940ee22f36dc10bc8195272d7be270d19f81c9cca00f2f7538be8ec8e0bea514", "filesize": 10343, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["requests"]}}}, "0.1.10": {"released": "2019-09-23 09:50:36", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-0.1.10-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-0.1.10-py3-none-any.whl", "filehash": "5c2f41b6ca40c46c8a156827b2a0ba62c16021ff3c8c48a69139875feaf0f6ee", "filesize": 10336, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["requests"]}}}, "0.1.9": {"released": "2019-08-28 13:21:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-0.1.9-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-0.1.9-py3-none-any.whl", "filehash": "9d6c1a57554cfdf7f40e30bdfc09497f98e2e18d13daa2bc7aec8ebb53767a37", "filesize": 10311, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["requests"]}}}, "0.1.5": {"released": "2019-08-05 14:56:05", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-0.1.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-0.1.5-py3-none-any.whl", "filehash": "84ae76c5c35a8e017eb39f7ca1f25ce37a9a1760d9c99e1cd607f48c8254d4dc", "filesize": 9447, "builder_abi": "cp35m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["requests"]}}}, "0.1.4": {"released": "2019-08-05 14:15:50", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-0.1.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-0.1.4-py3-none-any.whl", "filehash": "b679d11e49970647fad7d1fbd8a46b2f325ed50f4e15d722345567ed882e5357", "filesize": 9475, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["base64", "hashlib", "requests", "urllib", "uuid"]}}}, "0.1.3": {"released": "2019-08-01 15:31:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"imandra-0.1.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/imandra/imandra-0.1.3-py3-none-any.whl", "filehash": "30e2fdb107964061e765814f34de28effcd6389d981277ae23615b53b95bf278", "filesize": 8058, "builder_abi": "cp34m", "file_abi_tag": "none", "platform": "any", "requires_python": "", "apt_dependencies": [], "pip_dependencies": ["requests"]}}}}}