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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6.2-3

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3024693

%ISIZE%
16362632

%SHA256SUM%
7770d6842a692330ab4d7ca0e54224330c83ffabd50a9cf5034b2372cf11c7a3

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqWvnAACgkQeGxj8zDXy5IlcA/8DSPCET1oF9DVusei3MiIjlZe4R+jzSeT7lniIIL+WwiagNMUDkAy7cp/Ho6sWfxdvOTw+wcwgY7+rT/zL93OQWLvEvvoDlndRmiidn9sh0NKX7kY08RLrJN+DhFatqyGDNqzFea1sumhb304s1wwXcV3L4E7T/2bijOJwz6t9Azm0R4BcmMG955e02R7AK6M0FtkXpjID0crY/On4EAEZ2EnA2x2+XYCwox3hVOBXFnhW6mt5xeMMqrQx32Qo5sKpHzP20OQRPKszRlSGyiQ19wDWA9jDRI15SMgkIjLCFBogxh9jDASeiUqQtXq3Rs93y+PB1mdBtB1zV+1bVHkoAn7QySru6gv692mC1rntPDrnwYf3osHB0W9ATqLEYx+/Bd2yEAShWtZdvTTSFkuDyaduTbc/qJfCHOT9+jsu1MoIlnNdBVxXMajhDeT5hrzBp8QojhzQQbAh5XUTedyMdoNhOmVs2Qs5traTJnxcFXbV+hgpKL98Mrg3msiBvrDBaPky8h2jQ7p2Rkgxf/wF66ODkpZuO+E85O1Lk0ODlH7iL6TI1z1JC/Wtkufq19ONi7L+xXe4qBAiwvOmNBoWyhvyHITOxiiYpLQf7VQRCFG6yYzAt7t6+W6dcpnVg/k2EomtgwpMVDeYwU7N5T/Ja6k6iA+xLVmbWNKwgKhiGE=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788263939

%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

