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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-117

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3008703

%ISIZE%
16224992

%SHA256SUM%
6fa96c49fead313925fb4bda8a823af9544ea5698ba5ab1db1e8e8860cbf5133

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoTHD8ACgkQeGxj8zDXy5JkgQ//dVBTMY9iv+Lc1WviD29mHBSmZ1Sc4CnnVkT5rs7vmmrO/MqkRjXbpP1u6Uw+i2AlMfCKjk3fS1AW/BOo0LdICsM69wRM2XMmnF243ePmOJEq1B3MddmgZTDCKGKD0jNrLOfCed2GEHw+YLwYijShqAG1OkROpUmFblvvLVmDs7ftDodGNPoKFS6SlHDry1DvNId478QCgiTXA0IcIwq0Mv3h++Vl5krssC/kKH2yqRUv18d+atXXF7FO5jEkXRvD76D6u8pfEdQDoNnjCJ9ZghYgFFkJsVNvcdscQX6nmnAS33VZD40yyluLEmn4ToDojvDNtawkJMeBFxygfH0aMOzDMKc9Gqgh3mEvMYkS/nqgWwsR+4uIszDcKCiLXAGR51YHHOkltKEmApQ+aw+ZYAvS51tQKWW/dCujUri6rhmt3EAt/frwsgN1ld/AMxSsO9qaxnxc+gPvY7SGVxJsOmdO66m2ynnvVHzCe7OxRDvOfOnanZY3WmEcRoc1p2UBaEu8n5e1y11cSqQZHSmqy3XPy8FHkav3NWEBuLXSo3aVZsiAcKxDJhywpmTf18Ego5neBTq/dq34YCz1bSi8VF2Cz77Od2T9BDSIxzoIpI9iIk5M3QCvsNomuREohLcfMHf0YE2rPaeoDRiI1dtAY2S5Fh27+GJD7uxzdP7JXcY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1779637019

%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

