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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.2-5

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3017163

%ISIZE%
16399504

%SHA256SUM%
ee7e7ffda12554a5b95e1513804c595b03cad85af5731fad01f9a41c1215ebb1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp9PYACgkQeGxj8zDXy5LLTQ/8DevmcOtPFAnR0ins1rZDwbCxQuTro/E9DxUIMsNe4NPD8zvh5ChX8FlgxfoWOWE5YBe3zebfLKaLJ5PNuphYFx5FyjiXEdRECyLN8AQlbiIrN9hYNCun3Cae/VUsgc6R/T0lKmW9zj85AaXj4plqtgo/g1/V7g30VLMy9US40eFq4o4pSqkz0KWSyM98rkWWtrzfZTbzz3hPbB/h7rr1oXSiyRQRQe1kBWGjGzi9uACxHga8v1gsYdYowhKy+wQ8sU4Im5TFGz2Hldq6JZ+yP06V3BSp+FpCZjLbqQKZFZ6ggGN9rZ3d+YTo0j+mrEENG7uUiDFA5zKafElJR4dxacmIX7kT568reYk/YSBiZUsFk/edl70aBtMmYhEBqJ4lyhLLhbehMSXECsDJCHe4ISTPbKkOV9P0ftN/4bCKLq5Eql5zIBzOLdZZB+9Riw8TPMLQoXa080lUYjH/IRgo+sAB1r74NWu+D2noSYMBkJrce1JtxbZnecnKxdDxPS1VGeMGXz6b/0rGsOyL/NZIfXwDrKxCIa36H+Sjjz5BKH+5VXZNYn18D+bGUPCFm2f1GzmqBznSzzB3aTMHrzWLUI0RRAdASt29Gp48aAwTxEfrliqN7bMZ13CpM0Im3E4BeXO50PHRbJB8nCdZUy1qwzqx7h0z/EmN5gjRre6ePNI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1789522813

%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

