{"id":193648,"name":"hol","ecosystem":"hackage","description":"This package implements a higher order logic kernel with OpenTheory support.","homepage":null,"licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"","keywords_array":["library","logic","mit","program","Propose Tags"],"namespace":null,"versions_count":5,"first_release_published_at":"2017-04-07T05:20:25.000Z","latest_release_published_at":"2022-08-08T06:27:50.000Z","latest_release_number":"1.4","last_synced_at":"2026-05-09T14:02:09.425Z","created_at":"2022-04-05T21:09:58.931Z","updated_at":"2026-05-09T14:02:09.425Z","registry_url":"https://hackage.haskell.org/package/hol","install_command":"cabal install hol","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":2943,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":46.64632357256029,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":38.002464644093656},"purl":"pkg:hackage/hol","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/hol","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/hol","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/hol/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/hol/codemeta","maintainers":[{"uuid":"JoeHurd","login":"JoeHurd","name":null,"email":null,"url":null,"packages_count":20,"html_url":"https://hackage.haskell.org/user/JoeHurd","role":null,"created_at":"2022-11-14T18:20:08.116Z","updated_at":"2022-11-14T18:20:08.116Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/JoeHurd/packages"}]}