{"id":373525,"url":"https://github.com/LeanOxide/lemma","last_synced_at":"2026-08-27T17:33:05.270Z","repository":{"id":322595864,"uuid":"1090124497","full_name":"LeanOxide/lemma","owner":"LeanOxide","description":null,"archived":false,"fork":false,"pushed_at":"2026-08-12T09:14:47.000Z","size":765,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-08-18T13:10:01.376Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/LeanOxide.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"claude":null,"gemini":null,"cursor":null,"copilot":null,"dco":null,"cla":null,"disclosure":null}},"created_at":"2025-11-05T08:55:38.000Z","updated_at":"2026-08-12T09:14:50.000Z","dependencies_parsed_at":"2026-08-11T09:41:04.730Z","dependency_job_id":null,"html_url":"https://github.com/LeanOxide/lemma","commit_stats":null,"previous_names":["andpuqing/lemma","leanoxide/lemma"],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/LeanOxide/lemma","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LeanOxide","download_url":"https://codeload.github.com/LeanOxide/lemma/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":36783382,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-06T04:43:03.162Z","status":"online","status_checked_at":"2026-08-19T02:00:06.185Z","response_time":54,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"LeanOxide","name":"LeanOxide","uuid":"289678530","kind":"organization","description":null,"email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/289678530?v=4","repositories_count":1,"last_synced_at":"2026-06-01T14:15:33.514Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/LeanOxide","funding_links":[],"total_stars":3,"followers":0,"following":0,"created_at":"2026-06-01T14:15:33.536Z","updated_at":"2026-06-01T14:15:33.536Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LeanOxide","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LeanOxide/repositories"},"packages":[{"id":14865768,"name":"lemma-lean","ecosystem":"pypi","description":"A modern Lean4 toolchain manager","homepage":"https://github.com/LeanOxide/lemma","licenses":"MIT OR Apache-2.0","normalized_licenses":["MIT","Apache-2.0"],"repository_url":"https://github.com/LeanOxide/lemma","keywords_array":["lean","lean4","toolchain","cli"],"namespace":null,"versions_count":1,"first_release_published_at":"2026-08-03T15:51:51.000Z","latest_release_published_at":"2026-08-03T15:51:51.000Z","latest_release_number":"0.2.0","last_synced_at":"2026-08-26T17:01:50.586Z","created_at":"2026-08-04T09:13:16.036Z","updated_at":"2026-08-26T19:22:53.842Z","registry_url":"https://pypi.org/project/lemma-lean/","install_command":"pip install lemma-lean --index-url https://pypi.org/simple","documentation_url":"https://lemma-lean.readthedocs.io/","metadata":{"funding":null,"documentation":null,"classifiers":["Development Status :: 3 - Alpha","Environment :: Console","Intended Audience :: Developers","License :: OSI Approved :: Apache Software License","License :: OSI Approved :: MIT License","Operating System :: MacOS","Operating System :: Microsoft :: Windows","Operating System :: POSIX :: Linux","Programming Language :: Python :: 3","Programming Language :: Python :: 3 :: Only","Programming Language :: Rust","Topic :: Software Development :: Build Tools","Topic :: Utilities"],"normalized_name":"lemma-lean","project_status":null},"repo_metadata":{"id":322595864,"uuid":"1090124497","full_name":"LeanOxide/lemma","owner":"LeanOxide","description":null,"archived":false,"fork":false,"pushed_at":"2026-08-12T09:14:47.000Z","size":765,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-08-18T13:10:01.376Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/LeanOxide.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"claude":null,"gemini":null,"cursor":null,"copilot":null,"dco":null,"cla":null,"disclosure":null}},"created_at":"2025-11-05T08:55:38.000Z","updated_at":"2026-08-12T09:14:50.000Z","dependencies_parsed_at":"2026-08-11T09:41:04.730Z","dependency_job_id":null,"html_url":"https://github.com/LeanOxide/lemma","commit_stats":null,"previous_names":["andpuqing/lemma","leanoxide/lemma"],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/LeanOxide/lemma","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LeanOxide","download_url":"https://codeload.github.com/LeanOxide/lemma/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":36783382,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-06T04:43:03.162Z","status":"online","status_checked_at":"2026-08-19T02:00:06.185Z","response_time":54,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"LeanOxide","name":"LeanOxide","uuid":"289678530","kind":"organization","description":null,"email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/289678530?v=4","repositories_count":1,"last_synced_at":"2026-06-01T14:15:33.514Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/LeanOxide","funding_links":[],"total_stars":3,"followers":0,"following":0,"created_at":"2026-06-01T14:15:33.536Z","updated_at":"2026-06-01T14:15:33.536Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LeanOxide","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/LeanOxide/repositories"},"tags":[{"name":"v0.2.0","sha":"e84e76a4666a9c55fee396219790e14a64684d38","kind":"tag","published_at":"2026-08-03T16:04:56.000Z","download_url":"https://codeload.github.com/LeanOxide/lemma/tar.gz/v0.2.0","html_url":"https://github.com/LeanOxide/lemma/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeanOxide/lemma@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.2.0/manifests"},{"name":"v0.1.5","sha":"af14f4b0a3e93e447bc7269584f495736462cc1c","kind":"commit","published_at":"2025-11-07T08:49:14.000Z","download_url":"https://codeload.github.com/LeanOxide/lemma/tar.gz/v0.1.5","html_url":"https://github.com/LeanOxide/lemma/releases/tag/v0.1.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeanOxide/lemma@v0.1.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.5/manifests"},{"name":"v0.1.4","sha":"6bd588e6132b2511f3919a31bab9d58cf8306bab","kind":"commit","published_at":"2025-11-07T08:10:35.000Z","download_url":"https://codeload.github.com/LeanOxide/lemma/tar.gz/v0.1.4","html_url":"https://github.com/LeanOxide/lemma/releases/tag/v0.1.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeanOxide/lemma@v0.1.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.4/manifests"},{"name":"v0.1.3","sha":"bcaa7b2945ff15a5900ac1ea2f7b5c475f91a97f","kind":"commit","published_at":"2025-11-07T08:06:50.000Z","download_url":"https://codeload.github.com/LeanOxide/lemma/tar.gz/v0.1.3","html_url":"https://github.com/LeanOxide/lemma/releases/tag/v0.1.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeanOxide/lemma@v0.1.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.3/manifests"},{"name":"v0.1.2","sha":"63bde1b0e12969e582ccbc8dfb712b2499bf2456","kind":"commit","published_at":"2025-11-07T07:58:35.000Z","download_url":"https://codeload.github.com/LeanOxide/lemma/tar.gz/v0.1.2","html_url":"https://github.com/LeanOxide/lemma/releases/tag/v0.1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeanOxide/lemma@v0.1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.2/manifests"},{"name":"v0.1.1","sha":"9e77d1c43c5c68021119d68b9bc2ab8f317ad03a","kind":"commit","published_at":"2025-11-05T12:30:22.000Z","download_url":"https://codeload.github.com/LeanOxide/lemma/tar.gz/v0.1.1","html_url":"https://github.com/LeanOxide/lemma/releases/tag/v0.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeanOxide/lemma@v0.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.1/manifests"},{"name":"v0.1.0","sha":"3990807e92fd3c7aaae279a765decbf3c3f58cda","kind":"commit","published_at":"2025-11-05T11:49:03.000Z","download_url":"https://codeload.github.com/LeanOxide/lemma/tar.gz/v0.1.0","html_url":"https://github.com/LeanOxide/lemma/releases/tag/v0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/LeanOxide/lemma@v0.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/tags/v0.1.0/manifests"}]},"repo_metadata_updated_at":"2026-08-26T19:22:53.842Z","dependent_packages_count":0,"downloads":292,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":38.242700421208795,"dependent_packages_count":6.759511900992074,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":22.501106161100434},"purl":"pkg:pypi/lemma-lean","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/lemma-lean","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pypi/lemma-lean","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/lemma-lean/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2026-08-26T17:00:58.682Z","issues_count":0,"pull_requests_count":1,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":79224.0,"issues_closed_count":0,"pull_requests_closed_count":1,"pull_request_authors_count":1,"issue_authors_count":0,"avg_comments_per_issue":null,"avg_comments_per_pull_request":1.0,"merged_pull_requests_count":1,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":1,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":79224.0,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":1,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":1.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":1,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/issues","maintainers":[{"login":"AndPuQing","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/AndPuQing"}],"active_maintainers":[{"login":"AndPuQing","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/AndPuQing"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/lemma-lean/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/lemma-lean/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/lemma-lean/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/lemma-lean/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/lemma-lean/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/lemma-lean/codemeta","maintainers":[{"uuid":"PuQing","login":"PuQing","name":null,"email":null,"url":null,"packages_count":7,"html_url":"https://pypi.org/user/PuQing/","role":"Owner","created_at":"2026-08-04T09:39:30.087Z","updated_at":"2026-08-04T09:39:30.087Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/PuQing/packages"}],"registry":{"name":"pypi.org","url":"https://pypi.org","ecosystem":"pypi","default":true,"packages_count":931089,"maintainers_count":400036,"namespaces_count":0,"keywords_count":312301,"github":"pypi","metadata":{"funded_packages_count":58684,"rate_limit":2},"icon_url":"https://github.com/pypi.png","created_at":"2022-04-04T15:19:23.364Z","updated_at":"2026-08-27T05:02:24.382Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/namespaces"}}],"commits":{"id":11844282,"full_name":"LeanOxide/lemma","default_branch":"master","total_commits":173,"total_committers":1,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":173.0,"dds":0.0,"past_year_total_commits":173,"past_year_total_committers":1,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":173.0,"past_year_dds":0.0,"last_synced_at":"2026-08-26T17:01:00.509Z","last_synced_commit":"332a23bb65400b4e6409a0f860cd0a99cdf2a69b","created_at":"2026-07-06T16:01:27.061Z","updated_at":"2026-08-26T17:01:00.465Z","committers":[{"name":"PuQing","email":"me@puqing.work","login":"AndPuQing","count":173}],"past_year_committers":[{"name":"PuQing","email":"me@puqing.work","login":"AndPuQing","count":173}],"commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-08-27T00:00:09.802Z","repositories_count":6813446,"commits_count":987114343,"contributors_count":41630223,"owners_count":1370711,"committers_count":3375903,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues":{"table":{"full_name":"LeanOxide/lemma","html_url":"https://github.com/LeanOxide/lemma","last_synced_at":"2026-08-26T17:00:58.682Z","status":null,"issues_count":0,"pull_requests_count":1,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":79224.0,"issues_closed_count":0,"pull_requests_closed_count":1,"pull_request_authors_count":1,"issue_authors_count":0,"avg_comments_per_issue":null,"avg_comments_per_pull_request":1.0,"merged_pull_requests_count":1,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":1,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":79224.0,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":1,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":1.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":1,"created_at":"2026-07-06T16:01:28.522Z","updated_at":"2026-08-26T17:00:58.683Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/LeanOxide%2Flemma/issues","issue_labels_count":{"table":{}},"pull_request_labels_count":{"table":{}},"issue_author_associations_count":{"table":{}},"pull_request_author_associations_count":{"table":{"COLLABORATOR":1}},"issue_authors":{"table":{}},"pull_request_authors":{"table":{"AndPuQing":1}},"host":{"table":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2026-08-27T00:00:05.952Z","repositories_count":16475824,"issues_count":43001229,"pull_requests_count":137341893,"authors_count":11551405,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"}},"past_year_issue_labels_count":{"table":{}},"past_year_pull_request_labels_count":{"table":{}},"past_year_issue_author_associations_count":{"table":{}},"past_year_pull_request_author_associations_count":{"table":{"COLLABORATOR":1}},"past_year_issue_authors":{"table":{}},"past_year_pull_request_authors":{"table":{"AndPuQing":1}},"maintainers":[{"table":{"login":"AndPuQing","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/AndPuQing"}}],"active_maintainers":[{"table":{"login":"AndPuQing","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/AndPuQing"}}]}},"events":{"total":{"PushEvent":3},"last_year":{"PushEvent":3}},"keywords":[],"dependencies":[{"ecosystem":"pypi","filepath":"pyproject.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.643Z","updated_at":"2026-08-11T09:41:04.643Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/pyproject.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/lemma-platform/Cargo.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.404Z","updated_at":"2026-08-11T09:41:04.404Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/crates/lemma-platform/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/lemma-args/Cargo.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.102Z","updated_at":"2026-08-11T09:41:04.102Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/crates/lemma-args/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/lemma-rs/Cargo.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.463Z","updated_at":"2026-08-11T09:41:04.463Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/crates/lemma-rs/Cargo.toml","dependencies":[]},{"ecosystem":"actions","filepath":".github/workflows/release.yml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:03.812Z","updated_at":"2026-08-11T09:41:03.812Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/.github/workflows/release.yml","dependencies":[{"id":26049008079,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v5","direct":true,"kind":"composite","optional":false},{"id":26049008080,"package_name":"dtolnay/rust-toolchain","ecosystem":"actions","requirements":"stable","direct":true,"kind":"composite","optional":false},{"id":26049008081,"package_name":"Swatinem/rust-cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":26049008082,"package_name":"PyO3/maturin-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":26049008083,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":26049008084,"package_name":"actions/download-artifact","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":26049008085,"package_name":"softprops/action-gh-release","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":26049008086,"package_name":"pypa/gh-action-pypi-publish","ecosystem":"actions","requirements":"release/v1","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"cargo","filepath":"crates/lemma-static/Cargo.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.526Z","updated_at":"2026-08-11T09:41:04.526Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/crates/lemma-static/Cargo.toml","dependencies":[]},{"ecosystem":"actions","filepath":".github/workflows/ci.yml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:03.736Z","updated_at":"2026-08-11T09:41:03.736Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/.github/workflows/ci.yml","dependencies":[{"id":26049008073,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v5","direct":true,"kind":"composite","optional":false},{"id":26049008074,"package_name":"dtolnay/rust-toolchain","ecosystem":"actions","requirements":"nightly","direct":true,"kind":"composite","optional":false},{"id":26049008075,"package_name":"Swatinem/rust-cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":26049008076,"package_name":"taiki-e/install-action","ecosystem":"actions","requirements":"cargo-llvm-cov","direct":true,"kind":"composite","optional":false},{"id":26049008077,"package_name":"codecov/codecov-action","ecosystem":"actions","requirements":"v5","direct":true,"kind":"composite","optional":false},{"id":26049008078,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v5","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"cargo","filepath":"Cargo.lock","sha":null,"kind":"lockfile","created_at":"2026-08-11T09:41:03.911Z","updated_at":"2026-08-11T09:41:03.911Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/Cargo.lock","dependencies":[{"id":26049008778,"package_name":"adler2","ecosystem":"cargo","requirements":"2.0.1","direct":false,"kind":"runtime","optional":false},{"id":26049008779,"package_name":"aes","ecosystem":"cargo","requirements":"0.8.4","direct":false,"kind":"runtime","optional":false},{"id":26049008780,"package_name":"aho-corasick","ecosystem":"cargo","requirements":"1.1.4","direct":false,"kind":"runtime","optional":false},{"id":26049008781,"package_name":"anstream","ecosystem":"cargo","requirements":"0.6.21","direct":false,"kind":"runtime","optional":false},{"id":26049008782,"package_name":"anstyle","ecosystem":"cargo","requirements":"1.0.13","direct":false,"kind":"runtime","optional":false},{"id":26049008783,"package_name":"anstyle-parse","ecosystem":"cargo","requirements":"0.2.7","direct":false,"kind":"runtime","optional":false},{"id":26049008784,"package_name":"anstyle-query","ecosystem":"cargo","requirements":"1.1.4","direct":false,"kind":"runtime","optional":false},{"id":26049008785,"package_name":"anstyle-wincon","ecosystem":"cargo","requirements":"3.0.10","direct":false,"kind":"runtime","optional":false},{"id":26049008786,"package_name":"anyhow","ecosystem":"cargo","requirements":"1.0.100","direct":false,"kind":"runtime","optional":false},{"id":26049008787,"package_name":"atomic-waker","ecosystem":"cargo","requirements":"1.1.2","direct":false,"kind":"runtime","optional":false},{"id":26049008788,"package_name":"autocfg","ecosystem":"cargo","requirements":"1.5.0","direct":false,"kind":"runtime","optional":false},{"id":26049008789,"package_name":"base64","ecosystem":"cargo","requirements":"0.22.1","direct":false,"kind":"runtime","optional":false},{"id":26049008790,"package_name":"base64ct","ecosystem":"cargo","requirements":"1.8.0","direct":false,"kind":"runtime","optional":false},{"id":26049008791,"package_name":"bit-set","ecosystem":"cargo","requirements":"0.8.0","direct":false,"kind":"runtime","optional":false},{"id":26049008792,"package_name":"bit-vec","ecosystem":"cargo","requirements":"0.8.0","direct":false,"kind":"runtime","optional":false},{"id":26049008793,"package_name":"bitflags","ecosystem":"cargo","requirements":"2.10.0","direct":false,"kind":"runtime","optional":false},{"id":26049008794,"package_name":"block-buffer","ecosystem":"cargo","requirements":"0.10.4","direct":false,"kind":"runtime","optional":false},{"id":26049008795,"package_name":"bumpalo","ecosystem":"cargo","requirements":"3.19.0","direct":false,"kind":"runtime","optional":false},{"id":26049008796,"package_name":"byteorder","ecosystem":"cargo","requirements":"1.5.0","direct":false,"kind":"runtime","optional":false},{"id":26049008797,"package_name":"bytes","ecosystem":"cargo","requirements":"1.10.1","direct":false,"kind":"runtime","optional":false},{"id":26049008798,"package_name":"bzip2","ecosystem":"cargo","requirements":"0.4.4","direct":false,"kind":"runtime","optional":false},{"id":26049008799,"package_name":"bzip2-sys","ecosystem":"cargo","requirements":"0.1.13+1.0.8","direct":false,"kind":"runtime","optional":false},{"id":26049008800,"package_name":"cc","ecosystem":"cargo","requirements":"1.2.45","direct":false,"kind":"runtime","optional":false},{"id":26049008801,"package_name":"cfg-if","ecosystem":"cargo","requirements":"1.0.4","direct":false,"kind":"runtime","optional":false},{"id":26049008802,"package_name":"cfg_aliases","ecosystem":"cargo","requirements":"0.2.1","direct":false,"kind":"runtime","optional":false},{"id":26049008803,"package_name":"cipher","ecosystem":"cargo","requirements":"0.4.4","direct":false,"kind":"runtime","optional":false},{"id":26049008804,"package_name":"clap","ecosystem":"cargo","requirements":"4.5.51","direct":false,"kind":"runtime","optional":false},{"id":26049008805,"package_name":"clap_builder","ecosystem":"cargo","requirements":"4.5.51","direct":false,"kind":"runtime","optional":false},{"id":26049008806,"package_name":"clap_complete","ecosystem":"cargo","requirements":"4.5.60","direct":false,"kind":"runtime","optional":false},{"id":26049008807,"package_name":"clap_derive","ecosystem":"cargo","requirements":"4.5.49","direct":false,"kind":"runtime","optional":false},{"id":26049008808,"package_name":"clap_lex","ecosystem":"cargo","requirements":"0.7.6","direct":false,"kind":"runtime","optional":false},{"id":26049008809,"package_name":"colorchoice","ecosystem":"cargo","requirements":"1.0.4","direct":false,"kind":"runtime","optional":false},{"id":26049008810,"package_name":"colored","ecosystem":"cargo","requirements":"2.2.0","direct":false,"kind":"runtime","optional":false},{"id":26049008811,"package_name":"config","ecosystem":"cargo","requirements":"0.15.18","direct":false,"kind":"runtime","optional":false},{"id":26049008812,"package_name":"console","ecosystem":"cargo","requirements":"0.15.11","direct":false,"kind":"runtime","optional":false},{"id":26049008813,"package_name":"constant_time_eq","ecosystem":"cargo","requirements":"0.1.5","direct":false,"kind":"runtime","optional":false},{"id":26049008814,"package_name":"cpufeatures","ecosystem":"cargo","requirements":"0.2.17","direct":false,"kind":"runtime","optional":false},{"id":26049008815,"package_name":"crc32fast","ecosystem":"cargo","requirements":"1.5.0","direct":false,"kind":"runtime","optional":false},{"id":26049008816,"package_name":"crossbeam-deque","ecosystem":"cargo","requirements":"0.8.6","direct":false,"kind":"runtime","optional":false},{"id":26049008817,"package_name":"crossbeam-epoch","ecosystem":"cargo","requirements":"0.9.18","direct":false,"kind":"runtime","optional":false},{"id":26049008818,"package_name":"crossbeam-utils","ecosystem":"cargo","requirements":"0.8.21","direct":false,"kind":"runtime","optional":false},{"id":26049008819,"package_name":"crypto-common","ecosystem":"cargo","requirements":"0.1.6","direct":false,"kind":"runtime","optional":false},{"id":26049008820,"package_name":"deranged","ecosystem":"cargo","requirements":"0.5.5","direct":false,"kind":"runtime","optional":false},{"id":26049008821,"package_name":"digest","ecosystem":"cargo","requirements":"0.10.7","direct":false,"kind":"runtime","optional":false},{"id":26049008822,"package_name":"dirs","ecosystem":"cargo","requirements":"5.0.1","direct":false,"kind":"runtime","optional":false},{"id":26049008823,"package_name":"dirs-sys","ecosystem":"cargo","requirements":"0.4.1","direct":false,"kind":"runtime","optional":false},{"id":26049008824,"package_name":"displaydoc","ecosystem":"cargo","requirements":"0.2.5","direct":false,"kind":"runtime","optional":false},{"id":26049008825,"package_name":"either","ecosystem":"cargo","requirements":"1.15.0","direct":false,"kind":"runtime","optional":false},{"id":26049008826,"package_name":"encode_unicode","ecosystem":"cargo","requirements":"1.0.0","direct":false,"kind":"runtime","optional":false},{"id":26049008827,"package_name":"env_home","ecosystem":"cargo","requirements":"0.1.0","direct":false,"kind":"runtime","optional":false},{"id":26049008828,"package_name":"equivalent","ecosystem":"cargo","requirements":"1.0.2","direct":false,"kind":"runtime","optional":false},{"id":26049008829,"package_name":"errno","ecosystem":"cargo","requirements":"0.3.14","direct":false,"kind":"runtime","optional":false},{"id":26049008830,"package_name":"fastrand","ecosystem":"cargo","requirements":"2.3.0","direct":false,"kind":"runtime","optional":false},{"id":26049008831,"package_name":"filetime","ecosystem":"cargo","requirements":"0.2.26","direct":false,"kind":"runtime","optional":false},{"id":26049008832,"package_name":"find-msvc-tools","ecosystem":"cargo","requirements":"0.1.4","direct":false,"kind":"runtime","optional":false},{"id":26049008833,"package_name":"flate2","ecosystem":"cargo","requirements":"1.1.5","direct":false,"kind":"runtime","optional":false},{"id":26049008834,"package_name":"fnv","ecosystem":"cargo","requirements":"1.0.7","direct":false,"kind":"runtime","optional":false},{"id":26049008835,"package_name":"form_urlencoded","ecosystem":"cargo","requirements":"1.2.2","direct":false,"kind":"runtime","optional":false},{"id":26049008836,"package_name":"fs-err","ecosystem":"cargo","requirements":"2.11.0","direct":false,"kind":"runtime","optional":false},{"id":26049008837,"package_name":"futures-channel","ecosystem":"cargo","requirements":"0.3.31","direct":false,"kind":"runtime","optional":false},{"id":26049008838,"package_name":"futures-core","ecosystem":"cargo","requirements":"0.3.31","direct":false,"kind":"runtime","optional":false},{"id":26049008839,"package_name":"futures-io","ecosystem":"cargo","requirements":"0.3.31","direct":false,"kind":"runtime","optional":false},{"id":26049008840,"package_name":"futures-sink","ecosystem":"cargo","requirements":"0.3.31","direct":false,"kind":"runtime","optional":false},{"id":26049008841,"package_name":"futures-task","ecosystem":"cargo","requirements":"0.3.31","direct":false,"kind":"runtime","optional":false},{"id":26049008842,"package_name":"futures-util","ecosystem":"cargo","requirements":"0.3.31","direct":false,"kind":"runtime","optional":false},{"id":26049008843,"package_name":"generic-array","ecosystem":"cargo","requirements":"0.14.9","direct":false,"kind":"runtime","optional":false},{"id":26049008844,"package_name":"getrandom","ecosystem":"cargo","requirements":"0.2.16","direct":false,"kind":"runtime","optional":false},{"id":26049008845,"package_name":"getrandom","ecosystem":"cargo","requirements":"0.3.4","direct":false,"kind":"runtime","optional":false},{"id":26049008846,"package_name":"hashbrown","ecosystem":"cargo","requirements":"0.16.0","direct":false,"kind":"runtime","optional":false},{"id":26049008847,"package_name":"heck","ecosystem":"cargo","requirements":"0.5.0","direct":false,"kind":"runtime","optional":false},{"id":26049008848,"package_name":"hmac","ecosystem":"cargo","requirements":"0.12.1","direct":false,"kind":"runtime","optional":false},{"id":26049008849,"package_name":"http","ecosystem":"cargo","requirements":"1.3.1","direct":false,"kind":"runtime","optional":false},{"id":26049008850,"package_name":"http-body","ecosystem":"cargo","requirements":"1.0.1","direct":false,"kind":"runtime","optional":false},{"id":26049008851,"package_name":"http-body-util","ecosystem":"cargo","requirements":"0.1.3","direct":false,"kind":"runtime","optional":false},{"id":26049008852,"package_name":"httparse","ecosystem":"cargo","requirements":"1.10.1","direct":false,"kind":"runtime","optional":false},{"id":26049008853,"package_name":"hyper","ecosystem":"cargo","requirements":"1.7.0","direct":false,"kind":"runtime","optional":false},{"id":26049008854,"package_name":"hyper-rustls","ecosystem":"cargo","requirements":"0.27.7","direct":false,"kind":"runtime","optional":false},{"id":26049008855,"package_name":"hyper-util","ecosystem":"cargo","requirements":"0.1.17","direct":false,"kind":"runtime","optional":false},{"id":26049008856,"package_name":"icu_collections","ecosystem":"cargo","requirements":"2.1.1","direct":false,"kind":"runtime","optional":false},{"id":26049008857,"package_name":"icu_locale_core","ecosystem":"cargo","requirements":"2.1.1","direct":false,"kind":"runtime","optional":false},{"id":26049008858,"package_name":"icu_normalizer","ecosystem":"cargo","requirements":"2.1.1","direct":false,"kind":"runtime","optional":false},{"id":26049008859,"package_name":"icu_normalizer_data","ecosystem":"cargo","requirements":"2.1.1","direct":false,"kind":"runtime","optional":false},{"id":26049008860,"package_name":"icu_properties","ecosystem":"cargo","requirements":"2.1.1","direct":false,"kind":"runtime","optional":false},{"id":26049008861,"package_name":"icu_properties_data","ecosystem":"cargo","requirements":"2.1.1","direct":false,"kind":"runtime","optional":false},{"id":26049008862,"package_name":"icu_provider","ecosystem":"cargo","requirements":"2.1.1","direct":false,"kind":"runtime","optional":false},{"id":26049008863,"package_name":"idna","ecosystem":"cargo","requirements":"1.1.0","direct":false,"kind":"runtime","optional":false},{"id":26049008864,"package_name":"idna_adapter","ecosystem":"cargo","requirements":"1.2.1","direct":false,"kind":"runtime","optional":false},{"id":26049008865,"package_name":"indexmap","ecosystem":"cargo","requirements":"2.12.0","direct":false,"kind":"runtime","optional":false},{"id":26049008866,"package_name":"indicatif","ecosystem":"cargo","requirements":"0.17.11","direct":false,"kind":"runtime","optional":false},{"id":26049008867,"package_name":"inout","ecosystem":"cargo","requirements":"0.1.4","direct":false,"kind":"runtime","optional":false},{"id":26049008868,"package_name":"ipnet","ecosystem":"cargo","requirements":"2.11.0","direct":false,"kind":"runtime","optional":false},{"id":26049008869,"package_name":"iri-string","ecosystem":"cargo","requirements":"0.7.9","direct":false,"kind":"runtime","optional":false},{"id":26049008870,"package_name":"is_terminal_polyfill","ecosystem":"cargo","requirements":"1.70.2","direct":false,"kind":"runtime","optional":false},{"id":26049008871,"package_name":"itoa","ecosystem":"cargo","requirements":"1.0.15","direct":false,"kind":"runtime","optional":false},{"id":26049008872,"package_name":"jobserver","ecosystem":"cargo","requirements":"0.1.34","direct":false,"kind":"runtime","optional":false},{"id":26049008873,"package_name":"js-sys","ecosystem":"cargo","requirements":"0.3.82","direct":false,"kind":"runtime","optional":false},{"id":26049008874,"package_name":"lazy_static","ecosystem":"cargo","requirements":"1.5.0","direct":false,"kind":"runtime","optional":false},{"id":26049008875,"package_name":"libc","ecosystem":"cargo","requirements":"0.2.177","direct":false,"kind":"runtime","optional":false},{"id":26049008876,"package_name":"libredox","ecosystem":"cargo","requirements":"0.1.10","direct":false,"kind":"runtime","optional":false},{"id":26049008877,"package_name":"linux-raw-sys","ecosystem":"cargo","requirements":"0.11.0","direct":false,"kind":"runtime","optional":false},{"id":26049008878,"package_name":"litemap","ecosystem":"cargo","requirements":"0.8.1","direct":false,"kind":"runtime","optional":false},{"id":26049008879,"package_name":"log","ecosystem":"cargo","requirements":"0.4.28","direct":false,"kind":"runtime","optional":false},{"id":26049008880,"package_name":"lru-slab","ecosystem":"cargo","requirements":"0.1.2","direct":false,"kind":"runtime","optional":false},{"id":26049008881,"package_name":"matchers","ecosystem":"cargo","requirements":"0.2.0","direct":false,"kind":"runtime","optional":false},{"id":26049008882,"package_name":"memchr","ecosystem":"cargo","requirements":"2.7.6","direct":false,"kind":"runtime","optional":false},{"id":26049008883,"package_name":"miniz_oxide","ecosystem":"cargo","requirements":"0.8.9","direct":false,"kind":"runtime","optional":false},{"id":26049008884,"package_name":"mio","ecosystem":"cargo","requirements":"1.1.0","direct":false,"kind":"runtime","optional":false},{"id":26049008885,"package_name":"nu-ansi-term","ecosystem":"cargo","requirements":"0.50.3","direct":false,"kind":"runtime","optional":false},{"id":26049008886,"package_name":"num-conv","ecosystem":"cargo","requirements":"0.1.0","direct":false,"kind":"runtime","optional":false},{"id":26049008887,"package_name":"num-traits","ecosystem":"cargo","requirements":"0.2.19","direct":false,"kind":"runtime","optional":false},{"id":26049008888,"package_name":"number_prefix","ecosystem":"cargo","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":26049008889,"package_name":"once_cell","ecosystem":"cargo","requirements":"1.21.3","direct":false,"kind":"runtime","optional":false},{"id":26049008890,"package_name":"once_cell_polyfill","ecosystem":"cargo","requirements":"1.70.2","direct":false,"kind":"runtime","optional":false},{"id":26049008891,"package_name":"option-ext","ecosystem":"cargo","requirements":"0.2.0","direct":false,"kind":"runtime","optional":false},{"id":26049008892,"package_name":"password-hash","ecosystem":"cargo","requirements":"0.4.2","direct":false,"kind":"runtime","optional":false},{"id":26049008893,"package_name":"pathdiff","ecosystem":"cargo","requirements":"0.2.3","direct":false,"kind":"runtime","optional":false},{"id":26049008894,"package_name":"pbkdf2","ecosystem":"cargo","requirements":"0.11.0","direct":false,"kind":"runtime","optional":false},{"id":26049008895,"package_name":"percent-encoding","ecosystem":"cargo","requirements":"2.3.2","direct":false,"kind":"runtime","optional":false},{"id":26049008896,"package_name":"pin-project-lite","ecosystem":"cargo","requirements":"0.2.16","direct":false,"kind":"runtime","optional":false},{"id":26049008897,"package_name":"pin-utils","ecosystem":"cargo","requirements":"0.1.0","direct":false,"kind":"runtime","optional":false},{"id":26049008898,"package_name":"pkg-config","ecosystem":"cargo","requirements":"0.3.32","direct":false,"kind":"runtime","optional":false},{"id":26049008899,"package_name":"portable-atomic","ecosystem":"cargo","requirements":"1.11.1","direct":false,"kind":"runtime","optional":false},{"id":26049008900,"package_name":"potential_utf","ecosystem":"cargo","requirements":"0.1.4","direct":false,"kind":"runtime","optional":false},{"id":26049008901,"package_name":"powerfmt","ecosystem":"cargo","requirements":"0.2.0","direct":false,"kind":"runtime","optional":false},{"id":26049008902,"package_name":"ppv-lite86","ecosystem":"cargo","requirements":"0.2.21","direct":false,"kind":"runtime","optional":false},{"id":26049008903,"package_name":"proc-macro2","ecosystem":"cargo","requirements":"1.0.103","direct":false,"kind":"runtime","optional":false},{"id":26049008904,"package_name":"proptest","ecosystem":"cargo","requirements":"1.9.0","direct":false,"kind":"runtime","optional":false},{"id":26049008905,"package_name":"quick-error","ecosystem":"cargo","requirements":"1.2.3","direct":false,"kind":"runtime","optional":false},{"id":26049008906,"package_name":"quinn","ecosystem":"cargo","requirements":"0.11.9","direct":false,"kind":"runtime","optional":false},{"id":26049008907,"package_name":"quinn-proto","ecosystem":"cargo","requirements":"0.11.13","direct":false,"kind":"runtime","optional":false},{"id":26049008908,"package_name":"quinn-udp","ecosystem":"cargo","requirements":"0.5.14","direct":false,"kind":"runtime","optional":false},{"id":26049008909,"package_name":"quote","ecosystem":"cargo","requirements":"1.0.41","direct":false,"kind":"runtime","optional":false},{"id":26049008910,"package_name":"r-efi","ecosystem":"cargo","requirements":"5.3.0","direct":false,"kind":"runtime","optional":false},{"id":26049008911,"package_name":"rand","ecosystem":"cargo","requirements":"0.9.2","direct":false,"kind":"runtime","optional":false},{"id":26049008912,"package_name":"rand_chacha","ecosystem":"cargo","requirements":"0.9.0","direct":false,"kind":"runtime","optional":false},{"id":26049008913,"package_name":"rand_core","ecosystem":"cargo","requirements":"0.6.4","direct":false,"kind":"runtime","optional":false},{"id":26049008914,"package_name":"rand_core","ecosystem":"cargo","requirements":"0.9.3","direct":false,"kind":"runtime","optional":false},{"id":26049008915,"package_name":"rand_xorshift","ecosystem":"cargo","requirements":"0.4.0","direct":false,"kind":"runtime","optional":false},{"id":26049008916,"package_name":"rayon","ecosystem":"cargo","requirements":"1.11.0","direct":false,"kind":"runtime","optional":false},{"id":26049008917,"package_name":"rayon-core","ecosystem":"cargo","requirements":"1.13.0","direct":false,"kind":"runtime","optional":false},{"id":26049008918,"package_name":"redox_syscall","ecosystem":"cargo","requirements":"0.5.18","direct":false,"kind":"runtime","optional":false},{"id":26049008919,"package_name":"redox_users","ecosystem":"cargo","requirements":"0.4.6","direct":false,"kind":"runtime","optional":false},{"id":26049008920,"package_name":"regex","ecosystem":"cargo","requirements":"1.12.2","direct":false,"kind":"runtime","optional":false},{"id":26049008921,"package_name":"regex-automata","ecosystem":"cargo","requirements":"0.4.13","direct":false,"kind":"runtime","optional":false},{"id":26049008922,"package_name":"regex-syntax","ecosystem":"cargo","requirements":"0.8.8","direct":false,"kind":"runtime","optional":false},{"id":26049008923,"package_name":"reqwest","ecosystem":"cargo","requirements":"0.12.24","direct":false,"kind":"runtime","optional":false},{"id":26049008924,"package_name":"ring","ecosystem":"cargo","requirements":"0.17.14","direct":false,"kind":"runtime","optional":false},{"id":26049008925,"package_name":"rustc-hash","ecosystem":"cargo","requirements":"2.1.1","direct":false,"kind":"runtime","optional":false},{"id":26049008926,"package_name":"rustix","ecosystem":"cargo","requirements":"1.1.2","direct":false,"kind":"runtime","optional":false},{"id":26049008927,"package_name":"rustls","ecosystem":"cargo","requirements":"0.23.35","direct":false,"kind":"runtime","optional":false},{"id":26049008928,"package_name":"rustls-pki-types","ecosystem":"cargo","requirements":"1.13.0","direct":false,"kind":"runtime","optional":false},{"id":26049008929,"package_name":"rustls-webpki","ecosystem":"cargo","requirements":"0.103.8","direct":false,"kind":"runtime","optional":false},{"id":26049008930,"package_name":"rustversion","ecosystem":"cargo","requirements":"1.0.22","direct":false,"kind":"runtime","optional":false},{"id":26049008931,"package_name":"rusty-fork","ecosystem":"cargo","requirements":"0.3.1","direct":false,"kind":"runtime","optional":false},{"id":26049008932,"package_name":"ryu","ecosystem":"cargo","requirements":"1.0.20","direct":false,"kind":"runtime","optional":false},{"id":26049008933,"package_name":"serde","ecosystem":"cargo","requirements":"1.0.228","direct":false,"kind":"runtime","optional":false},{"id":26049008934,"package_name":"serde_core","ecosystem":"cargo","requirements":"1.0.228","direct":false,"kind":"runtime","optional":false},{"id":26049008935,"package_name":"serde_derive","ecosystem":"cargo","requirements":"1.0.228","direct":false,"kind":"runtime","optional":false},{"id":26049008936,"package_name":"serde_json","ecosystem":"cargo","requirements":"1.0.145","direct":false,"kind":"runtime","optional":false},{"id":26049008937,"package_name":"serde_spanned","ecosystem":"cargo","requirements":"0.6.9","direct":false,"kind":"runtime","optional":false},{"id":26049008938,"package_name":"serde_spanned","ecosystem":"cargo","requirements":"1.0.3","direct":false,"kind":"runtime","optional":false},{"id":26049008939,"package_name":"serde_urlencoded","ecosystem":"cargo","requirements":"0.7.1","direct":false,"kind":"runtime","optional":false},{"id":26049008940,"package_name":"sha1","ecosystem":"cargo","requirements":"0.10.6","direct":false,"kind":"runtime","optional":false},{"id":26049008941,"package_name":"sha2","ecosystem":"cargo","requirements":"0.10.9","direct":false,"kind":"runtime","optional":false},{"id":26049008942,"package_name":"sharded-slab","ecosystem":"cargo","requirements":"0.1.7","direct":false,"kind":"runtime","optional":false},{"id":26049008943,"package_name":"shlex","ecosystem":"cargo","requirements":"1.3.0","direct":false,"kind":"runtime","optional":false},{"id":26049008944,"package_name":"simd-adler32","ecosystem":"cargo","requirements":"0.3.7","direct":false,"kind":"runtime","optional":false},{"id":26049008945,"package_name":"slab","ecosystem":"cargo","requirements":"0.4.11","direct":false,"kind":"runtime","optional":false},{"id":26049008946,"package_name":"smallvec","ecosystem":"cargo","requirements":"1.15.1","direct":false,"kind":"runtime","optional":false},{"id":26049008947,"package_name":"socket2","ecosystem":"cargo","requirements":"0.6.1","direct":false,"kind":"runtime","optional":false},{"id":26049008948,"package_name":"stable_deref_trait","ecosystem":"cargo","requirements":"1.2.1","direct":false,"kind":"runtime","optional":false},{"id":26049008949,"package_name":"strsim","ecosystem":"cargo","requirements":"0.11.1","direct":false,"kind":"runtime","optional":false},{"id":26049008950,"package_name":"subtle","ecosystem":"cargo","requirements":"2.6.1","direct":false,"kind":"runtime","optional":false},{"id":26049008951,"package_name":"syn","ecosystem":"cargo","requirements":"2.0.108","direct":false,"kind":"runtime","optional":false},{"id":26049008952,"package_name":"sync_wrapper","ecosystem":"cargo","requirements":"1.0.2","direct":false,"kind":"runtime","optional":false},{"id":26049008953,"package_name":"synstructure","ecosystem":"cargo","requirements":"0.13.2","direct":false,"kind":"runtime","optional":false},{"id":26049008954,"package_name":"tar","ecosystem":"cargo","requirements":"0.4.44","direct":false,"kind":"runtime","optional":false},{"id":26049008955,"package_name":"target-lexicon","ecosystem":"cargo","requirements":"0.12.16","direct":false,"kind":"runtime","optional":false},{"id":26049008956,"package_name":"tempfile","ecosystem":"cargo","requirements":"3.23.0","direct":false,"kind":"runtime","optional":false},{"id":26049008957,"package_name":"thiserror","ecosystem":"cargo","requirements":"1.0.69","direct":false,"kind":"runtime","optional":false},{"id":26049008958,"package_name":"thiserror","ecosystem":"cargo","requirements":"2.0.17","direct":false,"kind":"runtime","optional":false},{"id":26049008959,"package_name":"thiserror-impl","ecosystem":"cargo","requirements":"1.0.69","direct":false,"kind":"runtime","optional":false},{"id":26049008960,"package_name":"thiserror-impl","ecosystem":"cargo","requirements":"2.0.17","direct":false,"kind":"runtime","optional":false},{"id":26049008961,"package_name":"thread_local","ecosystem":"cargo","requirements":"1.1.9","direct":false,"kind":"runtime","optional":false},{"id":26049008962,"package_name":"time","ecosystem":"cargo","requirements":"0.3.44","direct":false,"kind":"runtime","optional":false},{"id":26049008963,"package_name":"time-core","ecosystem":"cargo","requirements":"0.1.6","direct":false,"kind":"runtime","optional":false},{"id":26049008964,"package_name":"tinystr","ecosystem":"cargo","requirements":"0.8.2","direct":false,"kind":"runtime","optional":false},{"id":26049008965,"package_name":"tinyvec","ecosystem":"cargo","requirements":"1.10.0","direct":false,"kind":"runtime","optional":false},{"id":26049008966,"package_name":"tinyvec_macros","ecosystem":"cargo","requirements":"0.1.1","direct":false,"kind":"runtime","optional":false},{"id":26049008967,"package_name":"tokio","ecosystem":"cargo","requirements":"1.48.0","direct":false,"kind":"runtime","optional":false},{"id":26049008968,"package_name":"tokio-rustls","ecosystem":"cargo","requirements":"0.26.4","direct":false,"kind":"runtime","optional":false},{"id":26049008969,"package_name":"toml","ecosystem":"cargo","requirements":"0.8.23","direct":false,"kind":"runtime","optional":false},{"id":26049008970,"package_name":"toml","ecosystem":"cargo","requirements":"0.9.8","direct":false,"kind":"runtime","optional":false},{"id":26049008971,"package_name":"toml_datetime","ecosystem":"cargo","requirements":"0.6.11","direct":false,"kind":"runtime","optional":false},{"id":26049008972,"package_name":"toml_datetime","ecosystem":"cargo","requirements":"0.7.3","direct":false,"kind":"runtime","optional":false},{"id":26049008973,"package_name":"toml_edit","ecosystem":"cargo","requirements":"0.22.27","direct":false,"kind":"runtime","optional":false},{"id":26049008974,"package_name":"toml_parser","ecosystem":"cargo","requirements":"1.0.4","direct":false,"kind":"runtime","optional":false},{"id":26049008975,"package_name":"toml_write","ecosystem":"cargo","requirements":"0.1.2","direct":false,"kind":"runtime","optional":false},{"id":26049008976,"package_name":"tower","ecosystem":"cargo","requirements":"0.5.2","direct":false,"kind":"runtime","optional":false},{"id":26049008977,"package_name":"tower-http","ecosystem":"cargo","requirements":"0.6.6","direct":false,"kind":"runtime","optional":false},{"id":26049008978,"package_name":"tower-layer","ecosystem":"cargo","requirements":"0.3.3","direct":false,"kind":"runtime","optional":false},{"id":26049008979,"package_name":"tower-service","ecosystem":"cargo","requirements":"0.3.3","direct":false,"kind":"runtime","optional":false},{"id":26049008980,"package_name":"tracing","ecosystem":"cargo","requirements":"0.1.41","direct":false,"kind":"runtime","optional":false},{"id":26049008981,"package_name":"tracing-attributes","ecosystem":"cargo","requirements":"0.1.30","direct":false,"kind":"runtime","optional":false},{"id":26049008982,"package_name":"tracing-core","ecosystem":"cargo","requirements":"0.1.34","direct":false,"kind":"runtime","optional":false},{"id":26049008983,"package_name":"tracing-log","ecosystem":"cargo","requirements":"0.2.0","direct":false,"kind":"runtime","optional":false},{"id":26049008984,"package_name":"tracing-subscriber","ecosystem":"cargo","requirements":"0.3.20","direct":false,"kind":"runtime","optional":false},{"id":26049008985,"package_name":"try-lock","ecosystem":"cargo","requirements":"0.2.5","direct":false,"kind":"runtime","optional":false},{"id":26049008986,"package_name":"typenum","ecosystem":"cargo","requirements":"1.19.0","direct":false,"kind":"runtime","optional":false},{"id":26049008987,"package_name":"unarray","ecosystem":"cargo","requirements":"0.1.4","direct":false,"kind":"runtime","optional":false},{"id":26049008988,"package_name":"unicode-ident","ecosystem":"cargo","requirements":"1.0.22","direct":false,"kind":"runtime","optional":false},{"id":26049008989,"package_name":"unicode-width","ecosystem":"cargo","requirements":"0.2.2","direct":false,"kind":"runtime","optional":false},{"id":26049008990,"package_name":"untrusted","ecosystem":"cargo","requirements":"0.9.0","direct":false,"kind":"runtime","optional":false},{"id":26049008991,"package_name":"url","ecosystem":"cargo","requirements":"2.5.7","direct":false,"kind":"runtime","optional":false},{"id":26049008992,"package_name":"utf8_iter","ecosystem":"cargo","requirements":"1.0.4","direct":false,"kind":"runtime","optional":false},{"id":26049008993,"package_name":"utf8parse","ecosystem":"cargo","requirements":"0.2.2","direct":false,"kind":"runtime","optional":false},{"id":26049008994,"package_name":"valuable","ecosystem":"cargo","requirements":"0.1.1","direct":false,"kind":"runtime","optional":false},{"id":26049008995,"package_name":"version_check","ecosystem":"cargo","requirements":"0.9.5","direct":false,"kind":"runtime","optional":false},{"id":26049008996,"package_name":"wait-timeout","ecosystem":"cargo","requirements":"0.2.1","direct":false,"kind":"runtime","optional":false},{"id":26049008997,"package_name":"want","ecosystem":"cargo","requirements":"0.3.1","direct":false,"kind":"runtime","optional":false},{"id":26049008998,"package_name":"wasi","ecosystem":"cargo","requirements":"0.11.1+wasi-snapshot-preview1","direct":false,"kind":"runtime","optional":false},{"id":26049008999,"package_name":"wasip2","ecosystem":"cargo","requirements":"1.0.1+wasi-0.2.4","direct":false,"kind":"runtime","optional":false},{"id":26049009000,"package_name":"wasm-bindgen","ecosystem":"cargo","requirements":"0.2.105","direct":false,"kind":"runtime","optional":false},{"id":26049009001,"package_name":"wasm-bindgen-futures","ecosystem":"cargo","requirements":"0.4.55","direct":false,"kind":"runtime","optional":false},{"id":26049009002,"package_name":"wasm-bindgen-macro","ecosystem":"cargo","requirements":"0.2.105","direct":false,"kind":"runtime","optional":false},{"id":26049009003,"package_name":"wasm-bindgen-macro-support","ecosystem":"cargo","requirements":"0.2.105","direct":false,"kind":"runtime","optional":false},{"id":26049009004,"package_name":"wasm-bindgen-shared","ecosystem":"cargo","requirements":"0.2.105","direct":false,"kind":"runtime","optional":false},{"id":26049009005,"package_name":"web-sys","ecosystem":"cargo","requirements":"0.3.82","direct":false,"kind":"runtime","optional":false},{"id":26049009006,"package_name":"web-time","ecosystem":"cargo","requirements":"1.1.0","direct":false,"kind":"runtime","optional":false},{"id":26049009007,"package_name":"webpki-roots","ecosystem":"cargo","requirements":"1.0.4","direct":false,"kind":"runtime","optional":false},{"id":26049009008,"package_name":"which","ecosystem":"cargo","requirements":"7.0.3","direct":false,"kind":"runtime","optional":false},{"id":26049009009,"package_name":"windows-link","ecosystem":"cargo","requirements":"0.2.1","direct":false,"kind":"runtime","optional":false},{"id":26049009010,"package_name":"windows-sys","ecosystem":"cargo","requirements":"0.48.0","direct":false,"kind":"runtime","optional":false},{"id":26049009011,"package_name":"windows-sys","ecosystem":"cargo","requirements":"0.52.0","direct":false,"kind":"runtime","optional":false},{"id":26049009012,"package_name":"windows-sys","ecosystem":"cargo","requirements":"0.59.0","direct":false,"kind":"runtime","optional":false},{"id":26049009013,"package_name":"windows-sys","ecosystem":"cargo","requirements":"0.60.2","direct":false,"kind":"runtime","optional":false},{"id":26049009014,"package_name":"windows-sys","ecosystem":"cargo","requirements":"0.61.2","direct":false,"kind":"runtime","optional":false},{"id":26049009015,"package_name":"windows-targets","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":26049009016,"package_name":"windows-targets","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":26049009017,"package_name":"windows-targets","ecosystem":"cargo","requirements":"0.53.5","direct":false,"kind":"runtime","optional":false},{"id":26049009018,"package_name":"windows_aarch64_gnullvm","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":26049009019,"package_name":"windows_aarch64_gnullvm","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":26049009020,"package_name":"windows_aarch64_gnullvm","ecosystem":"cargo","requirements":"0.53.1","direct":false,"kind":"runtime","optional":false},{"id":26049009021,"package_name":"windows_aarch64_msvc","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":26049009022,"package_name":"windows_aarch64_msvc","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":26049009023,"package_name":"windows_aarch64_msvc","ecosystem":"cargo","requirements":"0.53.1","direct":false,"kind":"runtime","optional":false},{"id":26049009024,"package_name":"windows_i686_gnu","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":26049009025,"package_name":"windows_i686_gnu","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":26049009026,"package_name":"windows_i686_gnu","ecosystem":"cargo","requirements":"0.53.1","direct":false,"kind":"runtime","optional":false},{"id":26049009027,"package_name":"windows_i686_gnullvm","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":26049009028,"package_name":"windows_i686_gnullvm","ecosystem":"cargo","requirements":"0.53.1","direct":false,"kind":"runtime","optional":false},{"id":26049009029,"package_name":"windows_i686_msvc","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":26049009030,"package_name":"windows_i686_msvc","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":26049009031,"package_name":"windows_i686_msvc","ecosystem":"cargo","requirements":"0.53.1","direct":false,"kind":"runtime","optional":false},{"id":26049009032,"package_name":"windows_x86_64_gnu","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":26049009033,"package_name":"windows_x86_64_gnu","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":26049009034,"package_name":"windows_x86_64_gnu","ecosystem":"cargo","requirements":"0.53.1","direct":false,"kind":"runtime","optional":false},{"id":26049009035,"package_name":"windows_x86_64_gnullvm","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":26049009036,"package_name":"windows_x86_64_gnullvm","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":26049009037,"package_name":"windows_x86_64_gnullvm","ecosystem":"cargo","requirements":"0.53.1","direct":false,"kind":"runtime","optional":false},{"id":26049009038,"package_name":"windows_x86_64_msvc","ecosystem":"cargo","requirements":"0.48.5","direct":false,"kind":"runtime","optional":false},{"id":26049009039,"package_name":"windows_x86_64_msvc","ecosystem":"cargo","requirements":"0.52.6","direct":false,"kind":"runtime","optional":false},{"id":26049009040,"package_name":"windows_x86_64_msvc","ecosystem":"cargo","requirements":"0.53.1","direct":false,"kind":"runtime","optional":false},{"id":26049009041,"package_name":"winnow","ecosystem":"cargo","requirements":"0.7.13","direct":false,"kind":"runtime","optional":false},{"id":26049009042,"package_name":"winsafe","ecosystem":"cargo","requirements":"0.0.19","direct":false,"kind":"runtime","optional":false},{"id":26049009043,"package_name":"wit-bindgen","ecosystem":"cargo","requirements":"0.46.0","direct":false,"kind":"runtime","optional":false},{"id":26049009044,"package_name":"writeable","ecosystem":"cargo","requirements":"0.6.2","direct":false,"kind":"runtime","optional":false},{"id":26049009045,"package_name":"xattr","ecosystem":"cargo","requirements":"1.6.1","direct":false,"kind":"runtime","optional":false},{"id":26049009046,"package_name":"yoke","ecosystem":"cargo","requirements":"0.8.1","direct":false,"kind":"runtime","optional":false},{"id":26049009047,"package_name":"yoke-derive","ecosystem":"cargo","requirements":"0.8.1","direct":false,"kind":"runtime","optional":false},{"id":26049009048,"package_name":"zerocopy","ecosystem":"cargo","requirements":"0.8.27","direct":false,"kind":"runtime","optional":false},{"id":26049009049,"package_name":"zerocopy-derive","ecosystem":"cargo","requirements":"0.8.27","direct":false,"kind":"runtime","optional":false},{"id":26049009050,"package_name":"zerofrom","ecosystem":"cargo","requirements":"0.1.6","direct":false,"kind":"runtime","optional":false},{"id":26049009051,"package_name":"zerofrom-derive","ecosystem":"cargo","requirements":"0.1.6","direct":false,"kind":"runtime","optional":false},{"id":26049009052,"package_name":"zeroize","ecosystem":"cargo","requirements":"1.8.2","direct":false,"kind":"runtime","optional":false},{"id":26049009053,"package_name":"zerotrie","ecosystem":"cargo","requirements":"0.2.3","direct":false,"kind":"runtime","optional":false},{"id":26049009054,"package_name":"zerovec","ecosystem":"cargo","requirements":"0.11.5","direct":false,"kind":"runtime","optional":false},{"id":26049009055,"package_name":"zerovec-derive","ecosystem":"cargo","requirements":"0.11.2","direct":false,"kind":"runtime","optional":false},{"id":26049009056,"package_name":"zip","ecosystem":"cargo","requirements":"0.6.6","direct":false,"kind":"runtime","optional":false},{"id":26049009057,"package_name":"zstd","ecosystem":"cargo","requirements":"0.11.2+zstd.1.5.2","direct":false,"kind":"runtime","optional":false},{"id":26049009058,"package_name":"zstd","ecosystem":"cargo","requirements":"0.13.3","direct":false,"kind":"runtime","optional":false},{"id":26049009059,"package_name":"zstd-safe","ecosystem":"cargo","requirements":"5.0.2+zstd.1.5.2","direct":false,"kind":"runtime","optional":false},{"id":26049009060,"package_name":"zstd-safe","ecosystem":"cargo","requirements":"7.2.4","direct":false,"kind":"runtime","optional":false},{"id":26049009061,"package_name":"zstd-sys","ecosystem":"cargo","requirements":"2.0.16+zstd.1.5.7","direct":false,"kind":"runtime","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/cd.yml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:03.656Z","updated_at":"2026-08-11T09:41:03.656Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/.github/workflows/cd.yml","dependencies":[{"id":26049008048,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v5","direct":true,"kind":"composite","optional":false},{"id":26049008049,"package_name":"dtolnay/rust-toolchain","ecosystem":"actions","requirements":"stable","direct":true,"kind":"composite","optional":false},{"id":26049008050,"package_name":"Swatinem/rust-cache","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"cargo","filepath":"Cargo.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.042Z","updated_at":"2026-08-11T09:41:04.042Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/lemma-download/Cargo.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.238Z","updated_at":"2026-08-11T09:41:04.238Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/crates/lemma-download/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/lemma-install/Cargo.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.293Z","updated_at":"2026-08-11T09:41:04.293Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/crates/lemma-install/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/lemma-output/Cargo.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.349Z","updated_at":"2026-08-11T09:41:04.349Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/crates/lemma-output/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/lemma-toolchain/Cargo.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.586Z","updated_at":"2026-08-11T09:41:04.586Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/crates/lemma-toolchain/Cargo.toml","dependencies":[]},{"ecosystem":"cargo","filepath":"crates/lemma-config/Cargo.toml","sha":null,"kind":"manifest","created_at":"2026-08-11T09:41:04.167Z","updated_at":"2026-08-11T09:41:04.167Z","repository_link":"https://github.com/LeanOxide/lemma/blob/main/crates/lemma-config/Cargo.toml","dependencies":[{"id":26049009062,"package_name":"which","ecosystem":"cargo","requirements":"7.0","direct":true,"kind":"runtime","optional":false}]}],"score":null,"created_at":"2026-06-26T11:24:04.785Z","updated_at":"2026-08-27T17:33:05.270Z","avatar_url":"https://github.com/LeanOxide.png","language":"Rust","codemeta":null,"publiccode":null,"project_url":"https://summary.ecosyste.ms/api/v1/projects/373525","html_url":"https://summary.ecosyste.ms/projects/373525"}