{"id":160847,"name":"agda-language-server","ecosystem":"hackage","description":"Please see the README on GitHub at https://github.com/agda/agda-language-server#readme","homepage":"https://github.com/agda/agda-language-server#readme","licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/agda/agda-language-server","keywords_array":["development","library","mit","program","Propose Tags"],"namespace":null,"versions_count":9,"first_release_published_at":"2021-04-06T04:40:52.000Z","latest_release_published_at":"2021-10-25T06:27:44.000Z","latest_release_number":"0.2.1","last_synced_at":"2026-10-04T01:44:26.952Z","created_at":"2022-04-05T17:42:12.113Z","updated_at":"2026-10-04T01:44:26.952Z","registry_url":"https://hackage.haskell.org/package/agda-language-server","install_command":"cabal install agda-language-server","documentation_url":null,"metadata":{},"repo_metadata":{"id":40344315,"uuid":"100691958","full_name":"agda/agda-language-server","owner":"agda","description":"Language Server for Agda","archived":false,"fork":false,"pushed_at":"2026-09-23T06:20:25.000Z","size":553,"stargazers_count":128,"open_issues_count":5,"forks_count":21,"subscribers_count":8,"default_branch":"master","last_synced_at":"2026-10-03T16:45:55.144Z","etag":null,"topics":["agda","agda-mode","language-server-protocol"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/agda.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"claude":null,"gemini":null,"cursor":null,"copilot":null,"dco":null,"cla":null,"disclosure":null}},"created_at":"2017-08-18T08:42:00.000Z","updated_at":"2026-09-26T16:17:37.000Z","dependencies_parsed_at":"2026-09-22T07:29:30.286Z","dependency_job_id":"88d3c71a-941b-4cd2-82f3-d9b454babe9d","html_url":"https://github.com/agda/agda-language-server","commit_stats":null,"previous_names":["agda/agda-language-server","banacorn/agda-language-server"],"tags_count":35,"template":false,"template_full_name":null,"purl":"pkg:github/agda/agda-language-server","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/agda","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":343072799,"owners_count":37989235,"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":"ssl_error","status_checked_at":"2026-10-03T21:59:58.217Z","response_time":59,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"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":"dev","sha":"8011b1f47254cb852ca78afa3dd1d2b78cb184c5","kind":"commit","published_at":"2026-09-22T07:07:37.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/dev","html_url":"https://github.com/agda/agda-language-server/releases/tag/dev","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@dev","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/dev","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/dev/manifests"},{"name":"v8","sha":"0f77a209243185cb8e36a11bfc7b6ab47f5125b4","kind":"commit","published_at":"2026-09-22T06:09:57.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v8","html_url":"https://github.com/agda/agda-language-server/releases/tag/v8","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v8","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v8/manifests"},{"name":"v7","sha":"ceba75e3dbe16eb3e345399d4f983a7dc81d095e","kind":"commit","published_at":"2026-09-16T08:46:29.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v7","html_url":"https://github.com/agda/agda-language-server/releases/tag/v7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v7/manifests"},{"name":"v6","sha":"36c9612afff81dd9b0657805d3e636ce7c8355e5","kind":"commit","published_at":"2026-04-11T10:53:43.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v6","html_url":"https://github.com/agda/agda-language-server/releases/tag/v6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v6/manifests"},{"name":"v0.2.7.0.1.5","sha":"046e02ba5291081696fbd94ece30464a0fc59ca8","kind":"commit","published_at":"2024-12-18T09:39:32.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.7.0.1.5","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.7.0.1.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.7.0.1.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.5/manifests"},{"name":"v0.2.7.0.1.4","sha":"acfe0dbda4ade7e7c7b384360a2499e1e79cb984","kind":"commit","published_at":"2024-12-06T11:00:19.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.7.0.1.4","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.7.0.1.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.7.0.1.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.4/manifests"},{"name":"v0.2.7.0.1.3","sha":"a9d8bae0de2bf67a4f6fa79ef6a404f17a696050","kind":"commit","published_at":"2024-12-04T16:36:52.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.7.0.1.3","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.7.0.1.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.7.0.1.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.3/manifests"},{"name":"v0.2.7.0.1.2","sha":"79039ef78d85310dd1d46c8b0f3651d590ccae6c","kind":"commit","published_at":"2024-12-04T10:28:11.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.7.0.1.2","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.7.0.1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.7.0.1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.2/manifests"},{"name":"v0.2.7.0.1.1","sha":"5e4da3bbcee7348b12e01804f7046a7eae0d3ce3","kind":"commit","published_at":"2024-12-04T10:12:32.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.7.0.1.1","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.7.0.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.7.0.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.1/manifests"},{"name":"v0.2.7.0.1.0","sha":"0fd129ca306d646b35d17c20e2f0899492dbfd77","kind":"commit","published_at":"2024-12-02T06:45:19.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.7.0.1.0","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.7.0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.7.0.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.7.0.1.0/manifests"},{"name":"v0.2.6.4.0.3","sha":"db6ae5db91e46a5d5de6170197050589a59f50b8","kind":"commit","published_at":"2023-12-14T16:21:36.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.6.4.0.3","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.6.4.0.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.6.4.0.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.4.0.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.4.0.3/manifests"},{"name":"v-test-release","sha":"7b5d33d0985f509d06b9efc4a67f93a8ed32b8ba","kind":"commit","published_at":"2023-12-14T16:05:11.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v-test-release","html_url":"https://github.com/agda/agda-language-server/releases/tag/v-test-release","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v-test-release","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v-test-release","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v-test-release/manifests"},{"name":"v0.2.6.4.0.2","sha":"f685bda6aec7f214b5637a999292548496b1b0af","kind":"commit","published_at":"2023-12-14T15:44:42.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.6.4.0.2","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.6.4.0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.6.4.0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.4.0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.4.0.2/manifests"},{"name":"v0.2.6.4.0.1","sha":"ebfdf18c3a2b330b1ba7780ffceb0a082a67313e","kind":"commit","published_at":"2023-12-12T14:47:06.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.6.4.0.1","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.6.4.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.6.4.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.4.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.4.0.1/manifests"},{"name":"v0.2.6.4.0.0","sha":"0e18ff229d25c1ccf9f127a394dd38308b3a5cb5","kind":"commit","published_at":"2023-12-11T16:23:23.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.6.4.0.0","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.6.4.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.6.4.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.4.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.4.0.0/manifests"},{"name":"v0.2.6.3.0","sha":"6b0386c0097f6ae8112f146ab089a3f1f7d3e520","kind":"tag","published_at":"2023-11-23T10:22:13.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.6.3.0","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.6.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.6.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.3.0/manifests"},{"name":"v0.2.6.2.2.1","sha":"fa680de828db763cbe793ae3316a174b90659176","kind":"tag","published_at":"2023-11-21T13:52:24.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.6.2.2.1","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.6.2.2.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.6.2.2.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.2.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.2.2.1/manifests"},{"name":"v0.2.6.2.2","sha":"d4eb37867fcf6569f17c659afb4b044ad6c0a370","kind":"tag","published_at":"2023-11-21T12:20:37.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.6.2.2","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.6.2.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.6.2.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.2.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.6.2.2/manifests"},{"name":"v0.2.2","sha":"63ec87e2a29f525f5e584cea0e6d4bc6e366b521","kind":"commit","published_at":"2021-10-25T07:04:37.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.2","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.2/manifests"},{"name":"v0.2.1","sha":"dbc911e8e04cc339db6949d5c063ce2e7fdd4dac","kind":"commit","published_at":"2021-10-22T09:35:45.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.1","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.1/manifests"},{"name":"v0.2.0","sha":"41b8fb0ea16509fc7253005fdb73a6796a61af18","kind":"commit","published_at":"2021-10-21T14:27:32.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.2.0","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.2.0/manifests"},{"name":"v0.1.4","sha":"788061f0793ebcc1d2c4f34dc6e18b43a7954d71","kind":"commit","published_at":"2021-10-04T06:16:27.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.1.4","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.1.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.1.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.4/manifests"},{"name":"v0.1.3","sha":"0a12d2f5938fe5acb3cdef95880060b2aa4e5228","kind":"commit","published_at":"2021-10-04T01:42:17.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.1.3","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.1.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.1.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.3/manifests"},{"name":"v0.1.2","sha":"03774149782af8661b922dd16920268ccca3d97f","kind":"commit","published_at":"2021-10-03T15:12:36.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.1.2","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.1.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.1.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.2/manifests"},{"name":"v0.1.1","sha":"1dc75eb6ca5e224bb2ff353398a6a0714302477b","kind":"commit","published_at":"2021-08-30T15:06:49.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.1.1","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.1.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.1/manifests"},{"name":"v0.1.0.5","sha":"983226b8c8e32ea43862a080c828893a384e917a","kind":"commit","published_at":"2021-08-29T14:33:58.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.1.0.5","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.1.0.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.1.0.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.5/manifests"},{"name":"v0.1.0.4","sha":"4d9b235fc793c27f64b5e2f1795b7ef596eb9e71","kind":"commit","published_at":"2021-08-26T11:26:01.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.1.0.4","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.1.0.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.1.0.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.4/manifests"},{"name":"v0.1.0.3","sha":"28e7f8ef7bf9e6718f8b051b62bb95dd02736126","kind":"commit","published_at":"2021-08-19T03:57:27.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.1.0.3","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.1.0.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.1.0.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.3/manifests"},{"name":"v0.1.0.2","sha":"eb18d207b644773a01e435f8cbd36095b75da3a9","kind":"commit","published_at":"2021-08-18T13:49:15.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.1.0.2","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.1.0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.1.0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.2/manifests"},{"name":"v0.1.0.1","sha":"644b2278c89aa49820c6c813d3b1aa5f1c311762","kind":"commit","published_at":"2021-08-18T09:34:16.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.1.0.1","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.1.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.1.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.1/manifests"},{"name":"v0.1.0.0","sha":"75109d0e249d48c09ccea54bbf56be86ee574bcd","kind":"commit","published_at":"2021-08-18T06:23:37.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.1.0.0","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.1.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.1.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.1.0.0/manifests"},{"name":"v0.0.3.0-a0","sha":"83c84d8c0a3c0bd7a8a83696eee494024e629296","kind":"commit","published_at":"2021-08-18T04:39:45.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.0.3.0-a0","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.0.3.0-a0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.0.3.0-a0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.0.3.0-a0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.0.3.0-a0/manifests"},{"name":"v0.0.3.0","sha":"29c385dee5f8f342f4aee81a10ff3e31faa437ea","kind":"commit","published_at":"2021-04-06T04:31:32.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.0.3.0","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.0.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.0.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.0.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.0.3.0/manifests"},{"name":"v0.0.2.0","sha":"f0c53f3d5726db13ceac1bd079dbb915808cb87f","kind":"commit","published_at":"2021-03-24T11:02:15.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.0.2.0","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.0.2.0/manifests"},{"name":"v0.0.1.0","sha":"58bc973cd6689168a38bfd6fd041d8c38944b79f","kind":"commit","published_at":"2021-03-03T10:38:30.000Z","download_url":"https://codeload.github.com/agda/agda-language-server/tar.gz/v0.0.1.0","html_url":"https://github.com/agda/agda-language-server/releases/tag/v0.0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/agda/agda-language-server@v0.0.1.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/tags/v0.0.1.0/manifests"}]},"repo_metadata_updated_at":"2026-10-04T01:44:26.696Z","dependent_packages_count":1,"downloads":1126,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":87.65741637700154,"dependent_repos_count":36.76772281741509,"dependent_packages_count":10.45133348529747,"stargazers_count":9.05464698843239,"forks_count":9.77263661747108,"docker_downloads_count":null,"average":30.740751257123513},"purl":"pkg:hackage/agda-language-server","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/agda-language-server","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/agda-language-server","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/agda-language-server/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2026-10-03T08:42:26.568Z","issues_count":18,"pull_requests_count":35,"avg_time_to_close_issue":31628417.75,"avg_time_to_close_pull_request":4431810.827586207,"issues_closed_count":12,"pull_requests_closed_count":29,"pull_request_authors_count":11,"issue_authors_count":14,"avg_comments_per_issue":1.6666666666666667,"avg_comments_per_pull_request":0.42857142857142855,"merged_pull_requests_count":28,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":2,"past_year_pull_requests_count":15,"past_year_avg_time_to_close_issue":2143339.0,"past_year_avg_time_to_close_pull_request":246859.76923076922,"past_year_issues_closed_count":2,"past_year_pull_requests_closed_count":13,"past_year_pull_request_authors_count":5,"past_year_issue_authors_count":2,"past_year_avg_comments_per_issue":1.5,"past_year_avg_comments_per_pull_request":0.4666666666666667,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":12,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-language-server/issues","maintainers":[{"login":"banacorn","count":19,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/banacorn"},{"login":"andreasabel","count":8,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andreasabel"},{"login":"L-TChen","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/L-TChen"},{"login":"andy0130tw","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andy0130tw"}],"active_maintainers":[{"login":"banacorn","count":12,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/banacorn"},{"login":"andy0130tw","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/andy0130tw"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda-language-server/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda-language-server/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda-language-server/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda-language-server/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda-language-server/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/agda-language-server/codemeta","maintainers":[{"uuid":"AndreasAbel","login":"AndreasAbel","name":null,"email":null,"url":null,"packages_count":92,"html_url":"https://hackage.haskell.org/user/AndreasAbel","role":null,"created_at":"2023-11-21T07:49:39.041Z","updated_at":"2023-11-21T07:49:39.041Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/AndreasAbel/packages"},{"uuid":"banacorn","login":"banacorn","name":null,"email":null,"url":null,"packages_count":1,"html_url":"https://hackage.haskell.org/user/banacorn","role":null,"created_at":"2022-11-14T16:48:47.416Z","updated_at":"2022-11-14T16:48:47.416Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/banacorn/packages"}]}