{"id":197610,"name":"idris","ecosystem":"hackage","description":"Idris is a general purpose language with full dependent types.\nIt is compiled, with eager evaluation.\nDependent types allow types to be predicated on values,\nmeaning that some aspects of a program's behaviour can be\nspecified precisely in the type. The language is closely\nrelated to Epigram and Agda. There is a tutorial at\nhttps://www.idris-lang.org/documentation.\nFeatures include:\n\nFull, first class, dependent types with dependent pattern matching\n\nwhere clauses, with rule, case expressions,\npattern matching let and lambda bindings\n\nInterfaces (similar to type classes), monad comprehensions\n\ndo notation, idiom brackets, syntactic conveniences for lists,\ntuples, dependent pairs\n\nTotality checking\n\nCoinductive types\n\nIndentation significant syntax, extensible syntax\n\nCumulative universes\n\nSimple foreign function interface (to C)\n\nHugs style interactive environment","homepage":"https://www.idris-lang.org/","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"https://github.com/idris-lang/Idris-dev","keywords_array":["bsd3","compilers-interpreters","dependent-types","library","program","Propose Tags"],"namespace":null,"versions_count":71,"first_release_published_at":"2009-12-20T23:59:11.000Z","latest_release_published_at":"2021-10-22T22:58:30.000Z","latest_release_number":"1.3.4","last_synced_at":"2026-10-07T07:24:10.764Z","created_at":"2022-04-05T21:37:08.255Z","updated_at":"2026-10-07T07:24:12.357Z","registry_url":"https://hackage.haskell.org/package/idris","install_command":"cabal install idris","documentation_url":null,"metadata":{},"repo_metadata":{"id":1660609,"uuid":"2386778","full_name":"idris-lang/Idris-dev","owner":"idris-lang","description":"A Dependently Typed Functional Programming Language","archived":true,"fork":false,"pushed_at":"2025-02-17T14:08:47.000Z","size":38281,"stargazers_count":3477,"open_issues_count":708,"forks_count":630,"subscribers_count":4,"default_branch":"master","last_synced_at":"2026-09-28T23:02:16.024Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://idris-lang.org","language":"Haskell","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/idris-lang.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.md","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2011-09-14T16:55:49.000Z","updated_at":"2026-09-18T16:21:54.000Z","dependencies_parsed_at":"2024-11-26T05:02:20.821Z","dependency_job_id":"8f5736f7-7395-4be5-a4d6-4c741384380e","html_url":"https://github.com/idris-lang/Idris-dev","commit_stats":{"total_commits":7490,"total_committers":412,"mean_commits":"18.179611650485437","dds":0.7692923898531375,"last_synced_commit":"80fa67e719d9ae69cec01ca94cb0183268d0eb72"},"previous_names":[],"tags_count":44,"template":false,"template_full_name":null,"purl":"pkg:github/idris-lang/Idris-dev","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/idris-lang","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/sbom","scorecard":{"id":481736,"data":{"date":"2025-08-11","repo":{"name":"github.com/idris-lang/Idris-dev","commit":"fc50b6fd9f67a0f499d08b5b81fff139a080cb2d"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":4,"checks":[{"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":"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":"Code-Review","score":9,"reason":"Found 14/15 approved changesets -- score normalized to 9","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":"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":"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":"Binary-Artifacts","score":9,"reason":"binaries present in source code","details":["Warn: binary detected: test/interpret003/test:1"],"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":"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":"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":"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":"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":"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":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"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":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 30 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-19T16:48:49.293Z","repository_id":1660609,"created_at":"2025-08-19T16:48:49.293Z","updated_at":"2025-08-19T16:48:49.293Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":343170754,"owners_count":38106309,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-10-03T21:59:58.778Z","status":"online","status_checked_at":"2026-10-07T02:00:06.311Z","response_time":58,"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":"idris-lang","name":"idris-lang","uuid":"5552910","kind":"organization","description":"","email":null,"website":null,"location":null,"twitter":null,"company":null,"icon_url":"https://avatars.githubusercontent.com/u/5552910?v=4","repositories_count":5,"last_synced_at":"2024-03-26T03:07:16.462Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/idris-lang","funding_links":[],"total_stars":5902,"followers":76,"following":0,"created_at":"2022-11-03T03:27:33.781Z","updated_at":"2024-03-26T03:07:16.494Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/idris-lang","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/idris-lang/repositories"},"tags":[{"name":"v1.3.4","sha":"d37b0cbc0728b24a13bd05fcf9263803bad2ea9f","kind":"tag","published_at":"2021-10-22T22:32:38.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v1.3.4","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v1.3.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v1.3.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.3.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.3.4/manifests"},{"name":"v1.3.3","sha":"0f4c4a66d255ba4053c8bcc8bf6c63cd126642fc","kind":"commit","published_at":"2020-05-23T22:47:57.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v1.3.3","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v1.3.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v1.3.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.3.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.3.3/manifests"},{"name":"v1.3.2","sha":"79104f44f44eb24891f321b05febda829285498c","kind":"tag","published_at":"2019-07-22T10:46:42.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v1.3.2","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v1.3.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v1.3.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.3.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.3.2/manifests"},{"name":"v1.3.1","sha":"1510fce9236a088031f7468bf2024b31fe8d1165","kind":"tag","published_at":"2018-10-23T09:40:34.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v1.3.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v1.3.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v1.3.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.3.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.3.1/manifests"},{"name":"v1.3.0","sha":"61cf812e97c0cf07a9596c1d36ab5a70eb5758b2","kind":"tag","published_at":"2018-05-26T17:30:22.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v1.3.0","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v1.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v1.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.3.0/manifests"},{"name":"v1.2.0","sha":"d77513b966051dc1bcd01a39d1927daf7365ea25","kind":"tag","published_at":"2018-01-07T18:12:04.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v1.2.0","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v1.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v1.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.2.0/manifests"},{"name":"v1.1.1","sha":"cec8697cf47ce448bd285b6ad3a2b833a54dcda7","kind":"tag","published_at":"2017-08-05T17:51:42.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v1.1.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v1.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v1.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.1.1/manifests"},{"name":"v1.1.0","sha":"70f172c92ada0d57495ccbe477271d699ef7de85","kind":"tag","published_at":"2017-08-01T11:51:00.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v1.1.0","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v1.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v1.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.1.0/manifests"},{"name":"v1.0.1","sha":"7a54e9cf21acb1642310f100da96c3b4717c5fd0","kind":"tag","published_at":"2017-08-01T09:24:52.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v1.0.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v1.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v1.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.0.1/manifests"},{"name":"v1.0","sha":"e371823b6e2c2d617d95944fff574c609b32f6b3","kind":"tag","published_at":"2017-04-01T08:14:05.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v1.0","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v1.0/manifests"},{"name":"v0.99.2","sha":"937c707da47c5108ca09929458b315d34ce2cf52","kind":"tag","published_at":"2017-03-26T15:27:03.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.99.2","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.99.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.99.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.99.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.99.2/manifests"},{"name":"v0.99.1","sha":"a624eb038f31bb5aafbe7d2c753f419427c39b56","kind":"tag","published_at":"2017-03-08T11:06:44.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.99.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.99.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.99.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.99.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.99.1/manifests"},{"name":"v0.99","sha":"4a54ee77578cf1a91d3555c2d77147377d4eb593","kind":"tag","published_at":"2016-11-28T21:02:13.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.99","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.99","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.99","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.99","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.99/manifests"},{"name":"v0.12.3","sha":"59577e6c1df4587e2a44e46bee4041dea63d0927","kind":"tag","published_at":"2016-09-18T11:11:52.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.12.3","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.12.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.12.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.12.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.12.3/manifests"},{"name":"v0.12.2","sha":"a0c98e42b8bdcd5b1b15d8b467a1650accadefb8","kind":"tag","published_at":"2016-08-03T17:11:06.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.12.2","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.12.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.12.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.12.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.12.2/manifests"},{"name":"v0.12.1","sha":"570845577856dabade20d70b1203020148acce85","kind":"tag","published_at":"2016-07-26T08:32:20.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.12.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.12.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.12.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.12.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.12.1/manifests"},{"name":"v0.12","sha":"5d937e1b8f7d410dd2740a6429cac3c279e0937e","kind":"tag","published_at":"2016-06-21T08:18:49.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.12","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.12","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.12","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.12","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.12/manifests"},{"name":"v0.11.2","sha":"f8e66f935cc184624d14b7e370e8a91ffa95cf8d","kind":"tag","published_at":"2016-05-18T11:31:46.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.11.2","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.11.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.11.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.11.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.11.2/manifests"},{"name":"v0.11.1","sha":"11c7d46aa0e64a81a0fa34976b51064334e190de","kind":"tag","published_at":"2016-05-02T09:30:55.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.11.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.11.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.11.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.11.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.11.1/manifests"},{"name":"v0.11","sha":"33037476c323da2d6a286851461f43513554dcb5","kind":"tag","published_at":"2016-03-25T23:54:35.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.11","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.11","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.11","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.11","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.11/manifests"},{"name":"v0.10.3","sha":"df05f31ddee820384ba6cf9057b9007a25f177c0","kind":"tag","published_at":"2016-03-19T14:29:03.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.10.3","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.10.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.10.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.10.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.10.3/manifests"},{"name":"v0.10.2","sha":"911b97d771ff9031b156af4fac0856c07ecb305e","kind":"tag","published_at":"2016-02-27T10:21:55.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.10.2","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.10.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.10.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.10.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.10.2/manifests"},{"name":"v0.10.1","sha":"fdb04aff1e29233e47c46a44b79ecaa1f612244d","kind":"tag","published_at":"2016-02-25T15:45:04.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.10.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.10.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.10.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.10.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.10.1/manifests"},{"name":"v0.10","sha":"6d9ef7bde07a43fc4b5277c4682aa8dae5af124f","kind":"tag","published_at":"2016-01-20T22:58:39.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.10","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.10","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.10","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.10","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.10/manifests"},{"name":"v0.9.20.2","sha":"426cb7298a9a93c4cef72ec0f2a3fc61b7feb66e","kind":"tag","published_at":"2015-12-15T15:15:23.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.20.2","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.20.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.20.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.20.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.20.2/manifests"},{"name":"v0.9.20.1","sha":"140d06ab0a2ca4c0b5369e476002753930df31d0","kind":"tag","published_at":"2015-11-15T16:11:38.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.20.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.20.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.20.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.20.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.20.1/manifests"},{"name":"v0.9.20","sha":"913cddbbfd94cae59fcab778592d774b8ab175b0","kind":"tag","published_at":"2015-11-08T11:23:48.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.20","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.20","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.20","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.20","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.20/manifests"},{"name":"v0.9.19.1","sha":"ccf6c405fb99faeb2677101f0a8e766dc2bc8969","kind":"tag","published_at":"2015-09-22T10:48:35.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.19.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.19.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.19.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.19.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.19.1/manifests"},{"name":"v0.9.19","sha":"8472399e9ca77edbb0e561ff4024bee2b3e1d457","kind":"tag","published_at":"2015-08-31T19:33:45.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.19","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.19","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.19","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.19","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.19/manifests"},{"name":"v0.9.18.1","sha":"c58ed3ace26d87bed863262d392a510843831255","kind":"tag","published_at":"2015-05-23T11:48:44.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.18.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.18.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.18.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.18.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.18.1/manifests"},{"name":"v0.9.18","sha":"ad553427405ffaf1f8006e6119776912cc783652","kind":"tag","published_at":"2015-05-17T21:40:18.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.18","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.18","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.18","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.18","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.18/manifests"},{"name":"v0.9.17.1","sha":"9866d4888b7792f3a1e8f95fab0a3cc4b996270e","kind":"tag","published_at":"2015-03-23T20:06:55.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.17.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.17.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.17.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.17.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.17.1/manifests"},{"name":"v0.9.17","sha":"11c5ceaa4ecce673428d6093621c1a963c2d05d7","kind":"tag","published_at":"2015-03-21T14:14:00.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.17","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.17","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.17","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.17","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.17/manifests"},{"name":"v0.9.16","sha":"b0687583756adedf034c27fd152e8e10895fa2a4","kind":"tag","published_at":"2015-01-15T10:29:23.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.16","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.16","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.16","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.16","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.16/manifests"},{"name":"v0.9.15.1","sha":"c25f72c6afeeba2f4173c096f02a30cf1f4fd07a","kind":"tag","published_at":"2014-10-27T10:09:51.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.15.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.15.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.15.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.15.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.15.1/manifests"},{"name":"v0.9.15","sha":"e380d0c098223907f2bfe4be57fa592dd2e280d2","kind":"tag","published_at":"2014-10-26T19:13:56.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.15","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.15","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.15","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.15","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.15/manifests"},{"name":"v0.9.14.2","sha":"8fadb31fa871c1ebed367a82d258c5b3209baf8f","kind":"tag","published_at":"2014-08-29T09:27:40.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.14.2","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.14.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.14.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.14.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.14.2/manifests"},{"name":"v0.9.14.1","sha":"8407c27ae4e6773573a8b5ea49349e0f220cfccb","kind":"tag","published_at":"2014-07-30T18:14:33.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.14.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.14.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.14.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.14.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.14.1/manifests"},{"name":"v0.9.14","sha":"dbc053999226ba0383d38e984bad657f7b65eb8e","kind":"tag","published_at":"2014-07-16T19:42:53.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.14","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.14","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.14","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.14","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.14/manifests"},{"name":"v0.9.13.1","sha":"3ac9e7ddc015ce7a5dca84e26badfafafd670343","kind":"tag","published_at":"2014-06-09T19:56:07.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.13.1","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.13.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.13.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.13.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.13.1/manifests"},{"name":"v0.9.13","sha":"4d215c14b01c5e39fd4aa9453b591fee8e16ae77","kind":"tag","published_at":"2014-06-03T23:32:11.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.13","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.13","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.13","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.13","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.13/manifests"},{"name":"v0.9.12","sha":"d2eaa285f5214604fde095d5d9e53e7ff0791455","kind":"tag","published_at":"2014-04-04T14:21:05.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.12","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.12","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.12","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.12","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.12/manifests"},{"name":"v0.9.11","sha":"b45f766b27863f39ea5e191146c44517b7d911a1","kind":"tag","published_at":"2014-02-04T16:11:28.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.11","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.11","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.11","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.11","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.11/manifests"},{"name":"v0.9.10","sha":"a10bcf01756af674e0015eb2d80bd4d8745e095f","kind":"tag","published_at":"2013-11-28T10:33:51.000Z","download_url":"https://codeload.github.com/idris-lang/Idris-dev/tar.gz/v0.9.10","html_url":"https://github.com/idris-lang/Idris-dev/releases/tag/v0.9.10","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/idris-lang/Idris-dev@v0.9.10","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.10","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/idris-lang%2FIdris-dev/tags/v0.9.10/manifests"}]},"repo_metadata_updated_at":"2026-10-07T07:24:12.357Z","dependent_packages_count":0,"downloads":74291,"downloads_period":"total","dependent_repos_count":24,"rankings":{"downloads":1.9384006781576715,"dependent_repos_count":10.810963549025148,"dependent_packages_count":19.27098050296694,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":10.673448243383254},"purl":"pkg:hackage/idris","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/idris","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/idris","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/idris/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":{"last_synced_at":"2026-10-02T21:12:21.643Z","issues_count":43,"pull_requests_count":60,"avg_time_to_close_issue":18515368.023255814,"avg_time_to_close_pull_request":177369.4642857143,"issues_closed_count":43,"pull_requests_closed_count":56,"pull_request_authors_count":12,"issue_authors_count":22,"avg_comments_per_issue":2.9767441860465116,"avg_comments_per_pull_request":0.21666666666666667,"merged_pull_requests_count":54,"bot_issues_count":0,"bot_pull_requests_count":0,"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/idris-lang%2FIdris-dev/issues","maintainers":[{"login":"raichoo","count":31,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/raichoo"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/idris/codemeta","maintainers":[{"uuid":"EdwinBrady","login":"EdwinBrady","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/EdwinBrady","role":null,"created_at":"2022-11-14T18:32:39.055Z","updated_at":"2022-11-14T18:32:39.055Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/EdwinBrady/packages"},{"uuid":"niklasl","login":"niklasl","name":null,"email":null,"url":null,"packages_count":2,"html_url":"https://hackage.haskell.org/user/niklasl","role":null,"created_at":"2022-11-14T18:32:39.096Z","updated_at":"2022-11-14T18:32:39.096Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/niklasl/packages"}]}