%FILENAME%
haskell-what4-1.2.1-115-x86_64.pkg.tar.zst

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.2.1-115

%DESC%
Solver-agnostic symbolic values support for issuing queries

%CSIZE%
2856934

%ISIZE%
18069964

%MD5SUM%
25535b5d93bfe688ecfb1446a321fd05

%SHA256SUM%
ea5da51569bcf24448f4cd5719570bc92166957c5ff278bc5e8f9a5e1a02112d

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhNGMUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwaZIxAAoioPflLXExfyxlfqkIR+3DoEnzzAeJaxZyBcGbcBYttqaKhr+x7rd19OMBZan6yShritqwMyHfiYuAWOWhxrR1fm1Ebu8CRb1anlWPxoZdGeKzNkAnhUW9I6PG0ruFeQ1jvDimNPnjnHJiDvry8PfWpJmQK1l9VkT9dZc+d5nKVgN9WqE0ip8J5GOKKEFC7l0jWRglmPFr9HV9oFL37HdD6m9ri7pax2la0yqrhxK2+uQp/D4nvUw8tOIQs792YWtykEewGHeHQbUU/mKWvKJZfNI2VSnuYZ99bVkgrrES1M9Q1jp1BGMgxho6ncBeqGRFe1+GU6S7pcwle6XsqycQbpE3T/Xsq490vsqG5HAxklu92J+FtkBbcMC1crtMrPb0CoIoKlui4U6upWuxMot66tgHc2bDrhQR6EaPmc8XrXVZHb1R+RfNpcay7OlyW4ynIcxQWemDo8I7TrGDIPJDl/6+d5ziKbgQoQzrnjDYEPSs1eRybWwTZOer23b4/nhVzgPLw7uzoh6raOq/gdUpoyeSJwSjhJ6yLnyiSJh5CWdUPrB097mDj4sriwn4D+8WVpnTPQNZIJ/LG87dDvYm7gZrAdCLSiJXpJoDyNmDF904DgLfn1e4NtUmTb0VgQelT88R+Lvh7+YmFM0a99u0wr+adDHYI99Y+DuQxTHMI=

%URL%
https://github.com/GaloisInc/what4

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1648856602

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-attoparsec
haskell-bimap
haskell-bifunctors
haskell-bv-sized
haskell-config-value
haskell-deriving-compat
haskell-data-binary-ieee754
haskell-extra
haskell-fingertree
haskell-hashable
haskell-hashtables
haskell-io-streams
haskell-lens
haskell-libbf
haskell-panic
haskell-parameterized-utils
haskell-prettyprinter
haskell-scientific
haskell-temporary
haskell-th-abstraction
haskell-th-lift
haskell-th-lift-instances
haskell-unordered-containers
haskell-utf8-string
haskell-vector
haskell-versions
haskell-zenc

%OPTDEPENDS%
cvc4
yices
z3

%MAKEDEPENDS%
ghc
uusi
haskell-contravariant
haskell-hedgehog
haskell-lumberjack
haskell-quickcheck
haskell-tasty
haskell-tasty-checklist
haskell-tasty-hedgehog
haskell-tasty-hunit
haskell-tasty-quickcheck
haskell-tasty-sugar

%CHECKDEPENDS%
cvc4
yices
z3

