{"id":202394,"name":null,"description":"Action for installing Dafny","url":"https://github.com/dafny-lang/setup-dafny-action","last_synced_at":"2025-09-11T07:57:48.449Z","repository":{"id":44519219,"uuid":"343278301","full_name":"dafny-lang/setup-dafny-action","owner":"dafny-lang","description":"Action for installing Dafny","archived":false,"fork":false,"pushed_at":"2025-05-23T22:49:31.000Z","size":246,"stargazers_count":3,"open_issues_count":9,"forks_count":5,"subscribers_count":9,"default_branch":"main","last_synced_at":"2025-08-30T14:31:44.754Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"JavaScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dafny-lang.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}},"created_at":"2021-03-01T03:26:33.000Z","updated_at":"2025-05-23T22:38:00.000Z","dependencies_parsed_at":"2025-04-13T20:15:18.410Z","dependency_job_id":"c3b796b2-efe1-4317-9f2d-aac92c1a41bf","html_url":"https://github.com/dafny-lang/setup-dafny-action","commit_stats":{"total_commits":27,"total_committers":4,"mean_commits":6.75,"dds":0.2222222222222222,"last_synced_commit":"354cbb4bf39c778e8ed4e885d92afa74d9a9836b"},"previous_names":[],"tags_count":19,"template":false,"template_full_name":null,"purl":"pkg:github/dafny-lang/setup-dafny-action","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dafny-lang","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/sbom","scorecard":{"id":316758,"data":{"date":"2025-08-11","repo":{"name":"github.com/dafny-lang/setup-dafny-action","commit":"ca6d80d54f75814a360f4ef06c383d39876fa028"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.8,"checks":[{"name":"Code-Review","score":7,"reason":"Found 14/19 approved changesets -- score normalized to 7","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Maintained","score":0,"reason":"1 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/main.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: MIT License: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Pinned-Dependencies","score":4,"reason":"dependency not pinned by hash detected -- score normalized to 4","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/main.yml:34: update your workflow using https://app.stepsecurity.io/secureworkflow/dafny-lang/setup-dafny-action/main.yml/main?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/main.yml:66: update your workflow using https://app.stepsecurity.io/secureworkflow/dafny-lang/setup-dafny-action/main.yml/main?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/main.yml:82: update your workflow using https://app.stepsecurity.io/secureworkflow/dafny-lang/setup-dafny-action/main.yml/main?enable=pin","Info:   0 out of   2 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   1 third-party GitHubAction dependencies pinned","Info:   1 out of   1 npmCommand dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 25 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}},{"name":"Vulnerabilities","score":0,"reason":"11 existing vulnerabilities detected","details":["Warn: Project is vulnerable to: GHSA-v6h2-p8h4-qcjw","Warn: Project is vulnerable to: GHSA-grv7-fg5c-xmjg","Warn: Project is vulnerable to: GHSA-3xgq-45jj-v275","Warn: Project is vulnerable to: GHSA-4q6p-r6v2-jvc5","Warn: Project is vulnerable to: GHSA-9c47-m6qq-7p4h","Warn: Project is vulnerable to: GHSA-952p-6rrq-rcjv","Warn: Project is vulnerable to: GHSA-mwcw-c2x4-8c55","Warn: Project is vulnerable to: GHSA-c2qf-rxjj-qqgw","Warn: Project is vulnerable to: GHSA-76p7-773f-r4q5","Warn: Project is vulnerable to: GHSA-j8xg-fqg3-53r7","Warn: Project is vulnerable to: GHSA-f9xv-q969-pqx4"],"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}}]},"last_synced_at":"2025-08-18T00:22:01.737Z","repository_id":44519219,"created_at":"2025-08-18T00:22:01.738Z","updated_at":"2025-08-18T00:22:01.738Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274598324,"owners_count":25314439,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-11T02:00:13.660Z","response_time":74,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"dafny-lang","name":"Dafny","uuid":"52358127","kind":"organization","description":"Dafny is a verification-aware programming language","email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/52358127?v=4","repositories_count":13,"last_synced_at":"2023-03-03T04:15:52.605Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/dafny-lang","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-13T17:05:52.961Z","updated_at":"2023-03-03T04:15:52.723Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dafny-lang","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dafny-lang/repositories"},"packages":[{"id":5803116,"name":"dafny-lang/setup-dafny-action","ecosystem":"actions","description":"Install a packaged release of Dafny","homepage":"","licenses":"mit","normalized_licenses":["MIT"],"repository_url":"https://github.com/dafny-lang/setup-dafny-action","keywords_array":[],"namespace":"dafny-lang","versions_count":18,"first_release_published_at":"2021-03-01T13:10:25.000Z","latest_release_published_at":"2025-05-23T22:37:56.000Z","latest_release_number":"v1.9.0","last_synced_at":"2025-08-30T14:22:03.376Z","created_at":"2023-01-04T14:16:09.572Z","updated_at":"2025-08-30T14:22:03.376Z","registry_url":"https://github.com/dafny-lang/setup-dafny-action","install_command":null,"documentation_url":null,"metadata":{"name":"Install Dafny","description":"Install a packaged release of Dafny","branding":{"icon":"check-circle","color":"green"},"inputs":{"dafny-version":{"description":"Dafny version to install","required":true,"default":"3.1.0"},"build-from-source":{"description":"dafny-lang/dafny commit-ish to build","required":false}},"runs":{"using":"composite","steps":[{"uses":"actions/setup-dotnet@v4","with":{"dotnet-version":"8.0.x"}},{"uses":"actions/setup-dotnet@v4","with":{"dotnet-version":"6.0.x"}},{"if":"${{ !inputs.build-from-source }}","uses":"actions/setup-node@v4","with":{"node-version":16}},{"if":"${{ !inputs.build-from-source }}","run":"node $GITHUB_ACTION_PATH/dist/index.js","shell":"bash","env":{"INPUT_DAFNY-VERSION":"${{ inputs.dafny-version }}"}},{"if":"${{ inputs.build-from-source }}","uses":"dafny-lang/setup-dafny-from-source-action@v1","with":{"dafny-version":"${{ inputs.dafny-version }}","ref":"${{ inputs.build-from-source }}"}}]},"default_branch":"main","path":null},"repo_metadata":{"id":44519219,"uuid":"343278301","full_name":"dafny-lang/setup-dafny-action","owner":"dafny-lang","description":"Action for installing Dafny","archived":false,"fork":false,"pushed_at":"2025-05-23T18:54:24.000Z","size":238,"stargazers_count":3,"open_issues_count":10,"forks_count":5,"subscribers_count":9,"default_branch":"main","last_synced_at":"2025-05-23T19:24:51.032Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"JavaScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dafny-lang.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}},"created_at":"2021-03-01T03:26:33.000Z","updated_at":"2025-02-27T12:42:35.000Z","dependencies_parsed_at":"2025-04-13T20:15:18.410Z","dependency_job_id":"c3b796b2-efe1-4317-9f2d-aac92c1a41bf","html_url":"https://github.com/dafny-lang/setup-dafny-action","commit_stats":{"total_commits":27,"total_committers":4,"mean_commits":6.75,"dds":0.2222222222222222,"last_synced_commit":"354cbb4bf39c778e8ed4e885d92afa74d9a9836b"},"previous_names":[],"tags_count":18,"template":false,"template_full_name":null,"purl":"pkg:github/dafny-lang/setup-dafny-action","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dafny-lang","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":262073095,"owners_count":23254365,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":"dafny-lang","name":"Dafny","uuid":"52358127","kind":"organization","description":"Dafny is a verification-aware programming language","email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/52358127?v=4","repositories_count":13,"last_synced_at":"2023-03-03T04:15:52.605Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/dafny-lang","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-13T17:05:52.961Z","updated_at":"2023-03-03T04:15:52.723Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dafny-lang","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dafny-lang/repositories"},"tags":[{"name":"v1.9.0","sha":"ca6d80d54f75814a360f4ef06c383d39876fa028","kind":"commit","published_at":"2025-05-23T22:37:56.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.9.0","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.9.0","dependencies_parsed_at":"2025-05-25T05:20:45.302Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.9.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.9.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.9.0/manifests"},{"name":"v1.8.0","sha":"3d43eaced0846e94c9c94b276d904f199232c179","kind":"commit","published_at":"2024-08-07T09:07:55.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.8.0","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.8.0","dependencies_parsed_at":"2024-08-10T04:14:13.683Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.8.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.8.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.8.0/manifests"},{"name":"v1.7.2","sha":"b215b15e4c9d6cd8bacb5e6f48c80b6d08ab3d22","kind":"commit","published_at":"2024-07-22T17:58:54.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.7.2","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.7.2","dependencies_parsed_at":"2024-07-23T04:03:44.257Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.7.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.7.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.7.2/manifests"},{"name":"v1.7.1","sha":"367c70fa31bedc03519aeb880cd0a1318679d3b9","kind":"commit","published_at":"2024-07-15T00:10:53.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.7.1","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.7.1","dependencies_parsed_at":"2024-07-16T04:12:14.994Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.7.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.7.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.7.1/manifests"},{"name":"v1.7.0","sha":"f2a62432e820c6b0519d308c440b88d7eee411e4","kind":"commit","published_at":"2023-10-31T20:44:38.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.7.0","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.7.0","dependencies_parsed_at":"2023-11-04T04:18:38.300Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.7.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.7.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.7.0/manifests"},{"name":"v1.6.1","sha":"354cbb4bf39c778e8ed4e885d92afa74d9a9836b","kind":"commit","published_at":"2023-03-03T21:39:40.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.6.1","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.6.1","dependencies_parsed_at":"2023-06-02T11:22:56.315Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.6.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.6.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.6.1/manifests"},{"name":"v1.6.0","sha":"ef97afb56ca7aa7a96cb88917f3ca6f7ab170197","kind":"commit","published_at":"2023-02-16T16:14:46.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.6.0","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.6.0","dependencies_parsed_at":"2023-06-02T10:53:53.319Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.6.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.6.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.6.0/manifests"},{"name":"v1.5.0","sha":"6f0cccf8592cda5993e5bb8d658522a3d48fbb0d","kind":"commit","published_at":"2022-11-09T21:51:29.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.5.0","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.5.0","dependencies_parsed_at":"2023-06-01T10:57:45.247Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.5.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.5.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.5.0/manifests"},{"name":"v1.4.0","sha":"b76470dfe25ff6cf3ec3b374c880954c12c563e0","kind":"commit","published_at":"2022-10-03T17:24:41.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.4.0","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.4.0","dependencies_parsed_at":"2023-06-01T10:57:46.292Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.4.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.4.0/manifests"},{"name":"v1.3.2","sha":"a35e82a7b4e9640785f0a1282182b5a13aa82d38","kind":"commit","published_at":"2021-05-19T15:03:50.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.3.2","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.3.2","dependencies_parsed_at":"2023-05-31T12:25:14.999Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.3.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.3.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.3.2/manifests"},{"name":"v1","sha":"2ebdea394b05dc0f35b5a6a5e24c28f9c248558c","kind":"commit","published_at":"2021-05-19T15:00:16.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1","dependencies_parsed_at":"2023-05-31T12:25:16.180Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1/manifests"},{"name":"v1.3.1","sha":"2ebdea394b05dc0f35b5a6a5e24c28f9c248558c","kind":"commit","published_at":"2021-05-19T15:00:16.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.3.1","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.3.1","dependencies_parsed_at":"2023-05-31T12:25:15.215Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.3.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.3.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.3.1/manifests"},{"name":"v1.3.0","sha":"79782fd75a24ed9b396ec1f036930e2dc93c5e79","kind":"commit","published_at":"2021-05-19T14:57:33.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.3.0","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.3.0","dependencies_parsed_at":"2023-05-31T12:25:15.447Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.3.0/manifests"},{"name":"v1.2.1","sha":"ec86ef2cc4a6e2e77923aea55678d1c611b1d259","kind":"commit","published_at":"2021-05-19T13:44:25.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.2.1","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.2.1","dependencies_parsed_at":"2023-05-31T12:25:15.584Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.2.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.2.1/manifests"},{"name":"v1.2.0","sha":"23dc9644ec16c0ba8c743f303885205a4aae0b3d","kind":"commit","published_at":"2021-05-19T13:41:05.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.2.0","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.2.0","dependencies_parsed_at":"2023-05-31T12:25:15.675Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.2.0/manifests"},{"name":"v1.1.1","sha":"d953e9df3d79a4cb8d724ae5a90aa7efaa786c8a","kind":"commit","published_at":"2021-05-19T13:36:58.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.1.1","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.1.1","dependencies_parsed_at":"2023-05-31T12:25:15.810Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.1.1/manifests"},{"name":"v1.1.0","sha":"67d9b7d02ca51aace4a211246b6ca56fc660b32a","kind":"commit","published_at":"2021-04-23T13:56:04.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.1.0","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.1.0","dependencies_parsed_at":"2023-05-31T12:25:16.368Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.1.0/manifests"},{"name":"v1.0.0","sha":"61ff5bb6a493773ff9578a249fb0b2c74a46ec44","kind":"commit","published_at":"2021-03-01T13:10:25.000Z","download_url":"https://codeload.github.com/dafny-lang/setup-dafny-action/tar.gz/v1.0.0","html_url":"https://github.com/dafny-lang/setup-dafny-action/releases/tag/v1.0.0","dependencies_parsed_at":"2023-05-31T12:25:16.537Z","dependency_job_id":null,"purl":"pkg:github/dafny-lang/setup-dafny-action@v1.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/tags/v1.0.0/manifests"}]},"repo_metadata_updated_at":"2025-06-26T13:19:13.937Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":9,"rankings":{"downloads":null,"dependent_repos_count":12.631912533671366,"dependent_packages_count":0.0,"stargazers_count":34.63476469656156,"forks_count":11.015686895896055,"docker_downloads_count":null,"average":14.570591031532246},"purl":"pkg:githubactions/dafny-lang/setup-dafny-action","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/actions/dafny-lang/setup-dafny-action","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/actions/dafny-lang/setup-dafny-action","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/actions/dafny-lang/setup-dafny-action/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-04-13T20:15:09.685Z","issues_count":11,"pull_requests_count":19,"avg_time_to_close_issue":680729.8333333334,"avg_time_to_close_pull_request":272882.14285714284,"issues_closed_count":6,"pull_requests_closed_count":14,"pull_request_authors_count":6,"issue_authors_count":5,"avg_comments_per_issue":0.9090909090909091,"avg_comments_per_pull_request":0.47368421052631576,"merged_pull_requests_count":13,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":1,"past_year_pull_requests_count":10,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":372629.85714285716,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":7,"past_year_pull_request_authors_count":4,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":0.0,"past_year_avg_comments_per_pull_request":0.3,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":6,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/issues","maintainers":[{"login":"robin-aws","count":17,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/robin-aws"},{"login":"seebees","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/seebees"},{"login":"atomb","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/atomb"}],"active_maintainers":[{"login":"robin-aws","count":5,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/robin-aws"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/github%20actions/packages/dafny-lang%2Fsetup-dafny-action/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/github%20actions/packages/dafny-lang%2Fsetup-dafny-action/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/github%20actions/packages/dafny-lang%2Fsetup-dafny-action/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/github%20actions/packages/dafny-lang%2Fsetup-dafny-action/related_packages","maintainers":[],"registry":{"name":"github actions","url":"https://github.com/marketplace/actions/","ecosystem":"actions","default":true,"packages_count":32199,"maintainers_count":0,"namespaces_count":20215,"keywords_count":6166,"github":"actions","metadata":{"funded_packages_count":2676},"icon_url":"https://github.com/actions.png","created_at":"2023-01-03T17:16:39.185Z","updated_at":"2025-09-11T05:02:14.465Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/github%20actions/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/github%20actions/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/github%20actions/namespaces"}}],"commits":{"id":474465,"full_name":"dafny-lang/setup-dafny-action","default_branch":"main","committers":[{"name":"Tej Chajed","email":"tchajed@mit.edu","count":21},{"name":"Robin Salkeld","email":"salkeldr@amazon.com","count":4},{"name":"seebees","email":"ryanemer@amazon.com","count":1},{"name":"Aaron Tomb","email":"aarontomb@gmail.com","count":1}],"total_commits":27,"total_committers":4,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":6.75,"dds":0.2222222222222222,"past_year_committers":null,"past_year_total_commits":null,"past_year_total_committers":null,"past_year_total_bot_commits":null,"past_year_total_bot_committers":null,"past_year_mean_commits":null,"past_year_dds":null,"last_synced_at":"2023-03-17T08:47:46.630Z","last_synced_commit":"354cbb4bf39c778e8ed4e885d92afa74d9a9836b","created_at":"2023-03-09T01:04:05.378Z","updated_at":"2023-09-19T16:58:48.952Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-11T02:23:18.710Z","repositories_count":5576069,"commits_count":889549374,"contributors_count":33118335,"owners_count":922592,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"dafny-lang/setup-dafny-action","html_url":"https://github.com/dafny-lang/setup-dafny-action","last_synced_at":"2025-08-31T11:11:21.978Z","status":null,"issues_count":11,"pull_requests_count":23,"avg_time_to_close_issue":680729.8333333334,"avg_time_to_close_pull_request":1407136.0,"issues_closed_count":6,"pull_requests_closed_count":18,"pull_request_authors_count":6,"issue_authors_count":5,"avg_comments_per_issue":0.9090909090909091,"avg_comments_per_pull_request":0.4782608695652174,"merged_pull_requests_count":16,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":10,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":3181564.1428571427,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":7,"past_year_pull_request_authors_count":3,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":0.2,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":5,"created_at":"2023-05-11T00:10:53.742Z","updated_at":"2025-09-02T14:19:55.270Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/dafny-lang%2Fsetup-dafny-action/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{"MEMBER":7,"NONE":2,"COLLABORATOR":2},"pull_request_author_associations_count":{"MEMBER":16,"CONTRIBUTOR":9,"NONE":2,"COLLABORATOR":1},"issue_authors":{"robin-aws":6,"seebees":2,"davidcok":1,"DavePearce":1,"atomb":1},"pull_request_authors":{"robin-aws":15,"ssomayyajula":8,"josecorella":2,"atomb":1,"seebees":1,"stefan-aws":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-11T00:00:09.407Z","repositories_count":10235011,"issues_count":32583100,"pull_requests_count":103219565,"authors_count":10756197,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{},"past_year_pull_request_author_associations_count":{"MEMBER":8,"CONTRIBUTOR":3},"past_year_issue_authors":{},"past_year_pull_request_authors":{"robin-aws":8,"ssomayyajula":2,"stefan-aws":1},"maintainers":[{"login":"robin-aws","count":21,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/robin-aws"},{"login":"seebees","count":3,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/seebees"},{"login":"atomb","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/atomb"}],"active_maintainers":[{"login":"robin-aws","count":8,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/robin-aws"}]},"events":{"total":{"ReleaseEvent":1,"DeleteEvent":2,"IssueCommentEvent":2,"PushEvent":28,"PullRequestReviewEvent":5,"PullRequestEvent":10,"CreateEvent":6},"last_year":{"ReleaseEvent":1,"DeleteEvent":2,"IssueCommentEvent":2,"PushEvent":28,"PullRequestReviewEvent":5,"PullRequestEvent":10,"CreateEvent":6}},"keywords":[],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/main.yml","sha":null,"kind":"manifest","created_at":"2023-01-04T10:51:48.552Z","updated_at":"2023-01-04T10:51:48.552Z","repository_link":"https://github.com/dafny-lang/setup-dafny-action/blob/main/.github/workflows/main.yml","dependencies":[{"id":6861879504,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":6861879505,"package_name":"./","ecosystem":"actions","requirements":"*","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":"action.yml","sha":null,"kind":"manifest","created_at":"2023-01-04T10:51:48.559Z","updated_at":"2023-01-04T10:51:48.559Z","repository_link":"https://github.com/dafny-lang/setup-dafny-action/blob/main/action.yml","dependencies":[{"id":6861879506,"package_name":"dist/index.js","ecosystem":"actions","requirements":"node16","direct":true,"kind":"javascript","optional":false}]},{"ecosystem":"npm","filepath":"package-lock.json","sha":null,"kind":"lockfile","created_at":"2023-01-04T10:51:48.565Z","updated_at":"2023-01-04T10:51:48.565Z","repository_link":"https://github.com/dafny-lang/setup-dafny-action/blob/main/package-lock.json","dependencies":[{"id":6861879569,"package_name":"decamelize","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879507,"package_name":"@actions/core","ecosystem":"npm","requirements":"1.9.1","direct":false,"kind":"runtime","optional":false},{"id":6861879508,"package_name":"@actions/exec","ecosystem":"npm","requirements":"1.1.1","direct":false,"kind":"runtime","optional":false},{"id":6861879509,"package_name":"@actions/http-client","ecosystem":"npm","requirements":"2.0.1","direct":false,"kind":"runtime","optional":false},{"id":6861879510,"package_name":"@actions/io","ecosystem":"npm","requirements":"1.1.2","direct":false,"kind":"runtime","optional":false},{"id":6861879511,"package_name":"@actions/tool-cache","ecosystem":"npm","requirements":"2.0.1","direct":false,"kind":"runtime","optional":false},{"id":6861879512,"package_name":"uuid","ecosystem":"npm","requirements":"3.4.0","direct":false,"kind":"runtime","optional":false},{"id":6861879513,"package_name":"@eslint/eslintrc","ecosystem":"npm","requirements":"1.3.2","direct":false,"kind":"development","optional":false},{"id":6861879514,"package_name":"@humanwhocodes/config-array","ecosystem":"npm","requirements":"0.10.5","direct":false,"kind":"development","optional":false},{"id":6861879515,"package_name":"@humanwhocodes/gitignore-to-minimatch","ecosystem":"npm","requirements":"1.0.2","direct":false,"kind":"development","optional":false},{"id":6861879516,"package_name":"@humanwhocodes/module-importer","ecosystem":"npm","requirements":"1.0.1","direct":false,"kind":"development","optional":false},{"id":6861879517,"package_name":"@humanwhocodes/object-schema","ecosystem":"npm","requirements":"1.2.1","direct":false,"kind":"development","optional":false},{"id":6861879518,"package_name":"@nodelib/fs.scandir","ecosystem":"npm","requirements":"2.1.5","direct":false,"kind":"development","optional":false},{"id":6861879519,"package_name":"@nodelib/fs.stat","ecosystem":"npm","requirements":"2.0.5","direct":false,"kind":"development","optional":false},{"id":6861879520,"package_name":"@nodelib/fs.walk","ecosystem":"npm","requirements":"1.2.8","direct":false,"kind":"development","optional":false},{"id":6861879521,"package_name":"@types/json5","ecosystem":"npm","requirements":"0.0.29","direct":false,"kind":"development","optional":false},{"id":6861879522,"package_name":"@ungap/promise-all-settled","ecosystem":"npm","requirements":"1.1.2","direct":false,"kind":"development","optional":false},{"id":6861879523,"package_name":"@vercel/ncc","ecosystem":"npm","requirements":"0.34.0","direct":false,"kind":"development","optional":false},{"id":6861879524,"package_name":"acorn","ecosystem":"npm","requirements":"8.8.0","direct":false,"kind":"development","optional":false},{"id":6861879525,"package_name":"acorn-jsx","ecosystem":"npm","requirements":"5.3.2","direct":false,"kind":"development","optional":false},{"id":6861879526,"package_name":"aggregate-error","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":6861879527,"package_name":"ajv","ecosystem":"npm","requirements":"6.12.6","direct":false,"kind":"development","optional":false},{"id":6861879528,"package_name":"ansi-colors","ecosystem":"npm","requirements":"4.1.1","direct":false,"kind":"development","optional":false},{"id":6861879529,"package_name":"ansi-escapes","ecosystem":"npm","requirements":"4.3.2","direct":false,"kind":"development","optional":false},{"id":6861879530,"package_name":"type-fest","ecosystem":"npm","requirements":"0.21.3","direct":false,"kind":"development","optional":false},{"id":6861879531,"package_name":"ansi-regex","ecosystem":"npm","requirements":"5.0.1","direct":false,"kind":"development","optional":false},{"id":6861879532,"package_name":"ansi-styles","ecosystem":"npm","requirements":"4.3.0","direct":false,"kind":"development","optional":false},{"id":6861879533,"package_name":"anymatch","ecosystem":"npm","requirements":"3.1.2","direct":false,"kind":"development","optional":false},{"id":6861879534,"package_name":"argparse","ecosystem":"npm","requirements":"2.0.1","direct":false,"kind":"development","optional":false},{"id":6861879535,"package_name":"array-includes","ecosystem":"npm","requirements":"3.1.5","direct":false,"kind":"development","optional":false},{"id":6861879536,"package_name":"array-union","ecosystem":"npm","requirements":"2.1.0","direct":false,"kind":"development","optional":false},{"id":6861879537,"package_name":"array.prototype.flat","ecosystem":"npm","requirements":"1.3.0","direct":false,"kind":"development","optional":false},{"id":6861879538,"package_name":"assertion-error","ecosystem":"npm","requirements":"1.1.0","direct":false,"kind":"development","optional":false},{"id":6861879539,"package_name":"astral-regex","ecosystem":"npm","requirements":"2.0.0","direct":false,"kind":"development","optional":false},{"id":6861879540,"package_name":"balanced-match","ecosystem":"npm","requirements":"1.0.2","direct":false,"kind":"development","optional":false},{"id":6861879541,"package_name":"binary-extensions","ecosystem":"npm","requirements":"2.2.0","direct":false,"kind":"development","optional":false},{"id":6861879542,"package_name":"brace-expansion","ecosystem":"npm","requirements":"1.1.11","direct":false,"kind":"development","optional":false},{"id":6861879543,"package_name":"braces","ecosystem":"npm","requirements":"3.0.2","direct":false,"kind":"development","optional":false},{"id":6861879544,"package_name":"browser-stdout","ecosystem":"npm","requirements":"1.3.1","direct":false,"kind":"development","optional":false},{"id":6861879545,"package_name":"builtins","ecosystem":"npm","requirements":"5.0.1","direct":false,"kind":"development","optional":false},{"id":6861879546,"package_name":"semver","ecosystem":"npm","requirements":"7.3.7","direct":false,"kind":"development","optional":false},{"id":6861879547,"package_name":"call-bind","ecosystem":"npm","requirements":"1.0.2","direct":false,"kind":"development","optional":false},{"id":6861879548,"package_name":"callsites","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":6861879549,"package_name":"camelcase","ecosystem":"npm","requirements":"6.3.0","direct":false,"kind":"development","optional":false},{"id":6861879550,"package_name":"chai","ecosystem":"npm","requirements":"4.3.6","direct":false,"kind":"development","optional":false},{"id":6861879551,"package_name":"chalk","ecosystem":"npm","requirements":"4.1.2","direct":false,"kind":"development","optional":false},{"id":6861879552,"package_name":"check-error","ecosystem":"npm","requirements":"1.0.2","direct":false,"kind":"development","optional":false},{"id":6861879553,"package_name":"chokidar","ecosystem":"npm","requirements":"3.5.3","direct":false,"kind":"development","optional":false},{"id":6861879554,"package_name":"glob-parent","ecosystem":"npm","requirements":"5.1.2","direct":false,"kind":"development","optional":false},{"id":6861879555,"package_name":"clean-stack","ecosystem":"npm","requirements":"2.2.0","direct":false,"kind":"development","optional":false},{"id":6861879556,"package_name":"cli-cursor","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":6861879557,"package_name":"cli-truncate","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":6861879558,"package_name":"cliui","ecosystem":"npm","requirements":"7.0.4","direct":false,"kind":"development","optional":false},{"id":6861879559,"package_name":"emoji-regex","ecosystem":"npm","requirements":"8.0.0","direct":false,"kind":"development","optional":false},{"id":6861879560,"package_name":"is-fullwidth-code-point","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":6861879561,"package_name":"string-width","ecosystem":"npm","requirements":"4.2.3","direct":false,"kind":"development","optional":false},{"id":6861879562,"package_name":"color-convert","ecosystem":"npm","requirements":"2.0.1","direct":false,"kind":"development","optional":false},{"id":6861879563,"package_name":"color-name","ecosystem":"npm","requirements":"1.1.4","direct":false,"kind":"development","optional":false},{"id":6861879564,"package_name":"colorette","ecosystem":"npm","requirements":"2.0.19","direct":false,"kind":"development","optional":false},{"id":6861879565,"package_name":"commander","ecosystem":"npm","requirements":"9.4.0","direct":false,"kind":"development","optional":false},{"id":6861879566,"package_name":"concat-map","ecosystem":"npm","requirements":"0.0.1","direct":false,"kind":"development","optional":false},{"id":6861879567,"package_name":"cross-spawn","ecosystem":"npm","requirements":"7.0.3","direct":false,"kind":"development","optional":false},{"id":6861879568,"package_name":"debug","ecosystem":"npm","requirements":"4.3.4","direct":false,"kind":"development","optional":false},{"id":6861879570,"package_name":"deep-eql","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":6861879571,"package_name":"deep-is","ecosystem":"npm","requirements":"0.1.4","direct":false,"kind":"development","optional":false},{"id":6861879572,"package_name":"define-properties","ecosystem":"npm","requirements":"1.1.4","direct":false,"kind":"development","optional":false},{"id":6861879573,"package_name":"diff","ecosystem":"npm","requirements":"5.0.0","direct":false,"kind":"development","optional":false},{"id":6861879574,"package_name":"dir-glob","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":6861879575,"package_name":"doctrine","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":6861879576,"package_name":"eastasianwidth","ecosystem":"npm","requirements":"0.2.0","direct":false,"kind":"development","optional":false},{"id":6861879577,"package_name":"emoji-regex","ecosystem":"npm","requirements":"9.2.2","direct":false,"kind":"development","optional":false},{"id":6861879578,"package_name":"es-abstract","ecosystem":"npm","requirements":"1.20.3","direct":false,"kind":"development","optional":false},{"id":6861879579,"package_name":"es-shim-unscopables","ecosystem":"npm","requirements":"1.0.0","direct":false,"kind":"development","optional":false},{"id":6861879580,"package_name":"es-to-primitive","ecosystem":"npm","requirements":"1.2.1","direct":false,"kind":"development","optional":false},{"id":6861879581,"package_name":"escalade","ecosystem":"npm","requirements":"3.1.1","direct":false,"kind":"development","optional":false},{"id":6861879582,"package_name":"escape-string-regexp","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879583,"package_name":"eslint","ecosystem":"npm","requirements":"8.23.1","direct":false,"kind":"development","optional":false},{"id":6861879584,"package_name":"eslint-config-prettier","ecosystem":"npm","requirements":"8.5.0","direct":false,"kind":"development","optional":false},{"id":6861879585,"package_name":"eslint-config-standard","ecosystem":"npm","requirements":"17.0.0","direct":false,"kind":"development","optional":false},{"id":6861879586,"package_name":"eslint-import-resolver-node","ecosystem":"npm","requirements":"0.3.6","direct":false,"kind":"development","optional":false},{"id":6861879587,"package_name":"debug","ecosystem":"npm","requirements":"3.2.7","direct":false,"kind":"development","optional":false},{"id":6861879588,"package_name":"eslint-module-utils","ecosystem":"npm","requirements":"2.7.4","direct":false,"kind":"development","optional":false},{"id":6861879589,"package_name":"eslint-plugin-es","ecosystem":"npm","requirements":"4.1.0","direct":false,"kind":"development","optional":false},{"id":6861879590,"package_name":"eslint-utils","ecosystem":"npm","requirements":"2.1.0","direct":false,"kind":"development","optional":false},{"id":6861879591,"package_name":"eslint-visitor-keys","ecosystem":"npm","requirements":"1.3.0","direct":false,"kind":"development","optional":false},{"id":6861879592,"package_name":"eslint-plugin-import","ecosystem":"npm","requirements":"2.26.0","direct":false,"kind":"development","optional":false},{"id":6861879593,"package_name":"debug","ecosystem":"npm","requirements":"2.6.9","direct":false,"kind":"development","optional":false},{"id":6861879594,"package_name":"doctrine","ecosystem":"npm","requirements":"2.1.0","direct":false,"kind":"development","optional":false},{"id":6861879595,"package_name":"ms","ecosystem":"npm","requirements":"2.0.0","direct":false,"kind":"development","optional":false},{"id":6861879596,"package_name":"eslint-plugin-n","ecosystem":"npm","requirements":"15.3.0","direct":false,"kind":"development","optional":false},{"id":6861879597,"package_name":"eslint-plugin-promise","ecosystem":"npm","requirements":"6.0.1","direct":false,"kind":"development","optional":false},{"id":6861879598,"package_name":"eslint-scope","ecosystem":"npm","requirements":"7.1.1","direct":false,"kind":"development","optional":false},{"id":6861879599,"package_name":"eslint-utils","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":6861879600,"package_name":"eslint-visitor-keys","ecosystem":"npm","requirements":"2.1.0","direct":false,"kind":"development","optional":false},{"id":6861879601,"package_name":"eslint-visitor-keys","ecosystem":"npm","requirements":"3.3.0","direct":false,"kind":"development","optional":false},{"id":6861879602,"package_name":"espree","ecosystem":"npm","requirements":"9.4.0","direct":false,"kind":"development","optional":false},{"id":6861879603,"package_name":"esquery","ecosystem":"npm","requirements":"1.4.0","direct":false,"kind":"development","optional":false},{"id":6861879604,"package_name":"esrecurse","ecosystem":"npm","requirements":"4.3.0","direct":false,"kind":"development","optional":false},{"id":6861879605,"package_name":"estraverse","ecosystem":"npm","requirements":"5.3.0","direct":false,"kind":"development","optional":false},{"id":6861879606,"package_name":"esutils","ecosystem":"npm","requirements":"2.0.3","direct":false,"kind":"development","optional":false},{"id":6861879607,"package_name":"execa","ecosystem":"npm","requirements":"6.1.0","direct":false,"kind":"development","optional":false},{"id":6861879608,"package_name":"fast-deep-equal","ecosystem":"npm","requirements":"3.1.3","direct":false,"kind":"development","optional":false},{"id":6861879609,"package_name":"fast-glob","ecosystem":"npm","requirements":"3.2.12","direct":false,"kind":"development","optional":false},{"id":6861879610,"package_name":"fast-json-stable-stringify","ecosystem":"npm","requirements":"2.1.0","direct":false,"kind":"development","optional":false},{"id":6861879611,"package_name":"fast-levenshtein","ecosystem":"npm","requirements":"2.0.6","direct":false,"kind":"development","optional":false},{"id":6861879612,"package_name":"fastq","ecosystem":"npm","requirements":"1.13.0","direct":false,"kind":"development","optional":false},{"id":6861879613,"package_name":"file-entry-cache","ecosystem":"npm","requirements":"6.0.1","direct":false,"kind":"development","optional":false},{"id":6861879614,"package_name":"fill-range","ecosystem":"npm","requirements":"7.0.1","direct":false,"kind":"development","optional":false},{"id":6861879615,"package_name":"find-up","ecosystem":"npm","requirements":"5.0.0","direct":false,"kind":"development","optional":false},{"id":6861879616,"package_name":"flat","ecosystem":"npm","requirements":"5.0.2","direct":false,"kind":"development","optional":false},{"id":6861879617,"package_name":"flat-cache","ecosystem":"npm","requirements":"3.0.4","direct":false,"kind":"development","optional":false},{"id":6861879618,"package_name":"flatted","ecosystem":"npm","requirements":"3.2.7","direct":false,"kind":"development","optional":false},{"id":6861879619,"package_name":"fs.realpath","ecosystem":"npm","requirements":"1.0.0","direct":false,"kind":"development","optional":false},{"id":6861879620,"package_name":"fsevents","ecosystem":"npm","requirements":"2.3.2","direct":false,"kind":"development","optional":false},{"id":6861879621,"package_name":"function-bind","ecosystem":"npm","requirements":"1.1.1","direct":false,"kind":"development","optional":false},{"id":6861879622,"package_name":"function.prototype.name","ecosystem":"npm","requirements":"1.1.5","direct":false,"kind":"development","optional":false},{"id":6861879623,"package_name":"functions-have-names","ecosystem":"npm","requirements":"1.2.3","direct":false,"kind":"development","optional":false},{"id":6861879624,"package_name":"get-caller-file","ecosystem":"npm","requirements":"2.0.5","direct":false,"kind":"development","optional":false},{"id":6861879625,"package_name":"get-func-name","ecosystem":"npm","requirements":"2.0.0","direct":false,"kind":"development","optional":false},{"id":6861879626,"package_name":"get-intrinsic","ecosystem":"npm","requirements":"1.1.3","direct":false,"kind":"development","optional":false},{"id":6861879627,"package_name":"get-stream","ecosystem":"npm","requirements":"6.0.1","direct":false,"kind":"development","optional":false},{"id":6861879628,"package_name":"get-symbol-description","ecosystem":"npm","requirements":"1.0.0","direct":false,"kind":"development","optional":false},{"id":6861879629,"package_name":"glob","ecosystem":"npm","requirements":"7.2.0","direct":false,"kind":"development","optional":false},{"id":6861879630,"package_name":"glob-parent","ecosystem":"npm","requirements":"6.0.2","direct":false,"kind":"development","optional":false},{"id":6861879631,"package_name":"globals","ecosystem":"npm","requirements":"13.17.0","direct":false,"kind":"development","optional":false},{"id":6861879632,"package_name":"globby","ecosystem":"npm","requirements":"11.1.0","direct":false,"kind":"development","optional":false},{"id":6861879633,"package_name":"grapheme-splitter","ecosystem":"npm","requirements":"1.0.4","direct":false,"kind":"development","optional":false},{"id":6861879634,"package_name":"has","ecosystem":"npm","requirements":"1.0.3","direct":false,"kind":"development","optional":false},{"id":6861879635,"package_name":"has-bigints","ecosystem":"npm","requirements":"1.0.2","direct":false,"kind":"development","optional":false},{"id":6861879636,"package_name":"has-flag","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879637,"package_name":"has-property-descriptors","ecosystem":"npm","requirements":"1.0.0","direct":false,"kind":"development","optional":false},{"id":6861879638,"package_name":"has-symbols","ecosystem":"npm","requirements":"1.0.3","direct":false,"kind":"development","optional":false},{"id":6861879639,"package_name":"has-tostringtag","ecosystem":"npm","requirements":"1.0.0","direct":false,"kind":"development","optional":false},{"id":6861879640,"package_name":"he","ecosystem":"npm","requirements":"1.2.0","direct":false,"kind":"development","optional":false},{"id":6861879641,"package_name":"human-signals","ecosystem":"npm","requirements":"3.0.1","direct":false,"kind":"development","optional":false},{"id":6861879642,"package_name":"husky","ecosystem":"npm","requirements":"8.0.1","direct":false,"kind":"development","optional":false},{"id":6861879643,"package_name":"ignore","ecosystem":"npm","requirements":"5.2.0","direct":false,"kind":"development","optional":false},{"id":6861879644,"package_name":"import-fresh","ecosystem":"npm","requirements":"3.3.0","direct":false,"kind":"development","optional":false},{"id":6861879645,"package_name":"imurmurhash","ecosystem":"npm","requirements":"0.1.4","direct":false,"kind":"development","optional":false},{"id":6861879646,"package_name":"indent-string","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879647,"package_name":"inflight","ecosystem":"npm","requirements":"1.0.6","direct":false,"kind":"development","optional":false},{"id":6861879648,"package_name":"inherits","ecosystem":"npm","requirements":"2.0.4","direct":false,"kind":"development","optional":false},{"id":6861879649,"package_name":"internal-slot","ecosystem":"npm","requirements":"1.0.3","direct":false,"kind":"development","optional":false},{"id":6861879650,"package_name":"is-bigint","ecosystem":"npm","requirements":"1.0.4","direct":false,"kind":"development","optional":false},{"id":6861879651,"package_name":"is-binary-path","ecosystem":"npm","requirements":"2.1.0","direct":false,"kind":"development","optional":false},{"id":6861879652,"package_name":"is-boolean-object","ecosystem":"npm","requirements":"1.1.2","direct":false,"kind":"development","optional":false},{"id":6861879653,"package_name":"is-callable","ecosystem":"npm","requirements":"1.2.6","direct":false,"kind":"development","optional":false},{"id":6861879654,"package_name":"is-core-module","ecosystem":"npm","requirements":"2.10.0","direct":false,"kind":"development","optional":false},{"id":6861879655,"package_name":"is-date-object","ecosystem":"npm","requirements":"1.0.5","direct":false,"kind":"development","optional":false},{"id":6861879656,"package_name":"is-extglob","ecosystem":"npm","requirements":"2.1.1","direct":false,"kind":"development","optional":false},{"id":6861879657,"package_name":"is-fullwidth-code-point","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879658,"package_name":"is-glob","ecosystem":"npm","requirements":"4.0.3","direct":false,"kind":"development","optional":false},{"id":6861879659,"package_name":"is-negative-zero","ecosystem":"npm","requirements":"2.0.2","direct":false,"kind":"development","optional":false},{"id":6861879660,"package_name":"is-number","ecosystem":"npm","requirements":"7.0.0","direct":false,"kind":"development","optional":false},{"id":6861879661,"package_name":"is-number-object","ecosystem":"npm","requirements":"1.0.7","direct":false,"kind":"development","optional":false},{"id":6861879662,"package_name":"is-plain-obj","ecosystem":"npm","requirements":"2.1.0","direct":false,"kind":"development","optional":false},{"id":6861879663,"package_name":"is-regex","ecosystem":"npm","requirements":"1.1.4","direct":false,"kind":"development","optional":false},{"id":6861879664,"package_name":"is-shared-array-buffer","ecosystem":"npm","requirements":"1.0.2","direct":false,"kind":"development","optional":false},{"id":6861879665,"package_name":"is-stream","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":6861879666,"package_name":"is-string","ecosystem":"npm","requirements":"1.0.7","direct":false,"kind":"development","optional":false},{"id":6861879667,"package_name":"is-symbol","ecosystem":"npm","requirements":"1.0.4","direct":false,"kind":"development","optional":false},{"id":6861879668,"package_name":"is-unicode-supported","ecosystem":"npm","requirements":"0.1.0","direct":false,"kind":"development","optional":false},{"id":6861879669,"package_name":"is-weakref","ecosystem":"npm","requirements":"1.0.2","direct":false,"kind":"development","optional":false},{"id":6861879670,"package_name":"isexe","ecosystem":"npm","requirements":"2.0.0","direct":false,"kind":"development","optional":false},{"id":6861879671,"package_name":"js-sdsl","ecosystem":"npm","requirements":"4.1.4","direct":false,"kind":"development","optional":false},{"id":6861879672,"package_name":"js-yaml","ecosystem":"npm","requirements":"4.1.0","direct":false,"kind":"development","optional":false},{"id":6861879673,"package_name":"json-schema-traverse","ecosystem":"npm","requirements":"0.4.1","direct":false,"kind":"development","optional":false},{"id":6861879674,"package_name":"json-stable-stringify-without-jsonify","ecosystem":"npm","requirements":"1.0.1","direct":false,"kind":"development","optional":false},{"id":6861879675,"package_name":"json5","ecosystem":"npm","requirements":"1.0.1","direct":false,"kind":"development","optional":false},{"id":6861879676,"package_name":"levn","ecosystem":"npm","requirements":"0.4.1","direct":false,"kind":"development","optional":false},{"id":6861879677,"package_name":"lilconfig","ecosystem":"npm","requirements":"2.0.5","direct":false,"kind":"development","optional":false},{"id":6861879678,"package_name":"lint-staged","ecosystem":"npm","requirements":"13.0.3","direct":false,"kind":"development","optional":false},{"id":6861879679,"package_name":"listr2","ecosystem":"npm","requirements":"4.0.5","direct":false,"kind":"development","optional":false},{"id":6861879680,"package_name":"cli-truncate","ecosystem":"npm","requirements":"2.1.0","direct":false,"kind":"development","optional":false},{"id":6861879681,"package_name":"slice-ansi","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":6861879682,"package_name":"locate-path","ecosystem":"npm","requirements":"6.0.0","direct":false,"kind":"development","optional":false},{"id":6861879683,"package_name":"lodash.merge","ecosystem":"npm","requirements":"4.6.2","direct":false,"kind":"development","optional":false},{"id":6861879684,"package_name":"log-symbols","ecosystem":"npm","requirements":"4.1.0","direct":false,"kind":"development","optional":false},{"id":6861879685,"package_name":"log-update","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879686,"package_name":"slice-ansi","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879687,"package_name":"wrap-ansi","ecosystem":"npm","requirements":"6.2.0","direct":false,"kind":"development","optional":false},{"id":6861879688,"package_name":"loupe","ecosystem":"npm","requirements":"2.3.4","direct":false,"kind":"development","optional":false},{"id":6861879689,"package_name":"lru-cache","ecosystem":"npm","requirements":"6.0.0","direct":false,"kind":"development","optional":false},{"id":6861879690,"package_name":"merge-stream","ecosystem":"npm","requirements":"2.0.0","direct":false,"kind":"development","optional":false},{"id":6861879691,"package_name":"merge2","ecosystem":"npm","requirements":"1.4.1","direct":false,"kind":"development","optional":false},{"id":6861879692,"package_name":"micromatch","ecosystem":"npm","requirements":"4.0.5","direct":false,"kind":"development","optional":false},{"id":6861879693,"package_name":"mimic-fn","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879694,"package_name":"minimatch","ecosystem":"npm","requirements":"3.1.2","direct":false,"kind":"development","optional":false},{"id":6861879695,"package_name":"minimist","ecosystem":"npm","requirements":"1.2.6","direct":false,"kind":"development","optional":false},{"id":6861879696,"package_name":"mocha","ecosystem":"npm","requirements":"10.0.0","direct":false,"kind":"development","optional":false},{"id":6861879697,"package_name":"brace-expansion","ecosystem":"npm","requirements":"2.0.1","direct":false,"kind":"development","optional":false},{"id":6861879698,"package_name":"minimatch","ecosystem":"npm","requirements":"5.0.1","direct":false,"kind":"development","optional":false},{"id":6861879699,"package_name":"ms","ecosystem":"npm","requirements":"2.1.3","direct":false,"kind":"development","optional":false},{"id":6861879700,"package_name":"supports-color","ecosystem":"npm","requirements":"8.1.1","direct":false,"kind":"development","optional":false},{"id":6861879701,"package_name":"ms","ecosystem":"npm","requirements":"2.1.2","direct":false,"kind":"development","optional":false},{"id":6861879702,"package_name":"nanoid","ecosystem":"npm","requirements":"3.3.3","direct":false,"kind":"development","optional":false},{"id":6861879703,"package_name":"natural-compare","ecosystem":"npm","requirements":"1.4.0","direct":false,"kind":"development","optional":false},{"id":6861879704,"package_name":"normalize-path","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":6861879705,"package_name":"npm-run-path","ecosystem":"npm","requirements":"5.1.0","direct":false,"kind":"development","optional":false},{"id":6861879706,"package_name":"path-key","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879707,"package_name":"object-inspect","ecosystem":"npm","requirements":"1.12.2","direct":false,"kind":"development","optional":false},{"id":6861879708,"package_name":"object-keys","ecosystem":"npm","requirements":"1.1.1","direct":false,"kind":"development","optional":false},{"id":6861879709,"package_name":"object.assign","ecosystem":"npm","requirements":"4.1.4","direct":false,"kind":"development","optional":false},{"id":6861879710,"package_name":"object.values","ecosystem":"npm","requirements":"1.1.5","direct":false,"kind":"development","optional":false},{"id":6861879711,"package_name":"once","ecosystem":"npm","requirements":"1.4.0","direct":false,"kind":"development","optional":false},{"id":6861879712,"package_name":"onetime","ecosystem":"npm","requirements":"6.0.0","direct":false,"kind":"development","optional":false},{"id":6861879713,"package_name":"optionator","ecosystem":"npm","requirements":"0.9.1","direct":false,"kind":"development","optional":false},{"id":6861879714,"package_name":"p-limit","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":6861879715,"package_name":"p-locate","ecosystem":"npm","requirements":"5.0.0","direct":false,"kind":"development","optional":false},{"id":6861879716,"package_name":"p-map","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879717,"package_name":"parent-module","ecosystem":"npm","requirements":"1.0.1","direct":false,"kind":"development","optional":false},{"id":6861879718,"package_name":"path-exists","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879719,"package_name":"path-is-absolute","ecosystem":"npm","requirements":"1.0.1","direct":false,"kind":"development","optional":false},{"id":6861879720,"package_name":"path-key","ecosystem":"npm","requirements":"3.1.1","direct":false,"kind":"development","optional":false},{"id":6861879721,"package_name":"path-parse","ecosystem":"npm","requirements":"1.0.7","direct":false,"kind":"development","optional":false},{"id":6861879722,"package_name":"path-type","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879723,"package_name":"pathval","ecosystem":"npm","requirements":"1.1.1","direct":false,"kind":"development","optional":false},{"id":6861879724,"package_name":"picomatch","ecosystem":"npm","requirements":"2.3.1","direct":false,"kind":"development","optional":false},{"id":6861879725,"package_name":"pidtree","ecosystem":"npm","requirements":"0.6.0","direct":false,"kind":"development","optional":false},{"id":6861879726,"package_name":"prelude-ls","ecosystem":"npm","requirements":"1.2.1","direct":false,"kind":"development","optional":false},{"id":6861879727,"package_name":"prettier","ecosystem":"npm","requirements":"2.7.1","direct":false,"kind":"development","optional":false},{"id":6861879728,"package_name":"punycode","ecosystem":"npm","requirements":"2.1.1","direct":false,"kind":"development","optional":false},{"id":6861879729,"package_name":"queue-microtask","ecosystem":"npm","requirements":"1.2.3","direct":false,"kind":"development","optional":false},{"id":6861879730,"package_name":"randombytes","ecosystem":"npm","requirements":"2.1.0","direct":false,"kind":"development","optional":false},{"id":6861879731,"package_name":"readdirp","ecosystem":"npm","requirements":"3.6.0","direct":false,"kind":"development","optional":false},{"id":6861879732,"package_name":"regexp.prototype.flags","ecosystem":"npm","requirements":"1.4.3","direct":false,"kind":"development","optional":false},{"id":6861879733,"package_name":"regexpp","ecosystem":"npm","requirements":"3.2.0","direct":false,"kind":"development","optional":false},{"id":6861879734,"package_name":"require-directory","ecosystem":"npm","requirements":"2.1.1","direct":false,"kind":"development","optional":false},{"id":6861879735,"package_name":"resolve","ecosystem":"npm","requirements":"1.22.1","direct":false,"kind":"development","optional":false},{"id":6861879736,"package_name":"resolve-from","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879737,"package_name":"restore-cursor","ecosystem":"npm","requirements":"3.1.0","direct":false,"kind":"development","optional":false},{"id":6861879738,"package_name":"mimic-fn","ecosystem":"npm","requirements":"2.1.0","direct":false,"kind":"development","optional":false},{"id":6861879739,"package_name":"onetime","ecosystem":"npm","requirements":"5.1.2","direct":false,"kind":"development","optional":false},{"id":6861879740,"package_name":"reusify","ecosystem":"npm","requirements":"1.0.4","direct":false,"kind":"development","optional":false},{"id":6861879741,"package_name":"rfdc","ecosystem":"npm","requirements":"1.3.0","direct":false,"kind":"development","optional":false},{"id":6861879742,"package_name":"rimraf","ecosystem":"npm","requirements":"3.0.2","direct":false,"kind":"development","optional":false},{"id":6861879743,"package_name":"run-parallel","ecosystem":"npm","requirements":"1.2.0","direct":false,"kind":"development","optional":false},{"id":6861879744,"package_name":"rxjs","ecosystem":"npm","requirements":"7.5.6","direct":false,"kind":"development","optional":false},{"id":6861879745,"package_name":"safe-buffer","ecosystem":"npm","requirements":"5.2.1","direct":false,"kind":"development","optional":false},{"id":6861879746,"package_name":"safe-regex-test","ecosystem":"npm","requirements":"1.0.0","direct":false,"kind":"development","optional":false},{"id":6861879747,"package_name":"semver","ecosystem":"npm","requirements":"6.3.0","direct":false,"kind":"runtime","optional":false},{"id":6861879748,"package_name":"serialize-javascript","ecosystem":"npm","requirements":"6.0.0","direct":false,"kind":"development","optional":false},{"id":6861879749,"package_name":"shebang-command","ecosystem":"npm","requirements":"2.0.0","direct":false,"kind":"development","optional":false},{"id":6861879750,"package_name":"shebang-regex","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":6861879751,"package_name":"side-channel","ecosystem":"npm","requirements":"1.0.4","direct":false,"kind":"development","optional":false},{"id":6861879752,"package_name":"signal-exit","ecosystem":"npm","requirements":"3.0.7","direct":false,"kind":"development","optional":false},{"id":6861879753,"package_name":"slash","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":6861879754,"package_name":"slice-ansi","ecosystem":"npm","requirements":"5.0.0","direct":false,"kind":"development","optional":false},{"id":6861879755,"package_name":"ansi-styles","ecosystem":"npm","requirements":"6.1.1","direct":false,"kind":"development","optional":false},{"id":6861879756,"package_name":"string-argv","ecosystem":"npm","requirements":"0.3.1","direct":false,"kind":"development","optional":false},{"id":6861879757,"package_name":"string-width","ecosystem":"npm","requirements":"5.1.2","direct":false,"kind":"development","optional":false},{"id":6861879758,"package_name":"ansi-regex","ecosystem":"npm","requirements":"6.0.1","direct":false,"kind":"development","optional":false},{"id":6861879759,"package_name":"strip-ansi","ecosystem":"npm","requirements":"7.0.1","direct":false,"kind":"development","optional":false},{"id":6861879760,"package_name":"string.prototype.trimend","ecosystem":"npm","requirements":"1.0.5","direct":false,"kind":"development","optional":false},{"id":6861879761,"package_name":"string.prototype.trimstart","ecosystem":"npm","requirements":"1.0.5","direct":false,"kind":"development","optional":false},{"id":6861879762,"package_name":"strip-ansi","ecosystem":"npm","requirements":"6.0.1","direct":false,"kind":"development","optional":false},{"id":6861879763,"package_name":"strip-bom","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":6861879764,"package_name":"strip-final-newline","ecosystem":"npm","requirements":"3.0.0","direct":false,"kind":"development","optional":false},{"id":6861879765,"package_name":"strip-json-comments","ecosystem":"npm","requirements":"3.1.1","direct":false,"kind":"development","optional":false},{"id":6861879766,"package_name":"supports-color","ecosystem":"npm","requirements":"7.2.0","direct":false,"kind":"development","optional":false},{"id":6861879767,"package_name":"supports-preserve-symlinks-flag","ecosystem":"npm","requirements":"1.0.0","direct":false,"kind":"development","optional":false},{"id":6861879768,"package_name":"text-table","ecosystem":"npm","requirements":"0.2.0","direct":false,"kind":"development","optional":false},{"id":6861879769,"package_name":"through","ecosystem":"npm","requirements":"2.3.8","direct":false,"kind":"development","optional":false},{"id":6861879770,"package_name":"to-regex-range","ecosystem":"npm","requirements":"5.0.1","direct":false,"kind":"development","optional":false},{"id":6861879771,"package_name":"tsconfig-paths","ecosystem":"npm","requirements":"3.14.1","direct":false,"kind":"development","optional":false},{"id":6861879772,"package_name":"tslib","ecosystem":"npm","requirements":"2.4.0","direct":false,"kind":"development","optional":false},{"id":6861879773,"package_name":"tunnel","ecosystem":"npm","requirements":"0.0.6","direct":false,"kind":"runtime","optional":false},{"id":6861879774,"package_name":"type-check","ecosystem":"npm","requirements":"0.4.0","direct":false,"kind":"development","optional":false},{"id":6861879775,"package_name":"type-detect","ecosystem":"npm","requirements":"4.0.8","direct":false,"kind":"development","optional":false},{"id":6861879776,"package_name":"type-fest","ecosystem":"npm","requirements":"0.20.2","direct":false,"kind":"development","optional":false},{"id":6861879777,"package_name":"unbox-primitive","ecosystem":"npm","requirements":"1.0.2","direct":false,"kind":"development","optional":false},{"id":6861879778,"package_name":"uri-js","ecosystem":"npm","requirements":"4.4.1","direct":false,"kind":"development","optional":false},{"id":6861879779,"package_name":"uuid","ecosystem":"npm","requirements":"8.3.2","direct":false,"kind":"runtime","optional":false},{"id":6861879780,"package_name":"which","ecosystem":"npm","requirements":"2.0.2","direct":false,"kind":"development","optional":false},{"id":6861879781,"package_name":"which-boxed-primitive","ecosystem":"npm","requirements":"1.0.2","direct":false,"kind":"development","optional":false},{"id":6861879782,"package_name":"word-wrap","ecosystem":"npm","requirements":"1.2.3","direct":false,"kind":"development","optional":false},{"id":6861879783,"package_name":"workerpool","ecosystem":"npm","requirements":"6.2.1","direct":false,"kind":"development","optional":false},{"id":6861879784,"package_name":"wrap-ansi","ecosystem":"npm","requirements":"7.0.0","direct":false,"kind":"development","optional":false},{"id":6861879785,"package_name":"wrappy","ecosystem":"npm","requirements":"1.0.2","direct":false,"kind":"development","optional":false},{"id":6861879786,"package_name":"y18n","ecosystem":"npm","requirements":"5.0.8","direct":false,"kind":"development","optional":false},{"id":6861879787,"package_name":"yallist","ecosystem":"npm","requirements":"4.0.0","direct":false,"kind":"development","optional":false},{"id":6861879788,"package_name":"yaml","ecosystem":"npm","requirements":"2.1.1","direct":false,"kind":"development","optional":false},{"id":6861879789,"package_name":"yargs","ecosystem":"npm","requirements":"16.2.0","direct":false,"kind":"development","optional":false},{"id":6861879790,"package_name":"yargs-parser","ecosystem":"npm","requirements":"20.2.4","direct":false,"kind":"development","optional":false},{"id":6861879791,"package_name":"yargs-unparser","ecosystem":"npm","requirements":"2.0.0","direct":false,"kind":"development","optional":false},{"id":6861879792,"package_name":"yocto-queue","ecosystem":"npm","requirements":"0.1.0","direct":false,"kind":"development","optional":false}]},{"ecosystem":"npm","filepath":"package.json","sha":null,"kind":"manifest","created_at":"2023-01-04T10:51:48.609Z","updated_at":"2023-01-04T10:51:48.609Z","repository_link":"https://github.com/dafny-lang/setup-dafny-action/blob/main/package.json","dependencies":[{"id":6861879793,"package_name":"@actions/core","ecosystem":"npm","requirements":"^1.9.1","direct":true,"kind":"runtime","optional":false},{"id":6861879794,"package_name":"@actions/tool-cache","ecosystem":"npm","requirements":"^2.0.1","direct":true,"kind":"runtime","optional":false},{"id":6861879795,"package_name":"@vercel/ncc","ecosystem":"npm","requirements":"^0.34.0","direct":true,"kind":"development","optional":false},{"id":6861879796,"package_name":"chai","ecosystem":"npm","requirements":"^4.3.6","direct":true,"kind":"development","optional":false},{"id":6861879797,"package_name":"eslint","ecosystem":"npm","requirements":"^8.23.1","direct":true,"kind":"development","optional":false},{"id":6861879798,"package_name":"eslint-config-prettier","ecosystem":"npm","requirements":"^8.5.0","direct":true,"kind":"development","optional":false},{"id":6861879799,"package_name":"eslint-config-standard","ecosystem":"npm","requirements":"^17.0.0","direct":true,"kind":"development","optional":false},{"id":6861879800,"package_name":"eslint-plugin-import","ecosystem":"npm","requirements":"^2.26.0","direct":true,"kind":"development","optional":false},{"id":6861879801,"package_name":"eslint-plugin-n","ecosystem":"npm","requirements":"^15.3.0","direct":true,"kind":"development","optional":false},{"id":6861879802,"package_name":"eslint-plugin-promise","ecosystem":"npm","requirements":"^6.0.1","direct":true,"kind":"development","optional":false},{"id":6861879803,"package_name":"husky","ecosystem":"npm","requirements":"^8.0.1","direct":true,"kind":"development","optional":false},{"id":6861879804,"package_name":"lint-staged","ecosystem":"npm","requirements":"^13.0.3","direct":true,"kind":"development","optional":false},{"id":6861879805,"package_name":"mocha","ecosystem":"npm","requirements":"^10.0.0","direct":true,"kind":"development","optional":false},{"id":6861879806,"package_name":"prettier","ecosystem":"npm","requirements":"^2.7.1","direct":true,"kind":"development","optional":false}]},{"ecosystem":"actions","filepath":"build_dafny_from_source/action.yml","sha":null,"kind":"manifest","created_at":"2025-04-13T20:15:16.039Z","updated_at":"2025-04-13T20:15:16.039Z","repository_link":"https://github.com/dafny-lang/setup-dafny-action/blob/main/build_dafny_from_source/action.yml","dependencies":[{"id":22672731279,"package_name":"actions/setup-java","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":22672731280,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":22672731281,"package_name":"cda-tum/setup-z3","ecosystem":"actions","requirements":"v1.6.3","direct":true,"kind":"composite","optional":false}]}],"score":6.068425588244111,"created_at":"2025-09-09T04:07:28.748Z","updated_at":"2025-10-07T08:43:46.771Z","avatar_url":"https://github.com/dafny-lang.png","language":"JavaScript","category":null,"sub_category":null,"monthly_downloads":0,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/202394","html_url":"https://science.ecosyste.ms/projects/202394"}