{"id":160625,"name":"acl2","ecosystem":"hackage","description":"","homepage":null,"licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"","keywords_array":["bsd3","formal-methods","language","library","Propose Tags"],"namespace":null,"versions_count":2,"first_release_published_at":"2014-09-25T13:35:34.000Z","latest_release_published_at":"2014-10-01T13:40:07.000Z","latest_release_number":"0.0.1","last_synced_at":"2026-06-08T22:02:08.577Z","created_at":"2022-04-05T17:40:01.520Z","updated_at":"2026-06-08T22:02:08.578Z","registry_url":"https://hackage.haskell.org/package/acl2","install_command":"cabal install acl2","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":2518,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":51.04160553958101,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":39.46755863310056},"purl":"pkg:hackage/acl2","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/acl2","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/acl2","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/acl2/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/acl2/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/acl2/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/acl2/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/acl2/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/acl2/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/acl2/codemeta","maintainers":[{"uuid":"TomHawkins","login":"TomHawkins","name":null,"email":null,"url":null,"packages_count":24,"html_url":"https://hackage.haskell.org/user/TomHawkins","role":null,"created_at":"2022-11-14T16:47:57.465Z","updated_at":"2022-11-14T16:47:57.465Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/TomHawkins/packages"}]}