{"id":5700681,"name":"smtlib-backends-process","ecosystem":"hackage","description":"","homepage":null,"licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"","keywords_array":["library","mit","smt","Propose Tags"],"namespace":null,"versions_count":2,"first_release_published_at":"2022-12-16T13:45:20.000Z","latest_release_published_at":"2023-02-06T10:26:32.000Z","latest_release_number":"0.3","last_synced_at":"2026-05-19T19:16:44.738Z","created_at":"2022-12-16T15:11:43.283Z","updated_at":"2026-05-19T19:16:44.738Z","registry_url":"https://hackage.haskell.org/package/smtlib-backends-process","install_command":"cabal install smtlib-backends-process","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":1,"downloads":918,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":91.53837381685483,"dependent_repos_count":36.76017789941841,"dependent_packages_count":10.36095113189257,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":46.21983428272193},"purl":"pkg:hackage/smtlib-backends-process","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/smtlib-backends-process","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/smtlib-backends-process","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/smtlib-backends-process/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib-backends-process/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib-backends-process/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib-backends-process/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib-backends-process/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib-backends-process/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib-backends-process/codemeta","maintainers":[{"uuid":"FacundoDominguez","login":"FacundoDominguez","name":null,"email":null,"url":null,"packages_count":54,"html_url":"https://hackage.haskell.org/user/FacundoDominguez","role":null,"created_at":"2023-07-11T11:59:34.393Z","updated_at":"2023-07-11T11:59:34.393Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/FacundoDominguez/packages"}]}