{"package": "lean-dojo", "summary": "LeanDojo: Machine Learning for Theorem Proving in Lean", "pypi_url": "https://pypi.org/project/lean-dojo", "piwheels_url": "https://www.piwheels.org/project/lean-dojo", "releases": {"4.20.0": {"released": "2025-06-30 14:45:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-4.20.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-4.20.0-py3-none-any.whl", "filehash": "247110b1c6ee1308f844f79c99140d8437fe02f538b308b911ea81b35eb3254b", "filesize": 53206, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.13,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "gitpython", "loguru", "lxml", "networkx", "pexpect", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "2.2.0": {"released": "2024-12-24 16:58:47", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-2.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-2.2.0-py3-none-any.whl", "filehash": "322e3aeb74958fb91f90585cb3a416224204fc00532daed9023554e3a4c1793c", "filesize": 52412, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<=3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "gitpython", "loguru", "lxml", "networkx", "pexpect", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "2.1.3": {"released": "2024-10-13 22:38:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-2.1.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-2.1.3-py3-none-any.whl", "filehash": "aac2459e7c469a26c5ea3e47ac9ba04af10a8614d3d1b6fb4efa120693fcc1dd", "filesize": 52371, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "gitpython", "loguru", "lxml", "networkx", "pexpect", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "2.1.2": {"released": "2024-08-15 02:33:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-2.1.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-2.1.2-py3-none-any.whl", "filehash": "a6c095ed2f39b0a2b0e3ca6f2c23b7e70e68c64e50f5b789ab9b7999018cecc9", "filesize": 52298, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "gitpython", "loguru", "lxml", "networkx", "pexpect", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "2.1.1": {"released": "2024-08-11 21:17:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-2.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-2.1.1-py3-none-any.whl", "filehash": "e2d011abc31fb134a0c006e3ec6cba1658054fc69c8ba1a47ecf65f269b5b146", "filesize": 52307, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "gitpython", "loguru", "lxml", "networkx", "pexpect", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "2.1.0": {"released": "2024-08-06 02:21:52", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-2.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-2.1.0-py3-none-any.whl", "filehash": "ba2749fb38878ca2aa8f99cfa8c58f916528b202d7eafa922b13063f55842685", "filesize": 52214, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "gitpython", "loguru", "lxml", "networkx", "pexpect", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "2.0.3": {"released": "2024-07-17 15:15:42", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-2.0.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-2.0.3-py3-none-any.whl", "filehash": "0d88368695bb5393e219eb024943aed7d14d9fa5611096f9b30429aa847e871a", "filesize": 50967, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pexpect", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "2.0.2": {"released": "2024-07-15 12:46:18", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-2.0.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-2.0.2-py3-none-any.whl", "filehash": "0b310bc138d21d41007da500d262f50bb48108da743e4baf8248ec15d1ffb883", "filesize": 50813, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pexpect", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "2.0.1": {"released": "2024-07-10 03:02:29", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-2.0.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-2.0.1-py3-none-any.whl", "filehash": "f29e4caa329937b05b669614766231c59bcb17d339f7b2c1a9fe437f5b03c9f6", "filesize": 50903, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pexpect", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "2.0.0": {"released": "2024-07-04 12:56:10", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-2.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-2.0.0-py3-none-any.whl", "filehash": "72d90efe20512458658344fed86c5c6e46ba41ff9ea0d0ddfb315fa852e6a903", "filesize": 51294, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "1.9.0": {"released": "2024-05-28 03:11:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.9.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.9.0-py3-none-any.whl", "filehash": "6492a099b537cde49e73d7be34e4e7f6a63757a0c3cc54bf5ec595c30c61ca72", "filesize": 55918, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "psutil", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-psutil", "types-toml"]}}}, "1.8.2": {"released": "2024-04-11 13:35:26", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.8.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.8.2-py3-none-any.whl", "filehash": "85b25fa67e6cea34e39ed2671a625d342c29c0be87a4b3b53b64b9c3f2e9d28f", "filesize": 55533, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.8.1": {"released": "2024-04-11 13:12:46", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.8.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.8.1-py3-none-any.whl", "filehash": "c44a65f8afd0e30e3fe675897f40bc55247b4b0c924a87450ff5b5369bb60aae", "filesize": 55524, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.8.0": {"released": "2024-04-04 22:16:14", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.8.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.8.0-py3-none-any.whl", "filehash": "b811e99c710d085ffa310600f19cbc4d26e8723157dcbc32be4efe8a09ef01ad", "filesize": 55502, "builder_abi": "cp311", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.12,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.7.1": {"released": "2024-03-16 02:05:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.7.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.7.1-py3-none-any.whl", "filehash": "499e05dd4cbe04f1279244f627f43e22734c93f5624937e36c1297b660b4a527", "filesize": 55509, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.7.0": {"released": "2024-03-09 21:10:11", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.7.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.7.0-py3-none-any.whl", "filehash": "98421516f1194523aac6c6ac8cd46950b01ec1336d1bd69abd8fb96d167f2a94", "filesize": 55468, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.6.0": {"released": "2024-02-19 18:06:17", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.6.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.6.0-py3-none-any.whl", "filehash": "9f1533b01021f87bbfe843a809f78f3ab05f1b9ce9dc5115ac0c35074f32f47c", "filesize": 82696, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.5.1": {"released": "2024-01-21 20:37:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.5.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.5.1-py3-none-any.whl", "filehash": "75e7e301fcb15c5837e86d1ac97b0cf9903c7b250fe63270f4644bf356d39747", "filesize": 82625, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.5.0": {"released": "2024-01-18 15:06:15", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.5.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.5.0-py3-none-any.whl", "filehash": "cc54ff7d2d470a4f51e7098c480593616c74a31c565b10e1f9efaa24451e7a60", "filesize": 82548, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.4.5": {"released": "2024-01-05 19:26:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.4.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.4.5-py3-none-any.whl", "filehash": "ae127c868badaa17dc77d70a9e04d08deb3e4ebb5baa1b3c4001db9d8c29ef47", "filesize": 81882, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.4.4": {"released": "2023-12-14 23:51:08", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.4.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.4.4-py3-none-any.whl", "filehash": "e6b6617e890da786c70190cacf1806818222188fdbddd0c296d4eb0ffc718629", "filesize": 81594, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.4.3": {"released": "2023-12-09 07:06:38", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.4.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.4.3-py3-none-any.whl", "filehash": "4d13b297d7d0621df92af61a519f4d9d04fa2a53be9d739d5d9afa21e12e5ec5", "filesize": 81590, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.4.2": {"released": "2023-12-03 04:43:30", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.4.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.4.2-py3-none-any.whl", "filehash": "4644f5c1509e4aecb2bf19b864f8366e82e719ace88bb12963c002bdc39e1ab2", "filesize": 81538, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.4.1": {"released": "2023-11-29 17:42:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.4.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.4.1-py3-none-any.whl", "filehash": "0d6baca6ef7a6279784cae1aee8770c478054b1ee7acbc6854053291125db17b", "filesize": 81483, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.4.0": {"released": "2023-11-08 19:52:48", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.4.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.4.0-py3-none-any.whl", "filehash": "c8c4902fcf21de68dfb00a082727fcf1e3c723eaff6bc91766b7185f468b1b9d", "filesize": 81198, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.3.0": {"released": "2023-10-27 15:47:04", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.3.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.3.0-py3-none-any.whl", "filehash": "bb9cff8a225c05d8d48ea4adc1e4383ff936578b177327650a4dcfa37090fb54", "filesize": 80902, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.2.6": {"released": "2023-10-12 03:09:34", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.2.6-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.2.6-py3-none-any.whl", "filehash": "28472a05f69a14aa3d3bce47b81979b47de6212207f511b2f1a6450044ffaa05", "filesize": 80452, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.2.5": {"released": "2023-10-02 15:55:41", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.2.5-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.2.5-py3-none-any.whl", "filehash": "acccd9a4fd644bf2b4787911f423a94b9220cd12a8123faf5b1eb3347d11c592", "filesize": 79074, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "python-dotenv", "ray", "toml", "tqdm", "types-toml"]}}}, "1.2.4": {"released": "2023-09-05 23:26:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.2.4-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.2.4-py3-none-any.whl", "filehash": "b6319245c9e60f77aa1a7a8277af55c5dd234f02d4fa4990724763541ef3702a", "filesize": 78521, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "ray", "toml", "tqdm", "types-toml"]}}}, "1.2.3": {"released": "2023-09-02 20:16:40", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.2.3-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.2.3-py3-none-any.whl", "filehash": "81a1a11c53619be7f32bba054444ca76eff22eb56c5ed91def652c78487f182b", "filesize": 78688, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pygithub", "ray", "toml", "tqdm", "types-toml"]}}}, "1.2.2": {"released": "2023-08-25 16:35:27", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.2.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.2.2-py3-none-any.whl", "filehash": "1110a17782ea6627a2868b1d81411ec56077c6ea6e78454001d9afffaac35cc7", "filesize": 78217, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<=3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "pydantic", "ray", "toml", "tqdm", "types-toml"]}}}, "1.2.1": {"released": "2023-08-16 13:40:19", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.2.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.2.1-py3-none-any.whl", "filehash": "3ec1337aeb64fda8a5c0a82c67a98a208526c7ee586163c18dda2db372e79552", "filesize": 77663, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<=3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "ray", "toml", "tqdm", "types-toml"]}}}, "1.2.0": {"released": "2023-08-13 21:48:22", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.2.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.2.0-py3-none-any.whl", "filehash": "9e57f6207b8572e5a8cb35ec94a6ec80e3a3dc6e9caa3b208b679975f14a4894", "filesize": 77678, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "ray", "toml", "tqdm", "types-toml"]}}}, "1.1.2": {"released": "2023-07-06 14:24:39", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.1.2-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.1.2-py3-none-any.whl", "filehash": "6becd99b3fd6a817304abb1562bb12f0cae1f162feb42f748a475b70f0c70091", "filesize": 73554, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "ray", "toml", "tqdm", "types-toml"]}}}, "1.1.1": {"released": "2023-06-28 16:16:01", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.1.1-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.1.1-py3-none-any.whl", "filehash": "86b591e064cc381e6e90ebe4148b8de25a0f38c120533718730631d9d580164a", "filesize": 72987, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "ray", "toml", "tqdm", "types-toml"]}}}, "1.1.0": {"released": "2023-06-26 16:16:02", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.1.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.1.0-py3-none-any.whl", "filehash": "87880902b9e1eacc298447a2cc1451c0aebc8a3687db8ccd1c77f3a5936bc31a", "filesize": 72974, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "ray", "toml", "tqdm", "types-toml"]}}}, "1.0.0": {"released": "2023-06-20 21:58:31", "prerelease": false, "yanked": false, "skip_reason": "", "files": {"lean_dojo-1.0.0-py3-none-any.whl": {"file_url": "https://archive1.piwheels.org/simple/lean-dojo/lean_dojo-1.0.0-py3-none-any.whl", "filehash": "4ecf4736ea7ce6171987e4249dfb6600a634a5114429963bad0beea5be951207", "filesize": 72113, "builder_abi": "cp39", "file_abi_tag": "none", "platform": "any", "requires_python": "<3.11,>=3.9", "apt_dependencies": [], "pip_dependencies": ["filelock", "loguru", "lxml", "networkx", "ray", "toml", "tqdm", "types-toml"]}}}}}