%FILENAME%
haskell-what4-debug-1.6.2-4-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.2-4

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3024712

%ISIZE%
16404232

%SHA256SUM%
6fb48cf7d89df543c96d4d5aaaa2bbc18872a7caf0687e8d5dc288712be7f772

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqddFQACgkQeGxj8zDXy5Lchg//WMJGzJFz2qmpUqiWkK3ODnNm4N7jBrnUjfk8xUZRY1Dymis22lbNYsdF3kaKhb+2reSlb1Jmirb8B1IMjFFT0S2gleIFKyHIO0l2QUPsBokbEDYHWNGecpJq9uGvcyEDJA9n1SgwWSvETmNA1200p3UBlvwukCZIejbiK/zWiwwcAbATxcWi5EkPtX79QkKLDsDpxJzqq4HXS2pnZBEup3rh4HQY0Rtjrx2va5wrsXgU0zsnNPc1cGrbhJFPd96U+OVeaf3MortDVS10gk59nsGoAywqMMfXRdKNetbKvTQnOh4YA2vlFYANCfb9q9/1vPXcOyArrc45aaWoM4WrQjEmJTO6F810TXm4NzZkx/gEXFWNC+EfRMoQDJjI/Tg8ZJYWltOgxGMETSrCa9QzscR5ZFDO7bWZ1+syPs95+M1OGZGmDGCcKh87BCIyJLf8w537PcRYNabedPsLoRR+34cezmp0cc//u56nUQOEMJQThE3+YrveYTxK0te42zDeQO5n7wEKjC89Cr45S/5VSj3q5D+bnpitNQkH+FvrSPMUQU1xy8w3Yp2+rXoayGHO6TZLgcDjPBf62AfM6AF9YnUOAIAcYOiPm2UZbjc3o4CYuAZkEuBrw8InARmkYZD62x8Y6WaY3Lo28tvPsoSYXJP/3/SlaJSt9Dc6Pd43yuI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788703554

%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

