%FILENAME%
haskell-what4-debug-1.6-60-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-60

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2729313

%ISIZE%
14623464

%SHA256SUM%
c19950f6d1d85352780321820d8fb2438f8787b6376957a283116a5772fadfde

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwN68ACgkQeGxj8zDXy5KAcRAAwAysJG850MNatJVeYeCCfP2J7XRgOQBz/rDFr6ZMu/LwkwAW04EBphanriVg/zXZ48V2UKwsqmxzONxnIpUGw5MM7vP7h6XrmvYjbiTU1xFLZeIykL7mwO6sL7uwox9KcqBnW313UEflTycut4kXXO3GnpGTZIGCfAtJn2JwB8viwQhtUyLXNhTKREk7wJEUKJ2jL/+wd3alUxfUWtxSld4gmw0R8InOdKadPOpmopB85g8mmC1kwNU6HR/ak9eExT4R17Zt9zSE8wbnKqeb39wIV4VE13nstiUl3zIh+aiL7EEZqTl/P6TMRWi9LlF2telZl34kzEY1cm2bKKm/hKcu4UXrx5/6U6pbWO21tgNRa+iNP+NQ7P0bUkdwW+4Ssukkd0K2CmgqOPaus5G7RWLnW0sL7TCzgwqpPtC87SXWiV1YAKBn1lLM/TWMK8rJGUx1YM8J51TNQaqzxsR4J71J6KgP//VBMmvG/gsuA4W3tZD+y6cUQ3BSSqJBcmQrbw6CFcjHExAYEncw5HWQBO2vZlXfNIARBaxaegmQ3vI59N2TJi73L9R3ooYqiqX4PknwCPXLLPYHuXjIkag+oT64PVj7NnyEARSsgYsMEwpU3kq/U/ByuZpUfZJ5BmiApKjRox4BIGPcaOPPu+wgPYkKzQsE1YcNqwzyMNJBvyI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760573189

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

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

%CHECKDEPENDS%
cvc4
yices
z3

