{"id":249345,"name":"why3","ecosystem":"hackage","description":"","homepage":null,"licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"","keywords_array":["languages","library","mit","Propose Tags"],"namespace":null,"versions_count":1,"first_release_published_at":"2015-08-27T20:22:20.000Z","latest_release_published_at":"2015-08-27T20:22:20.000Z","latest_release_number":"0.8","last_synced_at":"2026-03-18T11:36:02.317Z","created_at":"2022-04-06T03:48:12.517Z","updated_at":"2026-03-18T11:36:02.317Z","registry_url":"https://hackage.haskell.org/package/why3","install_command":"cabal install why3","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":883,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":82.22716387273348,"dependent_repos_count":36.76017789941841,"dependent_packages_count":19.095677956437452,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":46.02767324286311},"purl":"pkg:hackage/why3","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/why3","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/why3","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/why3/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/why3/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/why3/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/why3/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/why3/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/why3/codemeta","maintainers":[{"uuid":"EricMertens","login":"EricMertens","name":null,"email":null,"url":null,"packages_count":92,"html_url":"https://hackage.haskell.org/user/EricMertens","role":null,"created_at":"2022-11-14T20:23:02.107Z","updated_at":"2022-11-14T20:23:02.107Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/EricMertens/packages"}]}