{"id":253219,"name":"zeno","ecosystem":"hackage","description":"","homepage":null,"licenses":"MIT","normalized_licenses":["MIT"],"repository_url":null,"keywords_array":["mit","program","theorem-provers","Propose Tags"],"namespace":null,"versions_count":2,"first_release_published_at":"2011-04-28T18:52:04.000Z","latest_release_published_at":"2011-04-28T19:40:27.000Z","latest_release_number":"0.2.0.1","latest_published_release_number":null,"last_synced_at":"2026-10-02T23:07:09.254Z","created_at":"2022-04-06T04:17:43.617Z","updated_at":"2026-10-02T23:07:09.254Z","registry_url":"https://hackage.haskell.org/package/zeno","install_command":"cabal install zeno","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":1968,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":59.65025526670969,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":42.337108542143454},"purl":"pkg:hackage/zeno","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/zeno","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/zeno","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/zeno/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/zeno/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/zeno/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/zeno/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/zeno/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/zeno/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/zeno/codemeta","maintainers":[{"uuid":"WilliamSonnex","login":"WilliamSonnex","name":null,"email":null,"url":null,"packages_count":1,"html_url":"https://hackage.haskell.org/user/WilliamSonnex","role":null,"created_at":"2022-11-14T20:28:13.969Z","updated_at":"2022-11-14T20:28:13.969Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/WilliamSonnex/packages"}]}