{"id":155231,"name":"Agda-executable","ecosystem":"hackage","description":"","homepage":"http://wiki.portal.chalmers.se/agda/","licenses":"LicenseRef-OtherLicense","normalized_licenses":["Other"],"repository_url":"","keywords_array":["dependent-types","deprecated","program","Propose Tags"],"namespace":null,"versions_count":8,"first_release_published_at":"2009-03-17T17:46:19.000Z","latest_release_published_at":"2011-11-23T09:12:43.000Z","latest_release_number":"2.3.0","last_synced_at":"2026-04-06T02:30:32.980Z","created_at":"2022-04-05T17:05:47.702Z","updated_at":"2026-04-06T02:31:55.744Z","registry_url":"https://hackage.haskell.org/package/Agda-executable","install_command":"cabal install Agda-executable","documentation_url":null,"metadata":{},"repo_metadata":{},"repo_metadata_updated_at":"2026-04-06T02:31:55.717Z","dependent_packages_count":0,"downloads":9572,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":15.840632947160216,"dependent_repos_count":57.976829612885,"dependent_packages_count":19.27098050296694,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":31.02948102100405},"purl":"pkg:hackage/Agda-executable","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/Agda-executable","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/Agda-executable","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/Agda-executable/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/Agda-executable/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/Agda-executable/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/Agda-executable/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/Agda-executable/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/Agda-executable/codemeta","maintainers":[{"uuid":"NilsAndersDanielsson","login":"NilsAndersDanielsson","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/NilsAndersDanielsson","role":null,"created_at":"2022-11-14T16:11:01.394Z","updated_at":"2022-11-14T16:11:01.394Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/NilsAndersDanielsson/packages"},{"uuid":"UlfNorell","login":"UlfNorell","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/UlfNorell","role":null,"created_at":"2022-11-14T16:11:01.433Z","updated_at":"2022-11-14T16:11:01.433Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/UlfNorell/packages"}]}