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

%NAME%
haskell-what4

%BASE%
haskell-what4

%VERSION%
1.2.1-72

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

%CSIZE%
2849620

%ISIZE%
18017536

%MD5SUM%
1c217fed26f257b367736458c43d33f3

%SHA256SUM%
d67be81fce7f9b6449d169902a99ca19093ca2f3d458c64d90f0838152937d2b

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHjnHEACgkQeGxj8zDXy5LKog/+O6gZJQbJSSssVXsI1GnQBjlPyHpnRY1N3oc7aZ2q+Ve53+SxiyyrdtSafcvo03+W1Lf78yJynRXV8CnN4POrWPiS5KN9zwfS3/8JGDQqcdYUTXrnRzUdMqC4km5xAO/9JosyhMibsCXt6xX/35AHDgx9l3KJeoKdqgrkY/eN0a0AABy4sBG5rg5CLDpduRFiQTSWtS69ukVHiqBA28UpELVu7XdNYBHuKXkOquQ3L/KxgwdRaQRhKj6jCld/GDYGMwoNJAgsaNdkWGpP1cA1RQWss9OHwwzkSIQ88ywgthkIJNsYH3EDcy++IfayBcjfIpCe/kMv+aB2WOM85zZ3xulWtUUsek8AvnXcwC0xQGl/YdjFXV7pYPepH2fjnonPOblN4iCQMkX/uDqDpN+LeTHgJMDK+Vr2ES4M90EO10Gaf+B8+rlYsd2tl313BQ71m02rp7Z0vNT7d8cnESxYZdluuhiFHYjpwgtb2yhSzD11tKqzm2jQmKSk1g5EQ6XENI7zFjaI1hUcbdlpqwh1fLlbJZgwFSS5iyYqbexDYkE6QErq9DSgXJHWj0zK3RebYS6aZjJpbNMR7dTH4Qu3D+E+K3CAsqwIchoEiGeLc6COQWexVrJK1arT+VevyKQWRKec0pauxTIe7Z3AXgx+9w8FyhBQYcPlb2j7hTIxM58=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1642306382

%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-exceptions
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

