repology.org domain is back up, repology.amdmi3.ru will be discontinued on October 9th

Versions Packages Information History Badges Report

Information for haskell:what4

Versions

  • 1.6.3

Package names

  • ghc-what4

Repositories

Categories

  • Unspecified

Licenses

  • BSD-3-Clause

Summaries

  • Solver-agnostic symbolic values support for issuing queries

All package recipes

Build logs