{"id":205238,"name":"logic-TPTP","ecosystem":"hackage","description":"","homepage":null,"licenses":"LicenseRef-GPL","normalized_licenses":["Other"],"repository_url":"","keywords_array":["codec","library","math","theorem-provers","Propose Tags"],"namespace":null,"versions_count":21,"first_release_published_at":"2009-04-28T13:38:28.000Z","latest_release_published_at":"2009-05-03T18:59:32.000Z","latest_release_number":"0.2.0","last_synced_at":"2026-05-23T15:02:46.317Z","created_at":"2022-04-05T22:28:57.088Z","updated_at":"2026-05-23T15:02:46.318Z","registry_url":"https://hackage.haskell.org/package/logic-TPTP","install_command":"cabal install logic-TPTP","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":15489,"downloads_period":"total","dependent_repos_count":3,"rankings":{"downloads":10.178016388810398,"dependent_repos_count":28.12093811811246,"dependent_packages_count":19.27098050296694,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":19.18997833662993},"purl":"pkg:hackage/logic-TPTP","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/logic-TPTP","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/logic-TPTP","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/logic-TPTP/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logic-TPTP/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logic-TPTP/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logic-TPTP/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logic-TPTP/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logic-TPTP/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/logic-TPTP/codemeta","maintainers":[{"uuid":"MasahiroSakai","login":"MasahiroSakai","name":null,"email":null,"url":null,"packages_count":23,"html_url":"https://hackage.haskell.org/user/MasahiroSakai","role":null,"created_at":"2022-11-14T18:50:19.403Z","updated_at":"2022-11-14T18:50:19.403Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/MasahiroSakai/packages"},{"uuid":"KiYungAhn","login":"KiYungAhn","name":null,"email":null,"url":null,"packages_count":10,"html_url":"https://hackage.haskell.org/user/KiYungAhn","role":null,"created_at":"2022-11-14T18:50:19.397Z","updated_at":"2022-11-14T18:50:19.397Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/KiYungAhn/packages"},{"uuid":"DanielSchuessler","login":"DanielSchuessler","name":null,"email":null,"url":null,"packages_count":9,"html_url":"https://hackage.haskell.org/user/DanielSchuessler","role":null,"created_at":"2022-11-14T18:50:19.389Z","updated_at":"2022-11-14T18:50:19.389Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/DanielSchuessler/packages"}]}