{"id":202843,"name":"lean","ecosystem":"hackage","description":"\n\nPackage maintainers\n\nFor package maintainers and hackage trustees\n\nCandidates\n\n","homepage":null,"licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"","keywords_array":["bsd3","deprecated","library","math","Propose Tags"],"namespace":null,"versions_count":1,"first_release_published_at":"2019-05-15T17:42:53.000Z","latest_release_published_at":"2019-05-15T17:42:53.000Z","latest_release_number":"0.0.0.1","last_synced_at":"2026-03-30T16:04:40.519Z","created_at":"2022-04-05T22:12:42.900Z","updated_at":"2026-03-30T16:04:40.519Z","registry_url":"https://hackage.haskell.org/package/lean","install_command":"cabal install lean","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":586,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":88.55700956516637,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":51.97269330829568},"purl":"pkg:hackage/lean","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/lean","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/lean","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/lean/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/lean/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/lean/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/lean/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/lean/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/lean/codemeta","maintainers":[]}