{"id":9849621,"name":"@joneugster/lean4","ecosystem":"npm","description":"Lean 4 language support for VS Code","homepage":"https://github.com/leanprover-community/vscode-lean4","licenses":"Apache-2.0","normalized_licenses":["Apache-2.0"],"repository_url":"https://github.com/leanprover-community/vscode-lean4","keywords_array":["multi-root ready"],"namespace":"joneugster","versions_count":1,"first_release_published_at":"2024-05-02T08:39:16.679Z","latest_release_published_at":"2024-05-02T08:39:16.679Z","latest_release_number":"0.0.143","latest_published_release_number":null,"last_synced_at":"2024-06-03T07:01:11.772Z","created_at":"2024-05-02T12:12:20.124Z","updated_at":"2026-09-25T19:23:25.893Z","registry_url":"https://www.npmjs.com/package/@joneugster/lean4","install_command":"npm install @joneugster/lean4","documentation_url":null,"metadata":{"funding":null,"dist-tags":{"latest":"0.0.143"}},"repo_metadata":{"id":37078420,"uuid":"325845305","full_name":"leanprover/vscode-lean4","owner":"leanprover","description":"VS Code extension for the Lean 4 programming language and theorem prover","archived":false,"fork":false,"pushed_at":"2026-09-18T07:53:01.000Z","size":12690,"stargazers_count":313,"open_issues_count":63,"forks_count":104,"subscribers_count":10,"default_branch":"master","last_synced_at":"2026-09-25T17:42:58.188Z","etag":null,"topics":["lean","vscode"],"latest_commit_sha":null,"homepage":"https://lean-lang.org/","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/leanprover.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":"2020-12-31T17:26:54.000Z","updated_at":"2026-09-18T12:13:17.000Z","dependencies_parsed_at":"2026-09-11T02:58:52.601Z","dependency_job_id":null,"html_url":"https://github.com/leanprover/vscode-lean4","commit_stats":{"total_commits":2265,"total_committers":67,"mean_commits":33.80597014925373,"dds":0.7350993377483444,"last_synced_commit":"55b2f17ae09fcc3d6dbb3a49c373a4bd46f00028"},"previous_names":["leanprover-community/vscode-lean4"],"tags_count":238,"template":false,"template_full_name":null,"purl":"pkg:github/leanprover/vscode-lean4","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leanprover","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":341189360,"owners_count":37686918,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-22T15:14:58.755Z","status":"online","status_checked_at":"2026-09-25T02:00:20.896Z","response_time":55,"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":"leanprover","name":"Lean","uuid":"7233018","kind":"organization","description":"Lean Prover","email":null,"website":"https://lean-lang.org/","location":null,"twitter":"leanprover","company":null,"icon_url":"https://avatars.githubusercontent.com/u/7233018?v=4","repositories_count":147,"last_synced_at":"2026-09-25T14:14:06.958Z","metadata":{"has_sponsors_listing":false,"funding":null},"html_url":"https://github.com/leanprover","funding_links":[],"total_stars":16893,"followers":1397,"following":0,"created_at":"2022-11-07T04:08:21.834Z","updated_at":"2026-09-25T14:14:06.972Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leanprover","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leanprover/repositories"},"tags":[{"name":"v0.0.239","sha":"5a25e6abb2e973b4c89a053acc74c479c0bb2e9f","kind":"tag","published_at":"2026-07-29T08:34:25.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.239","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.239","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.239","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.239","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.239/manifests"},{"name":"v0.0.238-pre","sha":"25e8fc32e34f046695978af7514b43f5b3a88a04","kind":"tag","published_at":"2026-05-27T12:18:59.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.238-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.238-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.238-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.238-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.238-pre/manifests"},{"name":"v0.0.237","sha":"d73c2986053f0d701dd0b867488a42fbfeadfff9","kind":"tag","published_at":"2026-05-27T09:43:07.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.237","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.237","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.237","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.237","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.237/manifests"},{"name":"v0.0.236","sha":"bbe3ff126cd54defd10ac6e07a2b94dd2d865c42","kind":"tag","published_at":"2026-04-28T07:58:20.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.236","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.236","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.236","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.236","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.236/manifests"},{"name":"v0.0.235-pre","sha":"dd686d79794c90d5b91046fbde11edce9cbc74f1","kind":"tag","published_at":"2026-04-15T09:10:02.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.235-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.235-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.235-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.235-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.235-pre/manifests"},{"name":"v0.0.234","sha":"66528403779d277160f1e9b9ee54de1ac24b8fec","kind":"tag","published_at":"2026-04-13T12:35:31.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.234","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.234","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.234","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.234","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.234/manifests"},{"name":"v0.0.233-pre","sha":"d069af1a70023eb950d67c2044a0c6af63500b69","kind":"tag","published_at":"2026-04-09T07:18:53.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.233-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.233-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.233-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.233-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.233-pre/manifests"},{"name":"v0.0.232-pre","sha":"0de7d443873e419220612d7aa36d948b06760200","kind":"tag","published_at":"2026-04-07T07:58:12.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.232-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.232-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.232-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.232-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.232-pre/manifests"},{"name":"v0.0.231-pre","sha":"967343bcc77861f7ada2eeca5e8387eba5cbec4e","kind":"tag","published_at":"2026-04-02T08:19:51.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.231-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.231-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.231-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.231-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.231-pre/manifests"},{"name":"v0.0.230-pre","sha":"77b2e830770059b3930a23fdd1a7a5020f190ec4","kind":"tag","published_at":"2026-04-01T08:05:03.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.230-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.230-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.230-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.230-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.230-pre/manifests"},{"name":"v0.0.229","sha":"26448b7193200436838d5b2541ecd34dad543f85","kind":"tag","published_at":"2026-03-31T09:42:42.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.229","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.229","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.229","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.229","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.229/manifests"},{"name":"v0.0.228-pre","sha":"5f4aba5adccf67457e56efc107d3eeb7091ce33a","kind":"tag","published_at":"2026-03-25T07:49:25.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.228-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.228-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.228-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.228-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.228-pre/manifests"},{"name":"v0.0.227-pre","sha":"b3e53a18f0d258fc1e03f42cf005622fc0890290","kind":"tag","published_at":"2026-03-24T14:44:13.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.227-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.227-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.227-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.227-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.227-pre/manifests"},{"name":"v0.0.226","sha":"9370a4f2c3bdf46cba3bd526dc6ed75c1847f925","kind":"tag","published_at":"2026-03-24T08:59:59.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.226","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.226","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.226","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.226","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.226/manifests"},{"name":"v0.0.225","sha":"27f5b365bec0cc61ffd7e414b70986b4bf15c946","kind":"tag","published_at":"2026-03-05T12:23:14.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.225","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.225","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.225","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.225","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.225/manifests"},{"name":"v0.0.224","sha":"8ae6710deae85b9f7b379e4fd3cf6a7495ec1424","kind":"tag","published_at":"2026-02-23T13:17:10.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.224","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.224","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.224","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.224","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.224/manifests"},{"name":"v0.0.223","sha":"3f8162028909f15d9a4bfab0cf84fd1292134559","kind":"tag","published_at":"2026-02-09T12:15:34.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.223","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.223","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.223","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.223","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.223/manifests"},{"name":"v0.0.222-pre","sha":"e7c6dfcf5b96a7f77db2db2f527ce37f3848afbd","kind":"tag","published_at":"2026-01-19T10:48:58.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.222-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.222-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.222-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.222-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.222-pre/manifests"},{"name":"v0.0.221","sha":"c15861c894c5e04c25751f5d624d9c25b1f93a24","kind":"tag","published_at":"2025-11-13T13:23:21.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.221","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.221","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.221","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.221","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.221/manifests"},{"name":"v0.0.220","sha":"1058b0e1d1c298b0ae4cf94daf2c28584bb9f540","kind":"tag","published_at":"2025-11-04T13:18:24.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.220","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.220","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.220","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.220","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.220/manifests"},{"name":"v0.0.219","sha":"943d43085836bb54d5df6072e1799b02533ab31e","kind":"tag","published_at":"2025-10-31T18:26:09.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.219","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.219","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.219","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.219","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.219/manifests"},{"name":"v0.0.218","sha":"6fdd74cd7f42043f5c16553260d60e1aff95a520","kind":"tag","published_at":"2025-10-29T08:32:12.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.218","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.218","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.218","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.218","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.218/manifests"},{"name":"v0.0.217-pre","sha":"fd9479d0a4cc4ccbe5f8137411ab70e7d6f868f2","kind":"tag","published_at":"2025-10-21T08:24:13.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.217-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.217-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.217-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.217-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.217-pre/manifests"},{"name":"v0.0.216","sha":"258d13fe4f4e9e8ea1b719cb82b145c3d088cb2a","kind":"tag","published_at":"2025-10-13T15:01:15.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.216","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.216","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.216","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.216","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.216/manifests"},{"name":"v0.0.215","sha":"c59a5d26b7550f62c11a97cc6142dab551020b69","kind":"tag","published_at":"2025-09-30T11:14:28.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.215","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.215","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.215","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.215","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.215/manifests"},{"name":"v0.0.214","sha":"c435dd6efd073e3170c5fac0aed0d2a168c5a4ad","kind":"tag","published_at":"2025-09-25T08:08:11.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.214","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.214","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.214","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.214","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.214/manifests"},{"name":"v0.0.213","sha":"93fb05fcd0637016654f5cbb3a75e37cf2cec7df","kind":"tag","published_at":"2025-09-23T16:20:20.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.213","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.213","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.213","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.213","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.213/manifests"},{"name":"v0.0.212","sha":"608fc281bd8267174d57f83a88c0c2b70b1a4e2d","kind":"tag","published_at":"2025-09-15T09:02:03.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.212","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.212","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.212","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.212","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.212/manifests"},{"name":"v0.0.211-pre","sha":"22485cc7f7c9f5fb0a744299ef4088e48f0062b2","kind":"tag","published_at":"2025-08-21T08:45:00.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.211-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.211-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.211-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.211-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.211-pre/manifests"},{"name":"v0.0.210-pre","sha":"832482fb086802f0cfe5dad86057c259e1cbf524","kind":"tag","published_at":"2025-08-19T09:27:05.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.210-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.210-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.210-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.210-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.210-pre/manifests"},{"name":"v0.0.209","sha":"514362b5c7fdcd7c43562d833fb94ff973d1da29","kind":"tag","published_at":"2025-06-26T11:33:37.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.209","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.209","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.209","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.209","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.209/manifests"},{"name":"v0.0.208-pre","sha":"b365c1bebc8c005ff0267d9587286dc06fc8f194","kind":"tag","published_at":"2025-06-11T12:10:15.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.208-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.208-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.208-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.208-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.208-pre/manifests"},{"name":"v0.0.207","sha":"32297b5ac6ff9bfb0c98f8957824b39df869b318","kind":"tag","published_at":"2025-06-04T08:20:42.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.207","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.207","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.207","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.207","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.207/manifests"},{"name":"v0.0.206","sha":"6421d7cf32761be3105564aedcb99c65de4fd453","kind":"tag","published_at":"2025-06-03T11:50:54.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.206","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.206","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.206","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.206","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.206/manifests"},{"name":"v0.0.205","sha":"5a938adc7913fbb4e177391bc2b762a35ab29153","kind":"tag","published_at":"2025-04-30T15:58:08.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.205","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.205","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.205","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.205","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.205/manifests"},{"name":"v0.0.204","sha":"44bf3e6ce3a151ab457c061e16be2508066a518d","kind":"tag","published_at":"2025-04-23T14:42:47.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.204","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.204","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.204","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.204","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.204/manifests"},{"name":"v0.0.203","sha":"ba0d7e491524cb816362c06c971f06ac9b1838d5","kind":"tag","published_at":"2025-04-17T12:35:15.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.203","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.203","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.203","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.203","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.203/manifests"},{"name":"v0.0.202","sha":"6504d3c2829f5e52841c426592b6d30db1931674","kind":"tag","published_at":"2025-04-15T08:11:23.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.202","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.202","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.202","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.202","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.202/manifests"},{"name":"v0.0.201","sha":"82a347b7d406a2f23a124e772fec0dc2ea7b136f","kind":"tag","published_at":"2025-03-27T13:23:36.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.201","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.201","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.201","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.201","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.201/manifests"},{"name":"v0.0.200-pre","sha":"917858c48a0262ff124c42bbbe62847667d7fa12","kind":"tag","published_at":"2025-03-26T08:56:55.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.200-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.200-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.200-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.200-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.200-pre/manifests"},{"name":"v0.0.199-pre","sha":"36b777de2bf6f3333e36c86c1529ccfdcb9f0f87","kind":"tag","published_at":"2025-03-19T16:42:49.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.199-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.199-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.199-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.199-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.199-pre/manifests"},{"name":"v0.0.198-pre","sha":"e844f6abe874fde8fda34160e82888476dd9c676","kind":"tag","published_at":"2025-03-11T10:15:27.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.198-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.198-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.198-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.198-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.198-pre/manifests"},{"name":"v0.0.197-pre","sha":"ad0a17f84a6cef365c37235f5bd3ce5ef71d2728","kind":"tag","published_at":"2025-03-08T11:30:28.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.197-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.197-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.197-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.197-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.197-pre/manifests"},{"name":"v0.0.196-pre","sha":"fd8ad21d06da44c3968dba2287e87c875c7e5899","kind":"tag","published_at":"2025-03-07T14:49:27.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.196-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.196-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.196-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.196-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.196-pre/manifests"},{"name":"v0.0.195","sha":"fa03bbc40b032474bf187c8d2fc34dfda9b06efe","kind":"tag","published_at":"2025-02-25T15:32:13.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.195","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.195","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.195","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.195","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.195/manifests"},{"name":"v0.0.194","sha":"f95786de5d9ca8912c45a36a1d941cb96446ce65","kind":"tag","published_at":"2025-01-30T15:22:53.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.194","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.194","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.194","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.194","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.194/manifests"},{"name":"v0.0.193","sha":"2a9d5384c8510548001e6fbaf05c597b2c046a73","kind":"tag","published_at":"2025-01-30T14:59:30.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.193","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.193","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.193","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.193","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.193/manifests"},{"name":"v0.0.192","sha":"256a36cccb0942e2099021946af2d7b0c5943c79","kind":"tag","published_at":"2025-01-30T13:17:51.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.192","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.192","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.192","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.192","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.192/manifests"},{"name":"v0.0.191-pre","sha":"3f499d0b78aa6f04e6da89b792bf9835ede45c9b","kind":"tag","published_at":"2025-01-13T16:36:00.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.191-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.191-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.191-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.191-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.191-pre/manifests"},{"name":"v0.0.190-pre","sha":"637723bbd2e23b5a4dae9c493331fe98e7111d54","kind":"tag","published_at":"2025-01-13T16:30:03.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.190-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.190-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.190-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.190-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.190-pre/manifests"},{"name":"v0.0.189-pre","sha":"dbd82c9ef3f62b7aad8378cb9d939dda1dc7ddde","kind":"tag","published_at":"2025-01-13T13:40:15.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.189-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.189-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.189-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.189-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.189-pre/manifests"},{"name":"v0.0.188-pre","sha":"a3c0d294f0b5ceb8316e2846f3cc2c2286ed599d","kind":"tag","published_at":"2025-01-13T13:05:46.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.188-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.188-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.188-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.188-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.188-pre/manifests"},{"name":"v0.0.187-pre","sha":"a3b4a575b0477946948e48d7110ab81a89a27567","kind":"tag","published_at":"2025-01-08T13:50:20.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.187-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.187-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.187-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.187-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.187-pre/manifests"},{"name":"v0.0.186","sha":"08f121b8f820a31225dc3b695696c0242177be23","kind":"tag","published_at":"2024-12-05T17:06:04.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.186","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.186","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.186","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.186","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.186/manifests"},{"name":"v0.0.185-pre","sha":"55b2f17ae09fcc3d6dbb3a49c373a4bd46f00028","kind":"tag","published_at":"2024-11-20T15:00:14.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.185-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.185-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.185-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.185-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.185-pre/manifests"},{"name":"v0.0.184","sha":"9ea8703e1f434372f74856c9a35db2c78c120d6a","kind":"tag","published_at":"2024-10-28T10:36:10.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.184","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.184","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.184","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.184","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.184/manifests"},{"name":"v0.0.183","sha":"7df64fb8e7eb9fd8910ce5381db09737d7eb79fe","kind":"tag","published_at":"2024-10-17T23:24:00.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.183","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.183","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.183","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.183","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.183/manifests"},{"name":"v0.0.182","sha":"4f389515bbc7905037105d670c55f0b1406e70fe","kind":"tag","published_at":"2024-10-17T23:19:51.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.182","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.182","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.182","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.182","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.182/manifests"},{"name":"v0.0.181","sha":"9b346abd16d17b10328a3f14f4c627fa93f1a766","kind":"tag","published_at":"2024-10-17T17:09:09.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.181","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.181","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.181","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.181","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.181/manifests"},{"name":"v0.0.180","sha":"c045092b084091138e4107fba9b40201038de913","kind":"tag","published_at":"2024-10-17T16:57:58.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.180","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.180","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.180","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.180","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.180/manifests"},{"name":"v0.0.179","sha":"4f2a86eb4f8fecc1b20ab1961d26cbc6c914d3f4","kind":"tag","published_at":"2024-10-14T10:58:29.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.179","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.179","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.179","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.179","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.179/manifests"},{"name":"v0.0.178","sha":"cbd76b64783ce7168f1b4e9915d9f68ab10966fc","kind":"tag","published_at":"2024-09-10T07:45:50.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.178","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.178","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.178","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.178","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.178/manifests"},{"name":"v0.0.177","sha":"97d7d8c382d1549c18b66cd99ab4df0b6634c8f1","kind":"tag","published_at":"2024-08-28T12:14:28.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.177","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.177","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.177","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.177","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.177/manifests"},{"name":"v0.0.176","sha":"0bab1db6be08083e3b41286627334bd2dd19dc75","kind":"tag","published_at":"2024-07-23T07:40:51.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.176","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.176","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.176","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.176","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.176/manifests"},{"name":"v0.0.175","sha":"0617371a7dac01576552687da0fc60be545312a3","kind":"tag","published_at":"2024-07-22T07:56:57.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.175","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.175","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.175","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.175","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.175/manifests"},{"name":"v0.0.174","sha":"4da93b530d5eafe438af8c8bd13ef833a183469e","kind":"tag","published_at":"2024-07-10T17:04:17.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.174","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.174","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.174","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.174","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.174/manifests"},{"name":"v0.0.173","sha":"1373faf5e7672df28d11c653990a471a1cf54912","kind":"tag","published_at":"2024-07-10T16:13:10.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.173","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.173","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.173","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.173","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.173/manifests"},{"name":"v0.0.172","sha":"f9c183f2008ca3d420a165a8e3782e4ba8ac7802","kind":"tag","published_at":"2024-07-10T15:55:47.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.172","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.172","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.172","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.172","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.172/manifests"},{"name":"v0.0.171","sha":"b153d539a5cde59d48f67d7a2fc19c114edd9253","kind":"tag","published_at":"2024-07-01T09:55:34.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.171","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.171","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.171","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.171","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.171/manifests"},{"name":"v0.0.170","sha":"03c5b4bc01aed629e050c5c5e12ab6a443fff09c","kind":"tag","published_at":"2024-06-27T11:27:35.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.170","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.170","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.170","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.170","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.170/manifests"},{"name":"v0.0.169","sha":"cee53169b58d31a03a60c4769ee827a3cabffd7c","kind":"tag","published_at":"2024-06-26T07:53:01.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.169","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.169","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.169","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.169","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.169/manifests"},{"name":"v0.0.168","sha":"84cc59171ea0f344cb67763d14706f11ebf4566c","kind":"tag","published_at":"2024-06-21T20:04:07.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.168","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.168","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.168","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.168","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.168/manifests"},{"name":"v0.0.167","sha":"1cf6ad9e0488ecbd7c26b9c42c964badd2198741","kind":"tag","published_at":"2024-06-21T14:53:51.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.167","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.167","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.167","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.167","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.167/manifests"},{"name":"v0.0.166","sha":"6be892ebe338046713551413d49824ff19c5140f","kind":"tag","published_at":"2024-06-20T08:53:38.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.166","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.166","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.166","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.166","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.166/manifests"},{"name":"v0.0.165","sha":"4d6252eb89b70c44347c9eb76c687c16823b2b11","kind":"tag","published_at":"2024-06-20T02:13:07.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.165","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.165","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.165","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.165","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.165/manifests"},{"name":"v0.0.164","sha":"ae14d573785b0955885b5a59a4d8153984c8a618","kind":"tag","published_at":"2024-06-19T14:09:35.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.164","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.164","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.164","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.164","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.164/manifests"},{"name":"v0.0.163","sha":"79c2e39ba34fdecf545fb3f23aec2c6aa014cd88","kind":"tag","published_at":"2024-06-18T12:41:15.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.163","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.163","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.163","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.163","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.163/manifests"},{"name":"v0.0.162","sha":"019640305db95ac7bfcdd77750270b78c0b3cf93","kind":"tag","published_at":"2024-06-18T10:40:39.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.162","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.162","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.162","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.162","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.162/manifests"},{"name":"v0.0.161","sha":"de19e8abec4cb64715b6240e089fdee34675c795","kind":"tag","published_at":"2024-06-18T09:38:04.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.161","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.161","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.161","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.161","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.161/manifests"},{"name":"v0.0.160","sha":"c7efb256743d3a5e35ffda21f09f6c32900ba69c","kind":"tag","published_at":"2024-06-13T08:46:37.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.160","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.160","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.160","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.160","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.160/manifests"},{"name":"v0.0.159","sha":"3826c1b6d09e1de2e5879a6a9d055d27b0e893bf","kind":"tag","published_at":"2024-06-06T08:46:23.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.159","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.159","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.159","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.159","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.159/manifests"},{"name":"v0.0.158-pre","sha":"81316c999e0f3e99386688d47455e30e7a6466e2","kind":"tag","published_at":"2024-06-05T14:17:22.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.158-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.158-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.158-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.158-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.158-pre/manifests"},{"name":"v0.0.157","sha":"aae48024225a2430dc60745d6605adcda8326eb9","kind":"tag","published_at":"2024-06-05T07:47:42.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.157","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.157","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.157","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.157","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.157/manifests"},{"name":"v0.0.156","sha":"b6c767fedad888f9794258afbc0929923c3d3690","kind":"tag","published_at":"2024-06-04T12:59:24.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.156","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.156","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.156","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.156","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.156/manifests"},{"name":"v0.0.155","sha":"a4d92e5c9354bfe4a92d915208137a5e98d43689","kind":"tag","published_at":"2024-05-27T11:23:48.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.155","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.155","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.155","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.155","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.155/manifests"},{"name":"v0.0.154-pre","sha":"a071ee7d258803d20335e25941ee6c66bf10ea54","kind":"tag","published_at":"2024-05-24T17:26:01.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.154-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.154-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.154-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.154-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.154-pre/manifests"},{"name":"v0.0.153-pre","sha":"c28668c32bd1146fe73da59a87a3fbb9ad424907","kind":"tag","published_at":"2024-05-24T15:22:07.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.153-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.153-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.153-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.153-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.153-pre/manifests"},{"name":"v0.0.152-pre","sha":"1e2d7f35fc36210da7b243f8c19070c862f2a0ea","kind":"tag","published_at":"2024-05-23T16:47:58.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.152-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.152-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.152-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.152-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.152-pre/manifests"},{"name":"v0.0.151-pre","sha":"7211ecaad9e261b4746ec46e82d80e413e5d6a62","kind":"tag","published_at":"2024-05-23T09:11:55.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.151-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.151-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.151-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.151-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.151-pre/manifests"},{"name":"v0.0.150-pre","sha":"9eaf1b61b4048079139319c3a2d7cfb059a0fc21","kind":"tag","published_at":"2024-05-16T16:11:59.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.150-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.150-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.150-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.150-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.150-pre/manifests"},{"name":"v0.0.149-pre","sha":"c68cf5369633aa30a643491834080639f89378a8","kind":"tag","published_at":"2024-05-16T16:04:11.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.149-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.149-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.149-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.149-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.149-pre/manifests"},{"name":"v0.0.148-pre","sha":"b539dc3b3a18316ba25d11b78763f52a4a70d741","kind":"tag","published_at":"2024-05-16T10:06:06.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.148-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.148-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.148-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.148-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.148-pre/manifests"},{"name":"v0.0.147-pre","sha":"9f694a1498bef9338daba4f7099d8ef88e74916f","kind":"tag","published_at":"2024-05-16T08:49:44.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.147-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.147-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.147-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.147-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.147-pre/manifests"},{"name":"v0.0.146-pre","sha":"12bf8654939a759a2a95199cc99e475ea738459e","kind":"tag","published_at":"2024-05-14T14:40:38.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.146-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.146-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.146-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.146-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.146-pre/manifests"},{"name":"v0.0.145-pre","sha":"a52a863bad53216da20b0828187f4fdeb14b8a12","kind":"tag","published_at":"2024-05-08T08:29:06.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.145-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.145-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.145-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.145-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.145-pre/manifests"},{"name":"v0.0.144","sha":"47f1e2c631e4a3d7f75da56c5d8c175f7cb49397","kind":"tag","published_at":"2024-05-06T08:47:11.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.144","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.144","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.144","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.144","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.144/manifests"},{"name":"v0.0.143-pre","sha":"411cd1d4d797f0cbd566e384f22ada45b759e08a","kind":"tag","published_at":"2024-04-26T16:46:03.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.143-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.143-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.143-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.143-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.143-pre/manifests"},{"name":"v0.0.142-pre","sha":"4f5dc8c729f4c8c5e61266a09c10f7996900389c","kind":"tag","published_at":"2024-04-19T11:21:58.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.142-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.142-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.142-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.142-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.142-pre/manifests"},{"name":"v0.0.141-pre","sha":"8edf7ff70cedcdd765d6ebe1660f924cb4aa3e8a","kind":"tag","published_at":"2024-04-19T09:16:40.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.141-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.141-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.141-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.141-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.141-pre/manifests"},{"name":"v0.0.140","sha":"77ec77ff64a642effac8f70ed1b295a9b8e2207e","kind":"tag","published_at":"2024-04-19T08:24:44.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.140","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.140","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.140","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.140","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.140/manifests"},{"name":"v0.0.139","sha":"8aaba94bf4730d4c58d4a19a3fd01afc3e97365c","kind":"tag","published_at":"2024-04-19T08:12:04.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.139","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.139","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.139","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.139","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.139/manifests"},{"name":"v0.0.138","sha":"7f9a5440c93daa4ed5378d8fe884c5fb27e59ccd","kind":"tag","published_at":"2024-04-03T15:24:33.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.138","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.138","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.138","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.138","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.138/manifests"},{"name":"v0.0.137","sha":"183133c0dc24b2290c6cba9c06393ae39837300f","kind":"tag","published_at":"2024-04-03T12:48:45.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.137","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.137","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.137","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.137","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.137/manifests"},{"name":"v0.0.136","sha":"4979a7fdbf0198e8b31e5fbca80c0526a498ca10","kind":"tag","published_at":"2024-03-27T16:49:52.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.136","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.136","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.136","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.136","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.136/manifests"},{"name":"v0.0.135","sha":"c060ecb1f45698f9614c80d24a8f5afc2c6020be","kind":"tag","published_at":"2024-03-20T09:53:32.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.135","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.135","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.135","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.135","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.135/manifests"},{"name":"v0.0.134","sha":"23e3fb89404140dc77e207c2fc9e4d8428a749b3","kind":"tag","published_at":"2024-03-19T09:27:05.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.134","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.134","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.134","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.134","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.134/manifests"},{"name":"v0.0.133","sha":"44dc11db0e083e5c2932a388fb20a969bf8ab828","kind":"tag","published_at":"2024-03-18T12:13:35.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.133","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.133","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.133","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.133","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.133/manifests"},{"name":"v0.0.132","sha":"c48a70fce3ffd28851e909893f3cafffb1c67c39","kind":"tag","published_at":"2024-03-18T10:07:24.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.132","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.132","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.132","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.132","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.132/manifests"},{"name":"v0.0.131","sha":"b5c73f37daefd6e040b953d9db356a1e7dbd8f87","kind":"tag","published_at":"2024-03-18T09:18:07.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.131","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.131","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.131","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.131","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.131/manifests"},{"name":"v0.0.130","sha":"403d4a343ca3217ede8977d5b83dc1f756cf1c9c","kind":"tag","published_at":"2024-03-14T08:59:42.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.130","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.130","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.130","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.130","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.130/manifests"},{"name":"v0.0.129","sha":"21c1ef09dd6831065da6a0e04f80e31982343990","kind":"tag","published_at":"2024-02-26T12:30:43.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.129","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.129","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.129","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.129","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.129/manifests"},{"name":"v0.0.128","sha":"9434a061189b8b0f64906429c9c6f99e8ceda360","kind":"tag","published_at":"2024-02-17T19:38:23.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.128","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.128","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.128","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.128","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.128/manifests"},{"name":"v0.0.127","sha":"c2b1918778b84162536d4a6533a9a8e6735c0c88","kind":"tag","published_at":"2024-01-31T09:50:47.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.127","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.127","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.127","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.127","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.127/manifests"},{"name":"v0.0.126","sha":"ca26dfb40e1a45acaabee16e5fe319825f3b29f5","kind":"tag","published_at":"2024-01-30T15:28:06.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.126","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.126","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.126","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.126","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.126/manifests"},{"name":"v0.0.125","sha":"d2e3351ebebb85f42d0093f6ea950921933848f7","kind":"tag","published_at":"2024-01-24T08:10:33.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.125","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.125","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.125","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.125","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.125/manifests"},{"name":"v0.0.124","sha":"2351c134b24c1b4a9b9f38608a899b1361832cc2","kind":"tag","published_at":"2024-01-17T10:59:07.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.124","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.124","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.124","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.124","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.124/manifests"},{"name":"v0.0.123","sha":"b3e8da84bc860ba4c2841f67cc29f5b0bfe94cba","kind":"tag","published_at":"2024-01-09T09:25:12.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.123","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.123","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.123","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.123","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.123/manifests"},{"name":"v0.0.122","sha":"17116780cbd58313455dba4756fbbb6bc9b8dcb3","kind":"tag","published_at":"2023-12-22T15:29:38.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.122","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.122","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.122","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.122","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.122/manifests"},{"name":"v0.0.121","sha":"063edd173bf63dafb5340bc8dc2ac49b56977c99","kind":"tag","published_at":"2023-11-27T13:44:15.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.121","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.121","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.121","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.121","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.121/manifests"},{"name":"v0.0.120","sha":"61b60a54c17d7176dc94d40f462eee008d1c8b6e","kind":"tag","published_at":"2023-11-27T10:55:34.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.120","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.120","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.120","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.120","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.120/manifests"},{"name":"v0.0.119","sha":"8d0cc34dcfa00da8b4a48394ba1fb3a600e3f985","kind":"tag","published_at":"2023-11-17T16:58:05.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.119","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.119","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.119","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.119","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.119/manifests"},{"name":"v0.0.118","sha":"2f3f44ee882bc1b822c2f0ed74abe7301adb0358","kind":"tag","published_at":"2023-10-31T17:29:06.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.118","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.118","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.118","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.118","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.118/manifests"},{"name":"v0.0.117","sha":"a79d9b401353259071ccccd674523f70ba3491a7","kind":"tag","published_at":"2023-10-23T16:05:12.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.117","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.117","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.117","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.117","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.117/manifests"},{"name":"v0.0.116-pre","sha":"0e98f2ee9121fbb8d1662379787ab96b8ef60df4","kind":"tag","published_at":"2023-10-18T12:50:31.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.116-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.116-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.116-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.116-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.116-pre/manifests"},{"name":"v0.0.115-pre","sha":"71e67ad9cc07375ad34e6f6e42a850aff8d36ec1","kind":"tag","published_at":"2023-10-18T12:08:09.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.115-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.115-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.115-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.115-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.115-pre/manifests"},{"name":"v0.0.114-pre","sha":"bdbb2224af139585392637336229bacb885a7ffd","kind":"tag","published_at":"2023-10-18T11:46:55.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.114-pre","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.114-pre","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.114-pre","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.114-pre","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.114-pre/manifests"},{"name":"v0.0.113","sha":"c93f2cf9563debf5e8ab459687d7816c7bb6d4b0","kind":"tag","published_at":"2023-10-17T14:15:20.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.113","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.113","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.113","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.113","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.113/manifests"},{"name":"v0.0.112","sha":"24c7ccdb43e64737b79b33e07507cfd7606ebdaf","kind":"tag","published_at":"2023-10-13T12:11:39.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.112","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.112","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.112","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.112","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.112/manifests"},{"name":"v0.0.111","sha":"ec47349165d999356dabdc101e6b8313b86f57af","kind":"tag","published_at":"2023-09-08T13:02:11.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.111","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.111","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.111","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.111","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.111/manifests"},{"name":"v0.0.110","sha":"6ef0bfa668bdeaad0979e6df10551d42fcc01094","kind":"tag","published_at":"2023-08-09T19:20:08.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.110","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.110","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.110","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.110","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.110/manifests"},{"name":"v0.0.109","sha":"0fbff43f5ff4bc5f568de1f69518b2076532dafa","kind":"tag","published_at":"2023-08-09T03:48:03.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.109","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.109","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.109","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.109","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.109/manifests"},{"name":"v0.0.108","sha":"072892acd0b2b5a9d673bd47cdaa30eba4c99f96","kind":"tag","published_at":"2023-08-01T23:23:33.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.108","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.108","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.108","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.108","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.108/manifests"},{"name":"v0.0.107","sha":"6f58bfa35364ebbcbbb9dd745965ec604a4a1400","kind":"tag","published_at":"2023-08-01T23:18:18.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.107","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.107","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.107","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.107","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.107/manifests"},{"name":"v0.0.106","sha":"2bb077a9fa28d839b691e7070ea6ba333d6f3fbe","kind":"tag","published_at":"2023-08-01T23:13:09.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.106","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.106","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.106","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.106","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.106/manifests"},{"name":"v0.0.105","sha":"d6f5b587d1d75d175c9897e1ebdaf1b1d04e9d6b","kind":"tag","published_at":"2023-08-01T23:10:43.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.105","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.105","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.105","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.105","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.105/manifests"},{"name":"v0.0.104","sha":"380f0d398b263b91532fb39df1b6aedc5292919b","kind":"tag","published_at":"2023-06-28T17:28:33.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.104","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.104","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.104","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.104","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.104/manifests"},{"name":"v0.0.103","sha":"3374fc13d2041300ae4415e8a6f9ae0a5da62d8c","kind":"tag","published_at":"2023-05-31T23:47:30.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.103","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.103","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.103","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.103","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.103/manifests"},{"name":"v0.0.102","sha":"232b31446d71a697ef66cc3f9cdd671e52631317","kind":"tag","published_at":"2023-04-07T02:43:13.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.102","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.102","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.102","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.102","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.102/manifests"},{"name":"v0.0.101","sha":"de0062c9e108270c8dbf649a77538f433721154e","kind":"tag","published_at":"2023-02-14T01:06:34.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.101","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.101","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.101","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.101","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.101/manifests"},{"name":"v0.0.100","sha":"e759a6c7e2c9a5f51826bfbcf749f574785f9f36","kind":"tag","published_at":"2023-01-15T01:41:22.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.100","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.100","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.100","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.100","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.100/manifests"},{"name":"v0.0.99","sha":"4baa888146028e53eab58d01a912f5c08a552229","kind":"tag","published_at":"2022-11-23T18:24:48.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.99","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.99","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.99","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.99","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.99/manifests"},{"name":"v0.0.98","sha":"01d514d61e75e23c231a9493194b607030294219","kind":"tag","published_at":"2022-11-17T04:49:57.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.98","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.98","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.98","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.98","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.98/manifests"},{"name":"v0.0.97","sha":"ad2eacf60e8a731a713351842619b40911303182","kind":"tag","published_at":"2022-11-02T04:22:43.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.97","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.97","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.97","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.97","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.97/manifests"},{"name":"v0.0.96","sha":"0423f5d9adcd3bea909f16561f09c85e91bdab5d","kind":"tag","published_at":"2022-10-31T18:01:43.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.96","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.96","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.96","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.96","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.96/manifests"},{"name":"v0.0.95","sha":"4bb174a258d36221bf40851ee80ae515ce8bce7b","kind":"tag","published_at":"2022-08-30T12:58:02.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.95","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.95","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.95","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.95","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.95/manifests"},{"name":"v0.0.94","sha":"8ce49db417b25006ba3d310e8a4e00febfdc92cc","kind":"tag","published_at":"2022-08-25T07:21:54.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.94","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.94","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.94","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.94","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.94/manifests"},{"name":"v0.0.93","sha":"92bd41376580e58215b570d0de64c80471b162ca","kind":"tag","published_at":"2022-08-22T17:59:55.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.93","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.93","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.93","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.93","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.93/manifests"},{"name":"v0.0.92","sha":"89b37d3f4c5df30ae51ba4aa7e45df366df4a686","kind":"tag","published_at":"2022-08-15T15:57:51.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.92","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.92","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.92","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.92","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.92/manifests"},{"name":"v0.0.91","sha":"35e337785875ba439b62e08164abf0aa5b0eb9e7","kind":"tag","published_at":"2022-08-10T08:39:27.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.91","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.91","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.91","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.91","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.91/manifests"},{"name":"v0.0.90","sha":"716d4097f3b863cc5e74cde2a694978b98553eff","kind":"tag","published_at":"2022-08-10T08:29:51.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.90","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.90","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.90","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.90","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.90/manifests"},{"name":"v0.0.89","sha":"ea414f9a9732e506b67ffc34c837a3101ab4ca1f","kind":"tag","published_at":"2022-08-06T13:07:28.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.89","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.89","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.89","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.89","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.89/manifests"},{"name":"v0.0.88","sha":"aa310e78d324e3d7d592e7a6681f4bbe0f38fa85","kind":"tag","published_at":"2022-08-05T17:13:29.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.88","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.88","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.88","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.88","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.88/manifests"},{"name":"v0.0.87","sha":"3a7ee21b5509d1a1902e2a0750c42bb84842bc6d","kind":"tag","published_at":"2022-07-25T18:42:37.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.87","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.87","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.87","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.87","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.87/manifests"},{"name":"v0.0.86","sha":"c21de2837448f176c76b9d4e527dad6a6d1dc665","kind":"tag","published_at":"2022-07-25T15:31:48.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.86","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.86","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.86","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.86","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.86/manifests"},{"name":"v0.0.85","sha":"0e2ba678361df2f44ceb0a125b4b326038cb6e30","kind":"tag","published_at":"2022-07-22T15:14:48.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.85","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.85","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.85","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.85","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.85/manifests"},{"name":"v0.0.84","sha":"8bb22cca9f96635ceeeed17442b55dfa7365b356","kind":"tag","published_at":"2022-07-16T19:13:31.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.84","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.84","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.84","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.84","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.84/manifests"},{"name":"v0.0.83","sha":"63188728429faa6d4d1be4fe146476fbcc421470","kind":"tag","published_at":"2022-07-12T21:04:48.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.83","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.83","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.83","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.83","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.83/manifests"},{"name":"v0.0.82","sha":"fb588389ff83946687b55b764d04628096079c43","kind":"tag","published_at":"2022-07-07T19:54:26.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.82","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.82","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.82","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.82","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.82/manifests"},{"name":"v0.0.81","sha":"8cacef56024b8f03c83c42cc0924d5be0fa84d86","kind":"tag","published_at":"2022-07-07T18:34:19.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.81","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.81","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.81","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.81","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.81/manifests"},{"name":"v0.0.80","sha":"1023cb104ad1741e4bb43978923d82d36c6841dc","kind":"tag","published_at":"2022-07-05T16:36:10.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.80","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.80","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.80","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.80","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.80/manifests"},{"name":"v0.0.79","sha":"98ee89b1291454ba824480d5ff216bee9a747dc5","kind":"tag","published_at":"2022-06-27T18:03:47.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.79","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.79","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.79","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.79","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.79/manifests"},{"name":"v0.0.78","sha":"ec6808b9134fc3e9fd4be262a23005bf94b2b6a8","kind":"tag","published_at":"2022-06-12T16:47:55.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.78","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.78","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.78","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.78","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.78/manifests"},{"name":"v0.0.77","sha":"890804c5e112461880b811f1ff6914da2e43708d","kind":"tag","published_at":"2022-06-01T14:52:37.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.77","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.77","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.77","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.77","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.77/manifests"},{"name":"v0.0.76","sha":"9190124bf116c5f11c1195ae10b1e2b06e8cbeee","kind":"tag","published_at":"2022-06-01T14:02:03.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.76","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.76","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.76","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.76","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.76/manifests"},{"name":"v0.0.75","sha":"0a3591d4da71ab810c0df24e8c45f84361d37e47","kind":"tag","published_at":"2022-05-26T11:17:29.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.75","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.75","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.75","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.75","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.75/manifests"},{"name":"v0.0.74","sha":"f897cb4a071a0c11ee62aefd2e33bf13ec045355","kind":"tag","published_at":"2022-05-20T11:13:22.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.74","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.74","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.74","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.74","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.74/manifests"},{"name":"v0.0.73","sha":"e5217dce3ad95bca22ef2571325c65f45ea09be2","kind":"tag","published_at":"2022-05-19T10:52:09.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.73","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.73","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.73","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.73","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.73/manifests"},{"name":"v0.0.72","sha":"e0fd88a4cc7927cb080cb274586fa5bca95a3500","kind":"tag","published_at":"2022-05-06T11:07:03.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.72","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.72","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.72","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.72","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.72/manifests"},{"name":"v0.0.71","sha":"ee082190162ee5e7f5d3f4fd86c63c74643de74f","kind":"tag","published_at":"2022-04-20T08:01:55.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.71","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.71","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.71","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.71","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.71/manifests"},{"name":"v0.0.70","sha":"49a2e1bcc8e21c372c5a904913c1a7616bb20950","kind":"tag","published_at":"2022-03-24T17:07:58.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.70","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.70","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.70","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.70","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.70/manifests"},{"name":"v0.0.69","sha":"c50a7ea90679b48d5b216847db39781cda5bb68e","kind":"tag","published_at":"2022-02-28T11:59:44.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.69","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.69","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.69","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.69","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.69/manifests"},{"name":"v0.0.68","sha":"4c3e48037d1a70bb4f6a86316949713b1d34df76","kind":"tag","published_at":"2022-02-15T18:49:46.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.68","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.68","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.68","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.68","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.68/manifests"},{"name":"v0.0.67","sha":"8206388caacc5bd0c36a19e0ac6cc6ca791fb6f0","kind":"tag","published_at":"2022-02-14T09:44:34.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.67","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.67","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.67","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.67","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.67/manifests"},{"name":"v0.0.66","sha":"f288fb244bafa3966a9db0dc5edfcca68f3f761d","kind":"tag","published_at":"2022-02-11T13:17:15.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.66","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.66","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.66","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.66","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.66/manifests"},{"name":"v0.0.65","sha":"15dd272bd82ec5698ad134c57ec908f40341fc67","kind":"tag","published_at":"2022-02-10T18:15:27.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.65","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.65","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.65","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.65","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.65/manifests"},{"name":"v0.0.64","sha":"3cbe3986b0223f539b809cddddfb6deec1db60cc","kind":"tag","published_at":"2022-02-10T13:55:44.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.64","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.64","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.64","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.64","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.64/manifests"},{"name":"v0.0.63","sha":"a63c60125db5c4dd7374ee17bb9797586bc6b8d7","kind":"tag","published_at":"2022-02-02T16:35:20.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.63","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.63","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.63","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.63","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.63/manifests"},{"name":"v0.0.62","sha":"80ff7d029f54cc11e8e9a963783f6f602dd6cf9d","kind":"tag","published_at":"2022-02-02T15:07:11.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.62","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.62","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.62","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.62","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.62/manifests"},{"name":"v0.0.61","sha":"6abeeb97da7e1f2374ff2a20f4e5e37f31c08fea","kind":"tag","published_at":"2022-01-31T19:58:34.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.61","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.61","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.61","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.61","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.61/manifests"},{"name":"v0.0.60","sha":"6469fafd56222bf8317b1749e429038d31139fc6","kind":"tag","published_at":"2022-01-31T17:07:47.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.60","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.60","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.60","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.60","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.60/manifests"},{"name":"v0.0.59","sha":"579d7215c95461c7ae8eb1f5a278f0135dea2c32","kind":"tag","published_at":"2022-01-31T09:12:49.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.59","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.59","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.59","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.59","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.59/manifests"},{"name":"v0.0.58","sha":"a243e5ae63cc95afade5929db23fed6fe2345d48","kind":"tag","published_at":"2022-01-27T10:38:41.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.58","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.58","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.58","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.58","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.58/manifests"},{"name":"v0.0.57","sha":"9eeb84a13d857d72c52b17f23af1db72758d1e6b","kind":"tag","published_at":"2022-01-24T12:48:47.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.57","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.57","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.57","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.57","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.57/manifests"},{"name":"v0.0.56","sha":"a701ac2a9c653df6744a43bd40eaec2630d40b75","kind":"tag","published_at":"2022-01-14T14:09:20.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.56","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.56","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.56","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.56","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.56/manifests"},{"name":"v0.0.55","sha":"d7daeea067e7faabcec62604cb751ce758f99a76","kind":"tag","published_at":"2022-01-12T19:12:58.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.55","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.55","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.55","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.55","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.55/manifests"},{"name":"v0.0.54","sha":"e4bfaf1e5f5af2a7993b43ff9895bdecd98fe4db","kind":"tag","published_at":"2022-01-09T11:30:08.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.54","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.54","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.54","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.54","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.54/manifests"},{"name":"v0.0.53","sha":"841bcd0e6ff7883ad21a1f25751d270406b0be00","kind":"tag","published_at":"2022-01-03T16:04:00.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.53","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.53","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.53","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.53","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.53/manifests"},{"name":"v0.0.52","sha":"e425deb48598c02de6e3a49e64c08a5edf653536","kind":"tag","published_at":"2022-01-03T16:00:51.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.52","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.52","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.52","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.52","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.52/manifests"},{"name":"v0.0.51","sha":"a324b686103ff050e88498eb42a04775cef7f4de","kind":"tag","published_at":"2021-12-27T18:34:28.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.51","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.51","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.51","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.51","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.51/manifests"},{"name":"v0.0.50","sha":"5653ff075f40b7e9577157519742d8277c430975","kind":"tag","published_at":"2021-12-13T11:17:51.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.50","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.50","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.50","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.50","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.50/manifests"},{"name":"v0.0.49","sha":"b9836570167d42ce3b75b6c21336a8b42e10e4c3","kind":"tag","published_at":"2021-12-03T16:01:35.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.49","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.49","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.49","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.49","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.49/manifests"},{"name":"v0.0.48","sha":"e92a45091ba15e9b86d77a24c0e004be73eadb41","kind":"tag","published_at":"2021-11-26T10:30:55.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.48","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.48","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.48","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.48","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.48/manifests"},{"name":"v0.0.47","sha":"4e7f1875548c588f9052f2685a959e6c2321f2c6","kind":"tag","published_at":"2021-11-17T11:25:22.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.47","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.47","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.47","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.47","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.47/manifests"},{"name":"v0.0.46","sha":"0bf6e84521768c7b1c08cc990b4ee5078382bed0","kind":"tag","published_at":"2021-11-08T17:35:48.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.46","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.46","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.46","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.46","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.46/manifests"},{"name":"v0.0.45","sha":"4286a742601bf44f425e888a8d2ae25aa37625fa","kind":"tag","published_at":"2021-11-05T09:22:21.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.45","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.45","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.45","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.45","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.45/manifests"},{"name":"v0.0.44","sha":"783077300a996e590271633d3a65fe33303d68b4","kind":"tag","published_at":"2021-11-03T09:39:48.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.44","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.44","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.44","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.44","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.44/manifests"},{"name":"v0.0.43","sha":"8cb72112a9f68e528984ea093c7bc5efa86eb713","kind":"tag","published_at":"2021-11-02T09:29:50.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.43","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.43","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.43","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.43","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.43/manifests"},{"name":"v0.0.42","sha":"38a8c3fe7def7fc4ca02474a0138b29776284293","kind":"tag","published_at":"2021-11-01T11:10:41.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.42","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.42","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.42","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.42","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.42/manifests"},{"name":"v0.0.41","sha":"0f6b6d169aaecf489d754adfc350a553af58d981","kind":"tag","published_at":"2021-10-26T09:30:50.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.41","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.41","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.41","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.41","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.41/manifests"},{"name":"v0.0.40","sha":"c387eab150b988a47956192b0fc48e950f6c1fca","kind":"tag","published_at":"2021-10-21T07:37:48.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.40","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.40","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.40","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.40","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.40/manifests"},{"name":"v0.0.39","sha":"6510b32473fe589f0a1c36d7fc12d77a6956ea05","kind":"tag","published_at":"2021-10-20T17:59:07.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.39","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.39","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.39","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.39","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.39/manifests"},{"name":"v0.0.38","sha":"ec38311418c92a95dfd8895bc28470140617a3c0","kind":"tag","published_at":"2021-10-20T17:51:03.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.38","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.38","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.38","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.38","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.38/manifests"},{"name":"v0.0.37","sha":"dd37bb995453357ad68c2b61a62e08253b5f9454","kind":"tag","published_at":"2021-10-18T08:58:45.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.37","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.37","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.37","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.37","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.37/manifests"},{"name":"v0.0.36","sha":"b88795134ba938d285bd896c33225f366fa46eed","kind":"tag","published_at":"2021-10-05T13:33:25.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.36","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.36","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.36","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.36","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.36/manifests"},{"name":"v0.0.35","sha":"0ecaef8f7801928c217ceaabf22735bb57747aef","kind":"tag","published_at":"2021-09-29T16:36:59.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.35","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.35","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.35","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.35","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.35/manifests"},{"name":"v0.0.34","sha":"a42033585dcee20998643cd49907a724d1a50aae","kind":"tag","published_at":"2021-09-29T11:32:27.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.34","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.34","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.34","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.34","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.34/manifests"},{"name":"v0.0.33","sha":"d5f1926be34e73af23d551be779a5b98e721e0ba","kind":"tag","published_at":"2021-07-17T06:55:31.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.33","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.33","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.33","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.33","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.33/manifests"},{"name":"v0.0.32","sha":"627e75a8641df49348036e78fd717a3165913bd2","kind":"tag","published_at":"2021-07-14T12:37:04.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.32","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.32","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.32","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.32","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.32/manifests"},{"name":"v0.0.31","sha":"0d834ab33bc8fb8a7627912519edf2f9ab9fc083","kind":"tag","published_at":"2021-06-07T13:55:51.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.31","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.31","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.31","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.31","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.31/manifests"},{"name":"v0.0.30","sha":"40a07756b9c35bd974566dc65961b57ce5e0e7fd","kind":"tag","published_at":"2021-06-04T13:01:28.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.30","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.30","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.30","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.30","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.30/manifests"},{"name":"v0.0.29","sha":"c1e6887671bfa5ef8ba3f2c36b2e4b0db60b271c","kind":"tag","published_at":"2021-06-04T12:35:46.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.29","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.29","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.29","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.29","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.29/manifests"},{"name":"v0.0.28","sha":"29fed61f9f3232ac868b09e5c408da1a0be8d79c","kind":"tag","published_at":"2021-05-26T20:07:19.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.28","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.28","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.28","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.28","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.28/manifests"},{"name":"v0.0.27","sha":"7ccefb1c0dd8905c302ded98343846d55b3871c3","kind":"tag","published_at":"2021-05-26T15:34:39.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.27","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.27","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.27","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.27","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.27/manifests"},{"name":"v0.0.26","sha":"2a6c78bd7fefb5c9af148666797bae409eeb244f","kind":"tag","published_at":"2021-05-10T13:45:33.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.26","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.26","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.26","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.26","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.26/manifests"},{"name":"v0.0.25","sha":"122c7e391ee49742e0006473528a3e87a5a562ba","kind":"tag","published_at":"2021-04-28T19:07:27.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.25","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.25","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.25","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.25","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.25/manifests"},{"name":"v0.0.24","sha":"fe305e0f673ba3fad169b4fae5998bcdca75eedd","kind":"tag","published_at":"2021-04-20T14:00:34.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.24","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.24","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.24","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.24","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.24/manifests"},{"name":"v0.0.23","sha":"578f51f121f70c669f5a0ea0408ba29f73315b6c","kind":"tag","published_at":"2021-04-07T16:12:04.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.23","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.23","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.23","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.23","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.23/manifests"},{"name":"v0.0.22","sha":"36e1bdac2650a7cf0e50263f625ba4df85410d72","kind":"tag","published_at":"2021-04-07T15:32:32.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.22","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.22","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.22","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.22","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.22/manifests"},{"name":"v0.0.21","sha":"702d1d209aac42fa84845c0a24220a03521b346a","kind":"tag","published_at":"2021-04-07T12:39:20.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.21","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.21","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.21","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.21","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.21/manifests"},{"name":"v0.0.20","sha":"1addb45019fc2b9546a6d281e76ce58f70d8ffa5","kind":"tag","published_at":"2021-03-26T17:18:42.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.20","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.20","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.20","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.20","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.20/manifests"},{"name":"v0.0.19","sha":"273dab2584b438e2c66270d0478abedf4e9c95e9","kind":"tag","published_at":"2021-03-26T15:12:25.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.19","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.19","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.19","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.19","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.19/manifests"},{"name":"v0.0.18","sha":"ad55e21ee64a47da61d3739db70272f9d34d4e81","kind":"tag","published_at":"2021-03-25T14:28:40.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.18","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.18","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.18","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.18","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.18/manifests"},{"name":"v0.0.17","sha":"7facf2002134e719a82879f6d49ca4d8daeb9024","kind":"tag","published_at":"2021-03-25T14:19:41.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.17","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.17","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.17","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.17","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.17/manifests"},{"name":"v0.0.16","sha":"a2bb278390fd85f2c66e878481f6cfd976a8baa1","kind":"tag","published_at":"2021-03-24T14:39:46.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.16","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.16","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.16","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.16","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.16/manifests"},{"name":"v0.0.15","sha":"936b5673d371e79a8a58fbadd3996b764ae8788c","kind":"tag","published_at":"2021-03-24T13:53:16.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.15","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.15","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.15","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.15","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.15/manifests"},{"name":"v0.0.14","sha":"f4ce3a526cbcc88f28b216294e55217fa17d7776","kind":"tag","published_at":"2021-03-22T17:11:06.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.14","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.14","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.14","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.14","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.14/manifests"},{"name":"v0.0.13","sha":"e54702e705e3f5234fbb0808e9e0f5fb24d88b11","kind":"tag","published_at":"2021-03-22T17:04:45.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.13","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.13","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.13","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.13","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.13/manifests"},{"name":"v0.0.12","sha":"1822fbc97da35fa3502a1826826fe69e11deecbf","kind":"tag","published_at":"2021-03-11T18:48:46.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.12","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.12","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.12","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.12","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.12/manifests"},{"name":"v0.0.11","sha":"88d8d9e66f3b8389d2327dccaf09b36c0a41c76a","kind":"tag","published_at":"2021-03-11T17:53:13.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.11","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.11","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.11","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.11","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.11/manifests"},{"name":"v0.0.10","sha":"650f8814a7c8126f68de5b0a87d1788a38767ddb","kind":"tag","published_at":"2021-03-11T16:22:54.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.10","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.10","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.10","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.10","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.10/manifests"},{"name":"v0.0.9","sha":"8c28df7ce53f0164af83c252df025c768a79a01a","kind":"tag","published_at":"2021-03-11T13:20:36.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.9","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.9","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.9","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.9","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.9/manifests"},{"name":"v0.0.8","sha":"63300c362699134c96f83ae100e65a1fee04bebc","kind":"tag","published_at":"2021-03-10T13:42:41.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.8","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.8","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.8","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.8/manifests"},{"name":"v0.0.7","sha":"68e6e789e4defa3501ece078dd89432422caa185","kind":"tag","published_at":"2021-02-20T17:03:45.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.7","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.7/manifests"},{"name":"v0.0.6","sha":"646f07b74f180a87136d2e95df4adda2a3ce824a","kind":"tag","published_at":"2021-02-12T12:05:41.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.6","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.6/manifests"},{"name":"v0.0.5","sha":"66238e3607d017587f7abab242c6e6e8c9f40ef4","kind":"tag","published_at":"2021-02-02T18:16:02.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.5","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.5/manifests"},{"name":"v0.0.4","sha":"897b891e05e0b8fd0d58697b91ac9716cbb2e461","kind":"tag","published_at":"2021-01-29T10:32:29.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.4","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.4/manifests"},{"name":"v0.0.3","sha":"db586ef67d91c9a78f7ba42d0b82399b8b463d54","kind":"tag","published_at":"2021-01-27T11:24:05.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.3","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.3/manifests"},{"name":"v0.0.2","sha":"24da3a0acbb25051a17179c6dc74cf196700bb40","kind":"tag","published_at":"2021-01-26T09:53:28.000Z","download_url":"https://codeload.github.com/leanprover/vscode-lean4/tar.gz/v0.0.2","html_url":"https://github.com/leanprover/vscode-lean4/releases/tag/v0.0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/leanprover/vscode-lean4@v0.0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/tags/v0.0.2/manifests"}]},"repo_metadata_updated_at":"2026-09-25T19:23:25.893Z","dependent_packages_count":0,"downloads":null,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":30.016359027310198,"dependent_packages_count":42.963137360753514,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":36.489748194031854},"purl":"pkg:npm/%40joneugster/lean4","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/npm/@joneugster/lean4","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/npm/@joneugster/lean4","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/npm/@joneugster/lean4/dependencies","status":"removed","funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2026-09-24T09:39:49.064Z","issues_count":159,"pull_requests_count":489,"avg_time_to_close_issue":14835428.245283019,"avg_time_to_close_pull_request":1384113.3263403263,"issues_closed_count":106,"pull_requests_closed_count":429,"pull_request_authors_count":59,"issue_authors_count":71,"avg_comments_per_issue":2.1446540880503147,"avg_comments_per_pull_request":0.7770961145194274,"merged_pull_requests_count":390,"bot_issues_count":0,"bot_pull_requests_count":3,"past_year_issues_count":13,"past_year_pull_requests_count":76,"past_year_avg_time_to_close_issue":590730.0,"past_year_avg_time_to_close_pull_request":602298.7,"past_year_issues_closed_count":4,"past_year_pull_requests_closed_count":60,"past_year_pull_request_authors_count":16,"past_year_issue_authors_count":12,"past_year_avg_comments_per_issue":2.6153846153846154,"past_year_avg_comments_per_pull_request":0.25,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":3,"past_year_merged_pull_requests_count":57,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/leanprover%2Fvscode-lean4/issues","maintainers":[{"login":"mhuisi","count":310,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mhuisi"},{"login":"Vtec234","count":38,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Vtec234"},{"login":"gebner","count":20,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/gebner"},{"login":"Kha","count":12,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Kha"},{"login":"tydeu","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/tydeu"},{"login":"TwoFX","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/TwoFX"}],"active_maintainers":[{"login":"mhuisi","count":51,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/mhuisi"},{"login":"Vtec234","count":7,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/Vtec234"},{"login":"tydeu","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/tydeu"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@joneugster%2Flean4/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@joneugster%2Flean4/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@joneugster%2Flean4/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@joneugster%2Flean4/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@joneugster%2Flean4/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/packages/@joneugster%2Flean4/codemeta","maintainers":[{"uuid":"joneugster","login":"joneugster","name":null,"email":"eugster.jon@gmail.com","url":null,"packages_count":4,"html_url":"https://www.npmjs.com/~joneugster","role":null,"created_at":"2024-05-02T12:12:20.730Z","updated_at":"2024-05-02T12:12:20.730Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/npmjs.org/maintainers/joneugster/packages"}]}