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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-116

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3008193

%ISIZE%
16182592

%SHA256SUM%
9a7e8c84bca7a431db9ae367b25c5127b6d5db43b990e24daed400a2bffd95f3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoHnpcACgkQeGxj8zDXy5Ke+xAAh2oNRCVADjUxmQO68B78lAm5bn/8hj96wbs64NYkjA8AtgiL5Jn6HtEZV9Hw4+qx3hfePtxgjifNAXB1cXtgQdAiUefefNuKw3+oLJXxMh007GRhe3I32f+XqXxsZ5171N9LWZB96hE+d3+rwCFtrw27Nohh5yWRXfu9jZbnW2GY9inWGHyMAD5QSYdb4pcTCPbnwalQc9M64aRZidZIzT7E515Ivvr2rmq3xNOTCC5xIVq5w6gCbhkj0Www/gy89p0N3Oj9xYLNsuSnoH0Mm7Q/XSawRhVaL/Xtboa1Yn5RyqJACzMyp6tBuW/WttT7bqNKhMijjLwwqEVFs/D0SoRpLyzOl5OAVt0IK0NwvENi+eboud0O8a42xKr9egQj1/b+9FPXIZQSFCxBJrP59QwLln92VTLXZEvGsC4zamoxHItADfk5J/Oin0yiXad9i3jIN2jH0/wKFJFQueeKGwJdWW5hiqFSsq6UQthoDU8Od8b+IkYkxdDI4s1BsACpNSgm5hKV2WtkjdRRJ+IKqxcZ7qnDKQsYOKawSIYE1TMaoqLrNuC8x2Mu15oDXiC47dL3dq3y+7L3utrMLRObzpMESKGfQiwctwW99hWFCw2g3QFvpPzvtWiGQKdEKtpdtCTAjBBhh+jEAwkPyOnQPMRwRv07+ez7tRT+GaFazdQ=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778884064

%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

