{"id":92456,"name":null,"description":"apkg - package manager for Agda","url":"https://github.com/agda/agda-pkg","last_synced_at":"2025-09-09T00:46:03.963Z","repository":{"id":48614086,"uuid":"142754243","full_name":"agda/agda-pkg","owner":"agda","description":"apkg - package manager for Agda","archived":false,"fork":false,"pushed_at":"2021-07-17T22:53:40.000Z","size":19967,"stargazers_count":38,"open_issues_count":4,"forks_count":8,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-08-18T14:54:37.134Z","etag":null,"topics":["agda","lightweight-dependency-management","package-manager"],"latest_commit_sha":null,"homepage":"https://agda.github.io/agda-pkg/","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/agda.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}},"created_at":"2018-07-29T11:13:42.000Z","updated_at":"2025-05-17T10:46:42.000Z","dependencies_parsed_at":"2022-09-11T11:11:12.233Z","dependency_job_id":null,"html_url":"https://github.com/agda/agda-pkg","commit_stats":null,"previous_names":[],"tags_count":47,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda-pkg","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/sbom","scorecard":{"id":170310,"data":{"date":"2025-08-11","repo":{"name":"github.com/agda/agda-pkg","commit":"8d5cbcd76c1e4d150ad35ce39d1573c1f10f9fcd"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":2,"checks":[{"name":"Code-Review","score":1,"reason":"Found 4/28 approved changesets -- score normalized to 1","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":"Maintained","score":0,"reason":"0 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":"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":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"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":"Dangerous-Workflow","score":-1,"reason":"no workflows found","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":"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":"Pinned-Dependencies","score":-1,"reason":"no dependencies found","details":null,"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":"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":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"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":"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":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'master'"],"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":"Vulnerabilities","score":1,"reason":"9 existing vulnerabilities detected","details":["Warn: Project is vulnerable to: PYSEC-2024-4 / GHSA-2mqj-m65w-jghx","Warn: Project is vulnerable to: PYSEC-2023-165 / GHSA-cwvm-v4w8-q58c","Warn: Project is vulnerable to: PYSEC-2022-42992 / GHSA-hcpj-qp55-gfph","Warn: Project is vulnerable to: PYSEC-2023-137 / GHSA-pr76-5cm5-w9cj","Warn: Project is vulnerable to: PYSEC-2023-161 / GHSA-wfm5-v35h-vwf4","Warn: Project is vulnerable to: PYSEC-2021-142 / GHSA-8q59-q68h-6hv4","Warn: Project is vulnerable to: GHSA-9hjg-9r4m-mvj7","Warn: Project is vulnerable to: GHSA-9wx4-h78v-vm56","Warn: Project is vulnerable to: PYSEC-2023-74 / GHSA-j8r2-6x86-q33q"],"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 7 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"}}]},"last_synced_at":"2025-08-16T16:15:17.377Z","repository_id":48614086,"created_at":"2025-08-16T16:15:17.377Z","updated_at":"2025-08-16T16:15:17.377Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274231029,"owners_count":25245688,"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-08T02:00:09.813Z","response_time":121,"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":"agda","name":"Agda Github Community","uuid":"410000","kind":"organization","description":"","email":null,"website":"https://wiki.portal.chalmers.se/agda","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/410000?v=4","repositories_count":32,"last_synced_at":"2024-03-26T00:04:58.562Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/agda","funding_links":[],"total_stars":4326,"followers":108,"following":0,"created_at":"2022-11-02T22:21:43.583Z","updated_at":"2024-03-26T00:04:58.715Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda/repositories"},"packages":[{"id":2633166,"name":"agda-pkg","ecosystem":"pypi","description":"A package manager for Agda","homepage":"https://github.com/agda/agda-pkg","licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/agda/agda-pkg","keywords_array":["agda","package-manager","agda-pkg","apkg"],"namespace":null,"versions_count":47,"first_release_published_at":"2018-09-30T14:47:28.000Z","latest_release_published_at":"2020-06-01T16:57:18.000Z","latest_release_number":"0.1.51","last_synced_at":"2025-08-18T14:39:29.043Z","created_at":"2022-04-10T09:58:38.850Z","updated_at":"2025-08-18T14:52:22.075Z","registry_url":"https://pypi.org/project/agda-pkg/","install_command":"pip install agda-pkg --index-url https://pypi.org/simple","documentation_url":"https://agda-pkg.readthedocs.io/","metadata":{"funding":null,"documentation":null,"classifiers":["Intended Audience :: Developers","License :: OSI Approved :: MIT License","Operating System :: OS Independent","Programming Language :: Python :: 3.6"],"normalized_name":"agda-pkg","project_status":null},"repo_metadata":{"id":48614086,"uuid":"142754243","full_name":"agda/agda-pkg","owner":"agda","description":"apkg - package manager for Agda","archived":false,"fork":false,"pushed_at":"2021-07-17T22:53:40.000Z","size":19967,"stargazers_count":38,"open_issues_count":4,"forks_count":8,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-07-31T19:39:15.556Z","etag":null,"topics":["agda","lightweight-dependency-management","package-manager"],"latest_commit_sha":null,"homepage":"https://agda.github.io/agda-pkg/","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/agda.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}},"created_at":"2018-07-29T11:13:42.000Z","updated_at":"2025-05-17T10:46:42.000Z","dependencies_parsed_at":"2022-09-11T11:11:12.233Z","dependency_job_id":null,"html_url":"https://github.com/agda/agda-pkg","commit_stats":null,"previous_names":[],"tags_count":47,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda-pkg","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/sbom","scorecard":{"id":170310,"data":{"date":"2025-08-11","repo":{"name":"github.com/agda/agda-pkg","commit":"8d5cbcd76c1e4d150ad35ce39d1573c1f10f9fcd"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":2,"checks":[{"name":"Code-Review","score":1,"reason":"Found 4/28 approved changesets -- score normalized to 1","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":"Maintained","score":0,"reason":"0 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":"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":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"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":"Dangerous-Workflow","score":-1,"reason":"no workflows found","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":"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":"Pinned-Dependencies","score":-1,"reason":"no dependencies found","details":null,"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":"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":"License","score":9,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Warn: project license file does not contain an FSF or OSI license."],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"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":"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":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'master'"],"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":"Vulnerabilities","score":1,"reason":"9 existing vulnerabilities detected","details":["Warn: Project is vulnerable to: PYSEC-2024-4 / GHSA-2mqj-m65w-jghx","Warn: Project is vulnerable to: PYSEC-2023-165 / GHSA-cwvm-v4w8-q58c","Warn: Project is vulnerable to: PYSEC-2022-42992 / GHSA-hcpj-qp55-gfph","Warn: Project is vulnerable to: PYSEC-2023-137 / GHSA-pr76-5cm5-w9cj","Warn: Project is vulnerable to: PYSEC-2023-161 / GHSA-wfm5-v35h-vwf4","Warn: Project is vulnerable to: PYSEC-2021-142 / GHSA-8q59-q68h-6hv4","Warn: Project is vulnerable to: GHSA-9hjg-9r4m-mvj7","Warn: Project is vulnerable to: GHSA-9wx4-h78v-vm56","Warn: Project is vulnerable to: PYSEC-2023-74 / GHSA-j8r2-6x86-q33q"],"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 7 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"}}]},"last_synced_at":"2025-08-16T16:15:17.377Z","repository_id":48614086,"created_at":"2025-08-16T16:15:17.377Z","updated_at":"2025-08-16T16:15:17.377Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":271011661,"owners_count":24684391,"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-08-18T02:00:08.743Z","response_time":89,"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":"agda","name":"Agda Github Community","uuid":"410000","kind":"organization","description":"","email":null,"website":"https://wiki.portal.chalmers.se/agda","location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/410000?v=4","repositories_count":32,"last_synced_at":"2024-03-26T00:04:58.562Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/agda","funding_links":[],"total_stars":4326,"followers":108,"following":0,"created_at":"2022-11-02T22:21:43.583Z","updated_at":"2024-03-26T00:04:58.715Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda/repositories"},"tags":[{"name":"v0.1.51","sha":"934f22ee249a620f915f97516dbb66bb79d839db","kind":"commit","published_at":"2020-06-01T16:57:07.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.51","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.51","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.51","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.51","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.51/manifests"},{"name":"v0.1.50","sha":"114009588f1b2f35e893bbd35607890512ef75a9","kind":"commit","published_at":"2020-05-18T00:24:33.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.50","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.50","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.50","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.50","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.50/manifests"},{"name":"v0.1.49","sha":"113e3145862defb057faa15f6e2ba1bafa9ce85b","kind":"commit","published_at":"2020-05-03T11:42:21.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.49","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.49","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.49","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.49","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.49/manifests"},{"name":"v0.1.48","sha":"391384dcf9c1d5332ace2dce0937a57d26e4de7f","kind":"commit","published_at":"2020-04-29T12:20:44.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.48","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.48","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.48","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.48","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.48/manifests"},{"name":"v0.1.47","sha":"0a9f23528f66e7ab6eac941beae2325f56c5c259","kind":"commit","published_at":"2020-04-14T21:54:41.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.47","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.47","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.47","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.47","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.47/manifests"},{"name":"v0.1.46","sha":"786f2d77da99a18be28d5d553d4d71a4340ac642","kind":"commit","published_at":"2019-08-08T20:20:59.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.46","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.46","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.46","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.46","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.46/manifests"},{"name":"v0.1.45","sha":"1b5c57bee0b51d1954e5867fdd5386aaada34bc4","kind":"commit","published_at":"2019-06-30T19:07:52.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.45","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.45","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.45","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.45","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.45/manifests"},{"name":"v0.1.44","sha":"29925ada9bfe7a9e525801f52976aee93fb00dc8","kind":"commit","published_at":"2019-06-21T12:48:57.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.44","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.44","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.44","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.44","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.44/manifests"},{"name":"v0.1.43","sha":"1ae27cb1dc669f2e7dcf5275f6c9b2e281782c20","kind":"commit","published_at":"2019-06-21T12:23:10.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.43","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.43","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.43","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.43","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.43/manifests"},{"name":"v0.1.42","sha":"188cd8993cf4fb247e6b2cbfb78dbdeb41e4e210","kind":"commit","published_at":"2019-04-16T14:00:19.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.42","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.42","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.42","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.42","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.42/manifests"},{"name":"v0.1.41","sha":"982260615a11ba04b6016db08b578f1d56778052","kind":"commit","published_at":"2019-02-25T16:01:02.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.41","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.41","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.41","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.41","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.41/manifests"},{"name":"v0.1.39","sha":"7608fdd99735aef4d9040438ad0686e561a9a154","kind":"commit","published_at":"2019-01-24T18:46:50.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.39","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.39","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.39","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.39","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.39/manifests"},{"name":"v0.1.38","sha":"c3ab92a4ebc0f7a381305f316cd77ce92780eedc","kind":"commit","published_at":"2018-10-20T14:37:15.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.38","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.38","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.38","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.38","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.38/manifests"},{"name":"v0.1.37","sha":"e97d26ecb5d1d86ab10afd3d75a6093603b86239","kind":"commit","published_at":"2018-10-20T14:23:56.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.37","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.37","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.37","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.37","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.37/manifests"},{"name":"v0.1.32","sha":"fd740d31f80104389d090e865429b870eaa384d4","kind":"commit","published_at":"2018-10-15T08:31:35.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.32","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.32","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.32","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.32","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.32/manifests"},{"name":"v0.1.31","sha":"9acd307c482a1f25032d40dff345b50878fef2f7","kind":"commit","published_at":"2018-10-07T00:15:13.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.31","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.31","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.31","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.31","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.31/manifests"},{"name":"v0.1.30","sha":"7b271ac0b508a169dc9a493c4b642cfe58b9b8cd","kind":"commit","published_at":"2018-10-07T00:07:39.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.30","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.30","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.30","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.30","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.30/manifests"},{"name":"v0.1.29","sha":"83a03a5e0d83415205a549afd5fec54b04d7d869","kind":"commit","published_at":"2018-10-06T23:49:38.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.29","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.29","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.29","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.29","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.29/manifests"},{"name":"v0.1.28","sha":"22c7ff55f008f3ebbfc71b66584d80cfe925fddb","kind":"commit","published_at":"2018-10-06T21:53:00.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.28","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.28","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.28","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.28","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.28/manifests"},{"name":"v0.1.27","sha":"150af7b28952fbf919b10b03c98b4413e9fa7e38","kind":"commit","published_at":"2018-10-06T18:24:09.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.27","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.27","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.27","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.27","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.27/manifests"},{"name":"v0.1.26","sha":"69784db8b5f341aa24aee500dc7b5c34832a1ad8","kind":"commit","published_at":"2018-10-06T12:22:47.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.26","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.26","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.26","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.26","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.26/manifests"},{"name":"v0.1.25","sha":"7a2dce75fc9f3c7d3b78854ddb9058ed813f5f09","kind":"commit","published_at":"2018-10-04T16:35:25.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.25","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.25","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.25","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.25","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.25/manifests"},{"name":"v0.1.24","sha":"348d2edc0807e8d7053c44a2d49acef15c3067df","kind":"commit","published_at":"2018-10-03T13:59:45.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.24","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.24","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.24","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.24","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.24/manifests"},{"name":"v0.1.23","sha":"c27ecebb1e4bdd97247f30ae19735bdf49325224","kind":"commit","published_at":"2018-10-03T13:49:59.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.23","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.23","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.23","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.23","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.23/manifests"},{"name":"v0.1.22","sha":"149c823c20834e25fa03119e5cd377c6a76e8465","kind":"commit","published_at":"2018-10-03T13:36:35.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.22","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.22","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.22","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.22","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.22/manifests"},{"name":"v0.1.21","sha":"0cab314e35624aeb78785fbe00871cfd31ecce39","kind":"commit","published_at":"2018-10-03T12:13:17.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.21","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.21","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.21","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.21","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.21/manifests"},{"name":"v0.1.20","sha":"d93cf59d13b430d39527e4ec2dda2690dcea04c1","kind":"commit","published_at":"2018-10-03T11:13:17.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.20","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.20","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.20","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.20","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.20/manifests"},{"name":"v0.1.19","sha":"b277e26a6f3049b66b109a1f46e34d81cab63c7e","kind":"commit","published_at":"2018-10-03T11:04:35.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.19","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.19","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.19","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.19","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.19/manifests"},{"name":"v0.1.18","sha":"91423aa4ffbd0cbd2587c71daaa3af616db58f62","kind":"commit","published_at":"2018-10-03T09:39:41.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.18","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.18","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.18","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.18","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.18/manifests"},{"name":"v0.1.17","sha":"ae9b3437b621015e11a0910d5056762d249df51f","kind":"commit","published_at":"2018-10-03T08:26:35.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.17","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.17","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.17","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.17","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.17/manifests"},{"name":"v0.1.16","sha":"0e5e8332abbfc72c66c2f0747df7958d5f91a550","kind":"commit","published_at":"2018-10-01T23:25:40.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.16","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.16","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.16","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.16","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.16/manifests"},{"name":"v0.1.15","sha":"ee69c539a8dce27f014c49f8c6bc727142e10961","kind":"commit","published_at":"2018-10-01T16:35:09.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.15","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.15","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.15","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.15","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.15/manifests"},{"name":"v0.1.14","sha":"90c93ecb6ef5e287cce1ab4a6db4ffdd24c6cbfd","kind":"commit","published_at":"2018-10-01T15:50:11.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.14","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.14","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.14","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.14","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.14/manifests"},{"name":"v0.1.13","sha":"e6e3e12c134e038a38c2e1b0785cf1f2732357aa","kind":"commit","published_at":"2018-10-01T15:36:53.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.13","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.13","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.13","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.13","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.13/manifests"},{"name":"v0.1.12","sha":"0de801fdfb866c6581e329c0cf33c969dbaf6c82","kind":"commit","published_at":"2018-10-01T14:38:42.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.12","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.12","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.12","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.12","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.12/manifests"},{"name":"v0.1.11","sha":"15166700306d38241d7bc5c88267648daef5a562","kind":"commit","published_at":"2018-10-01T09:31:01.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.11","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.11","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.11","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.11","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.11/manifests"},{"name":"v0.1.10","sha":"15166700306d38241d7bc5c88267648daef5a562","kind":"commit","published_at":"2018-10-01T09:31:01.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.10","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.10","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.10","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.10","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.10/manifests"},{"name":"v0.1.9","sha":"b8f47f86af193dd335a2e32a6d2a0128f401fa97","kind":"commit","published_at":"2018-09-30T20:57:32.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.9","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.9","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.9","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.9","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.9/manifests"},{"name":"v0.1.8","sha":"e4907711e000ba5722ba8d75de76eeeb4ecc0f85","kind":"commit","published_at":"2018-09-30T20:46:15.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.8","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.8","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.8","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.8/manifests"},{"name":"v0.1.7","sha":"4dcba7bb28b7cfad0faebd32f056bc1a9e1a17b2","kind":"commit","published_at":"2018-09-30T20:30:12.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.7","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.7/manifests"},{"name":"v0.1.6","sha":"70d1c2825e855be06a5afbffd7a359a4cada4bb9","kind":"commit","published_at":"2018-09-30T14:48:13.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.6","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.6/manifests"},{"name":"v0.1.5","sha":"f2fea55f1ffe6d60a07c7d637ab9765471b7a02f","kind":"commit","published_at":"2018-09-30T14:43:38.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.5","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.5/manifests"},{"name":"v0.1.4","sha":"b09222f0ad46d1e44c5867901fb5615a4beaf6ff","kind":"commit","published_at":"2018-09-30T14:36:15.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.4","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.4/manifests"},{"name":"v0.1.3","sha":"051d751e5bb6a60ccc3eaf7da5e4236077bf47c0","kind":"commit","published_at":"2018-09-30T14:21:31.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.3","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.3/manifests"},{"name":"v0.1.2","sha":"fd4f7f95129387e1eafe5011864c65962b143b50","kind":"commit","published_at":"2018-09-30T12:31:13.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.2","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.2/manifests"},{"name":"v0.1.1","sha":"418d87d965e36df3f6a14497cf63eb6f14e0fea0","kind":"commit","published_at":"2018-09-30T11:40:17.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.1","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.1/manifests"},{"name":"v0.1.0","sha":"259fc2aca5b60e341440d2ef4e3e3381239409f2","kind":"commit","published_at":"2018-09-30T11:27:30.000Z","download_url":"https://codeload.github.com/agda/agda-pkg/tar.gz/v0.1.0","html_url":"https://github.com/agda/agda-pkg/releases/tag/v0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-pkg@v0.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/tags/v0.1.0/manifests"}]},"repo_metadata_updated_at":"2025-08-18T14:52:22.074Z","dependent_packages_count":0,"downloads":514,"downloads_period":"last-month","dependent_repos_count":1,"rankings":{"downloads":18.297629816914686,"dependent_repos_count":21.657221655882843,"dependent_packages_count":10.038423948696664,"stargazers_count":11.008972554539056,"forks_count":11.928372390130644,"docker_downloads_count":null,"average":14.586124073232778},"purl":"pkg:pypi/agda-pkg","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/agda-pkg","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pypi/agda-pkg","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/agda-pkg/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-07-31T18:02:23.174Z","issues_count":39,"pull_requests_count":10,"avg_time_to_close_issue":4152050.108108108,"avg_time_to_close_pull_request":552801.375,"issues_closed_count":37,"pull_requests_closed_count":8,"pull_request_authors_count":7,"issue_authors_count":9,"avg_comments_per_issue":1.0769230769230769,"avg_comments_per_pull_request":0.9,"merged_pull_requests_count":8,"bot_issues_count":0,"bot_pull_requests_count":2,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/issues","maintainers":[{"login":"apkgbot","count":17,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/apkgbot"},{"login":"jonaprieto","count":15,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jonaprieto"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/agda-pkg/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/agda-pkg/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/agda-pkg/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/agda-pkg/related_packages","maintainers":[{"uuid":"jonaprieto","login":"jonaprieto","name":null,"email":null,"url":null,"packages_count":3,"html_url":"https://pypi.org/user/jonaprieto/","role":null,"created_at":"2022-11-14T23:50:17.185Z","updated_at":"2022-11-14T23:50:17.185Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/jonaprieto/packages"}],"registry":{"name":"pypi.org","url":"https://pypi.org","ecosystem":"pypi","default":true,"packages_count":726320,"maintainers_count":308829,"namespaces_count":0,"keywords_count":238245,"github":"pypi","metadata":{"funded_packages_count":50579},"icon_url":"https://github.com/pypi.png","created_at":"2022-04-04T15:19:23.364Z","updated_at":"2025-09-08T05:32:36.857Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/namespaces"}}],"commits":{"id":531430,"full_name":"agda/agda-pkg","default_branch":"master","committers":[{"name":"Jonathan Prieto-Cubides","email":"jcu043@uib.no","count":134},{"name":"Jonathan Prieto-Cubides","email":"jonathan.cubides@uib.no","count":20},{"name":"apkgbot","email":"apkgbot@gmail.com","count":9},{"name":"Will Badart","email":"will@willbadart.com","count":1},{"name":"Mort Yao","email":"mort.yao@gmail.com","count":1},{"name":"Brandon Elam Barker","email":"brandon.barker@gmail.com","count":1},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]@users.noreply.github.com","count":1},{"name":"Jonathan Prieto-Cubides","email":"prieto.jona@gmail.com","count":1},{"name":"merua","email":"46847523+merua@users.noreply.github.com","count":1}],"total_commits":169,"total_committers":9,"total_bot_commits":1,"total_bot_committers":1,"mean_commits":18.77777777777778,"dds":0.20710059171597628,"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-17T20:02:44.662Z","last_synced_commit":"8d5cbcd76c1e4d150ad35ce39d1573c1f10f9fcd","created_at":"2023-03-09T03:48:47.161Z","updated_at":"2023-09-19T17:09:38.928Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-09T00:17:06.873Z","repositories_count":5498846,"commits_count":856676486,"contributors_count":31303598,"owners_count":913068,"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":"agda/agda-pkg","html_url":"https://github.com/agda/agda-pkg","last_synced_at":"2025-08-18T14:52:21.913Z","status":"error","issues_count":39,"pull_requests_count":10,"avg_time_to_close_issue":4152050.108108108,"avg_time_to_close_pull_request":552801.375,"issues_closed_count":37,"pull_requests_closed_count":8,"pull_request_authors_count":7,"issue_authors_count":9,"avg_comments_per_issue":1.0769230769230769,"avg_comments_per_pull_request":0.9,"merged_pull_requests_count":8,"bot_issues_count":0,"bot_pull_requests_count":2,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"created_at":"2023-05-14T08:32:37.504Z","updated_at":"2025-08-18T14:52:21.914Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-pkg/issues","issue_labels_count":{"command-option":15,"enhancement":12,"agda-maintenance":7,"file-management":5,"bug":3,"package-index":2,"git-management":2,"help wanted":1},"pull_request_labels_count":{"dependencies":2,"git-management":1,"command-option":1},"issue_author_associations_count":{"COLLABORATOR":16,"MEMBER":13,"NONE":7,"CONTRIBUTOR":3},"pull_request_author_associations_count":{"CONTRIBUTOR":7,"MEMBER":2,"COLLABORATOR":1},"issue_authors":{"apkgbot":16,"jonaprieto":13,"bbarker":2,"wenkokke":2,"alexarice":2,"cspollard":1,"Ailrun":1,"michel1948":1,"soimort":1},"pull_request_authors":{"bbarker":2,"jonaprieto":2,"dependabot[bot]":2,"wbadart":1,"soimort":1,"apkgbot":1,"merua":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.939Z","repositories_count":10073197,"issues_count":31254800,"pull_requests_count":95591398,"authors_count":10690348,"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":{},"past_year_issue_authors":{},"past_year_pull_request_authors":{},"maintainers":[{"login":"apkgbot","count":17,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/apkgbot"},{"login":"jonaprieto","count":15,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/jonaprieto"}],"active_maintainers":[]},"events":{"total":{"WatchEvent":1},"last_year":{"WatchEvent":1}},"keywords":["agda","lightweight-dependency-management","package-manager"],"dependencies":[{"ecosystem":"pypi","filepath":"apkg/support/nixos/agda_requirements.txt","sha":null,"kind":"manifest","created_at":"2022-09-11T11:11:11.728Z","updated_at":"2022-09-11T11:11:11.728Z","repository_link":"https://github.com/agda/agda-pkg/blob/master/apkg/support/nixos/agda_requirements.txt","dependencies":[{"id":4486376934,"package_name":"standard-library","ecosystem":"pypi","requirements":"==v1.2","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"requirements.txt","sha":null,"kind":"manifest","created_at":"2022-09-11T11:11:11.899Z","updated_at":"2022-09-11T11:11:11.899Z","repository_link":"https://github.com/agda/agda-pkg/blob/master/requirements.txt","dependencies":[{"id":4486378600,"package_name":"click","ecosystem":"pypi","requirements":"==7.1.1","direct":true,"kind":"runtime","optional":false},{"id":4486378601,"package_name":"GitPython","ecosystem":"pypi","requirements":"==3.1.1","direct":true,"kind":"runtime","optional":false},{"id":4486378602,"package_name":"ponywhoosh","ecosystem":"pypi","requirements":"==1.7.8","direct":true,"kind":"runtime","optional":false},{"id":4486378603,"package_name":"natsort","ecosystem":"pypi","requirements":"==7.0.1","direct":true,"kind":"runtime","optional":false},{"id":4486378604,"package_name":"click-log","ecosystem":"pypi","requirements":"==0.3.2","direct":true,"kind":"runtime","optional":false},{"id":4486378605,"package_name":"humanize","ecosystem":"pypi","requirements":"==0.5.1","direct":true,"kind":"runtime","optional":false},{"id":4486378606,"package_name":"requests","ecosystem":"pypi","requirements":"==2.23.0","direct":true,"kind":"runtime","optional":false},{"id":4486378607,"package_name":"distlib","ecosystem":"pypi","requirements":"==0.3.0","direct":true,"kind":"runtime","optional":false},{"id":4486378608,"package_name":"PyYAML","ecosystem":"pypi","requirements":"==5.3.1","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"setup.py","sha":null,"kind":"manifest","created_at":"2022-09-11T11:11:12.012Z","updated_at":"2022-09-11T11:11:12.012Z","repository_link":"https://github.com/agda/agda-pkg/blob/master/setup.py","dependencies":[{"id":4486378763,"package_name":"click","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378764,"package_name":"gitpython","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378765,"package_name":"pony","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378766,"package_name":"whoosh","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378767,"package_name":"ponywhoosh","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378768,"package_name":"natsort","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378769,"package_name":"click-log","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378770,"package_name":"requests","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378771,"package_name":"humanize","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378772,"package_name":"Jinja2","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378773,"package_name":"distlib","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":4486378774,"package_name":"PyYAML","ecosystem":"pypi","requirements":"\u003e=5.1.1","direct":true,"kind":"runtime","optional":false}]}],"score":12.181000961101152,"created_at":"2025-09-08T21:41:24.834Z","updated_at":"2025-10-07T08:29:54.040Z","avatar_url":"https://github.com/agda.png","language":"Python","category":null,"sub_category":null,"monthly_downloads":514,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["graph-theory"],"project_url":"https://science.ecosyste.ms/api/v1/projects/92456","html_url":"https://science.ecosyste.ms/projects/92456"}