{"id":183089,"name":"free-theorems-seq-webui","ecosystem":"hackage","description":"This package provides access to the functionality of\nhttp://hackage.haskell.org/package/free-theorems-seq through a web interface.\n\nAn online version of the interface is running at http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi.","homepage":null,"licenses":"LicenseRef-PublicDomain","normalized_licenses":["Other"],"repository_url":null,"keywords_array":["language","program","public-domain","Propose Tags"],"namespace":null,"versions_count":3,"first_release_published_at":"2011-03-11T17:08:07.000Z","latest_release_published_at":"2011-03-30T22:56:48.000Z","latest_release_number":"1.0.0.2","last_synced_at":"2026-09-18T21:52:56.880Z","created_at":"2022-04-05T19:59:32.485Z","updated_at":"2026-09-18T21:52:56.881Z","registry_url":"https://hackage.haskell.org/package/free-theorems-seq-webui","install_command":"cabal install free-theorems-seq-webui","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":2695,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":48.16031923009213,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":38.50712986327093},"purl":"pkg:hackage/free-theorems-seq-webui","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/free-theorems-seq-webui","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/free-theorems-seq-webui","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/free-theorems-seq-webui/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq-webui/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq-webui/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq-webui/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq-webui/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq-webui/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq-webui/codemeta","maintainers":[{"uuid":"JanisVoigtlaender","login":"JanisVoigtlaender","name":null,"email":null,"url":null,"packages_count":16,"html_url":"https://hackage.haskell.org/user/JanisVoigtlaender","role":null,"created_at":"2022-11-14T17:46:19.312Z","updated_at":"2022-11-14T17:46:19.312Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/JanisVoigtlaender/packages"},{"uuid":"DanielSeidel","login":"DanielSeidel","name":null,"email":null,"url":null,"packages_count":13,"html_url":"https://hackage.haskell.org/user/DanielSeidel","role":null,"created_at":"2022-11-14T17:46:19.308Z","updated_at":"2022-11-14T17:46:19.308Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/DanielSeidel/packages"}]}