{"id":182707,"name":"formal","ecosystem":"hackage","description":"","homepage":null,"licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"","keywords_array":["compiler","mit","program","Propose Tags"],"namespace":null,"versions_count":1,"first_release_published_at":"2012-11-12T19:02:25.000Z","latest_release_published_at":"2012-11-12T19:02:25.000Z","latest_release_number":"0.1.0","last_synced_at":"2026-06-02T10:08:35.944Z","created_at":"2022-04-05T19:57:11.867Z","updated_at":"2026-06-02T10:08:35.944Z","registry_url":"https://hackage.haskell.org/package/formal","install_command":"cabal install formal","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":1333,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":70.54750308080511,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":45.96952448017527},"purl":"pkg:hackage/formal","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/formal","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/formal","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/formal/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/formal/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/formal/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/formal/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/formal/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/formal/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/formal/codemeta","maintainers":[{"uuid":"AndrewStein","login":"AndrewStein","name":null,"email":null,"url":null,"packages_count":2,"html_url":"https://hackage.haskell.org/user/AndrewStein","role":null,"created_at":"2022-11-14T17:45:09.831Z","updated_at":"2022-11-14T17:45:09.831Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/AndrewStein/packages"}]}