{"id":199483,"name":"ivor","ecosystem":"hackage","description":"","homepage":"http://www.dcs.st-and.ac.uk/~eb/Ivor/","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":null,"keywords_array":["bsd3","dependent-types","deprecated","library","theorem-provers","Propose Tags"],"namespace":null,"versions_count":9,"first_release_published_at":"2008-03-12T03:52:16.000Z","latest_release_published_at":"2011-04-18T10:09:30.000Z","latest_release_number":"0.1.14","last_synced_at":"2026-10-01T22:22:15.296Z","created_at":"2022-04-05T21:49:51.797Z","updated_at":"2026-10-01T22:22:21.911Z","registry_url":"https://hackage.haskell.org/package/ivor","install_command":"cabal install ivor","documentation_url":null,"metadata":{},"repo_metadata":{},"repo_metadata_updated_at":"2026-10-01T22:22:21.905Z","dependent_packages_count":0,"downloads":8928,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":17.13478383724216,"dependent_repos_count":36.47923142130545,"dependent_packages_count":19.27098050296694,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":24.294998587171516},"purl":"pkg:hackage/ivor","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/ivor","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/ivor","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/ivor/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ivor/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ivor/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ivor/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ivor/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ivor/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ivor/codemeta","maintainers":[{"uuid":"GwernBranwen","login":"GwernBranwen","name":null,"email":null,"url":null,"packages_count":104,"html_url":"https://hackage.haskell.org/user/GwernBranwen","role":null,"created_at":"2022-11-14T18:37:53.225Z","updated_at":"2022-11-14T18:37:53.225Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/GwernBranwen/packages"},{"uuid":"EdwinBrady","login":"EdwinBrady","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/EdwinBrady","role":null,"created_at":"2022-11-14T18:37:53.207Z","updated_at":"2022-11-14T18:37:53.207Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/EdwinBrady/packages"}]}