{"id":160016,"name":"PropLogic","ecosystem":"hackage","description":"","homepage":"http://www.bucephalus.org/PropLogic","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"","keywords_array":["algorithms","bsd3","library","logic","program","Propose Tags"],"namespace":null,"versions_count":5,"first_release_published_at":"2011-10-11T20:38:05.000Z","latest_release_published_at":"2012-04-16T22:00:22.000Z","latest_release_number":"0.9.0.4","last_synced_at":"2026-05-12T11:24:24.537Z","created_at":"2022-04-05T17:33:51.832Z","updated_at":"2026-05-12T15:14:00.207Z","registry_url":"https://hackage.haskell.org/package/PropLogic","install_command":"cabal install PropLogic","documentation_url":null,"metadata":{},"repo_metadata":{},"repo_metadata_updated_at":"2026-05-12T15:13:59.970Z","dependent_packages_count":0,"downloads":5236,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":27.471775573041395,"dependent_repos_count":36.76017789941841,"dependent_packages_count":19.055764625384878,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":27.76257269928156},"purl":"pkg:hackage/PropLogic","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/PropLogic","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/PropLogic","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/PropLogic/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/PropLogic/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/PropLogic/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/PropLogic/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/PropLogic/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/PropLogic/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/PropLogic/codemeta","maintainers":[{"uuid":"DavidFox","login":"DavidFox","name":null,"email":null,"url":null,"packages_count":32,"html_url":"https://hackage.haskell.org/user/DavidFox","role":null,"created_at":"2022-11-14T16:39:52.129Z","updated_at":"2022-11-14T16:39:52.129Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/DavidFox/packages"}]}