{"id":232628,"name":"smtlib2","ecosystem":"hackage","description":"","homepage":null,"licenses":"GPL-3.0-only","normalized_licenses":["GPL-3.0-only"],"repository_url":"https://github.com/hguenther/smtlib2","keywords_array":["formal-methods","gpl","library","smt","symbolic-computation","theorem-provers","Propose Tags"],"namespace":null,"versions_count":5,"first_release_published_at":"2014-12-07T15:05:12.000Z","latest_release_published_at":"2016-06-20T16:46:22.000Z","latest_release_number":"0.3.1","last_synced_at":"2026-09-11T12:37:20.400Z","created_at":"2022-04-06T01:43:26.451Z","updated_at":"2026-09-11T14:51:47.963Z","registry_url":"https://hackage.haskell.org/package/smtlib2","install_command":"cabal install smtlib2","documentation_url":null,"metadata":{},"repo_metadata":{"id":137668899,"uuid":"2247011","full_name":"hgoes/smtlib2","owner":"hgoes","description":"SMTLib2 interface implementation for Haskell","archived":false,"fork":false,"pushed_at":"2017-12-06T14:24:45.000Z","size":1446,"stargazers_count":18,"open_issues_count":16,"forks_count":6,"subscribers_count":3,"default_branch":"master","last_synced_at":"2026-03-13T03:55:51.478Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/hgoes.png","metadata":{},"created_at":"2011-08-22T06:25:39.000Z","updated_at":"2025-11-03T16:04:00.000Z","dependencies_parsed_at":null,"dependency_job_id":"ef09f22e-2b89-4570-a32f-014f686c8dfc","html_url":"https://github.com/hgoes/smtlib2","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/hgoes/smtlib2","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hgoes%2Fsmtlib2","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hgoes%2Fsmtlib2/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hgoes%2Fsmtlib2/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hgoes%2Fsmtlib2/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/hgoes","download_url":"https://codeload.github.com/hgoes/smtlib2/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/hgoes%2Fsmtlib2/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":341189360,"owners_count":37219821,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-22T15:14:58.755Z","status":"online","status_checked_at":"2026-09-11T02:00:05.857Z","response_time":56,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"tags":[]},"repo_metadata_updated_at":"2026-09-11T14:51:47.963Z","dependent_packages_count":1,"downloads":4658,"downloads_period":"total","dependent_repos_count":4,"rankings":{"downloads":31.638063743656993,"dependent_repos_count":26.96276868692628,"dependent_packages_count":10.405382290894579,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":23.002071573825948},"purl":"pkg:hackage/smtlib2","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/smtlib2","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/smtlib2","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/smtlib2/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2/codemeta","maintainers":[{"uuid":"HenningGuenther","login":"HenningGuenther","name":null,"email":null,"url":null,"packages_count":6,"html_url":"https://hackage.haskell.org/user/HenningGuenther","role":null,"created_at":"2022-11-14T19:47:20.483Z","updated_at":"2022-11-14T19:47:20.483Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/HenningGuenther/packages"}]}