{"id":232634,"name":"smtlib2-debug","ecosystem":"hackage","description":"","homepage":null,"licenses":"GPL-3.0-only","normalized_licenses":["GPL-3.0-only"],"repository_url":"","keywords_array":["formal-methods","gpl","library","smt","symbolic-computation","theorem-provers","Propose Tags"],"namespace":null,"versions_count":1,"first_release_published_at":"2017-01-05T21:06:29.000Z","latest_release_published_at":"2017-01-05T21:06:29.000Z","latest_release_number":"1.0","last_synced_at":"2026-04-27T08:37:34.356Z","created_at":"2022-04-06T01:43:29.427Z","updated_at":"2026-04-27T08:37:34.356Z","registry_url":"https://hackage.haskell.org/package/smtlib2-debug","install_command":"cabal install smtlib2-debug","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":1057,"downloads_period":"total","dependent_repos_count":1,"rankings":{"downloads":77.78538031702588,"dependent_repos_count":36.76017789941841,"dependent_packages_count":19.055764625384878,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":44.53377428060972},"purl":"pkg:hackage/smtlib2-debug","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/smtlib2-debug","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/smtlib2-debug","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/smtlib2-debug/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2-debug/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2-debug/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2-debug/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2-debug/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2-debug/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/smtlib2-debug/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.795Z","updated_at":"2022-11-14T19:47:20.795Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/HenningGuenther/packages"}]}