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

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.6-108

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
3010720

%ISIZE%
16180328

%SHA256SUM%
c5a59c131c37d65bf245afa29f91eacdc5d6bf28ddbf7370f8f232df83695b3a

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7IbQACgkQeGxj8zDXy5J71w//aUBkALKmLpKJZ1Z48WOUDi7r8BjLbXKMWiwC3pMZfsqiqU2xcTrQLfXne7f2bn/FqCgaImk1NHVPVi8yVYIfvsHLyt5cDsCaW6TQ4iGJYmQnhhkpT1LPtEppYb6NKSUEPySmyosVxXSnGEyLyIpQo/viYXc+FUzpFdrq6hmUlEGoLHlmRXiQBf5RUlo+4VMOSElctbgJnusM2S8XK2/v1Ry44ZMGGfnipdcjjK8FIaZtolfdqzkB0oTNZILX9+R0Y8C6J3fXK2L1k9VXR+QBKjGV6SRJp5Sl52tm//X7Ic2dzh3GcTCPFqZF+re8eyNutX0JGdZXmuqoSN1ZVzULxfWn/tQukzG9er/oBq1fEiKd58eVkweWcM1b5OndHs4dxi2QmtpQOJVsytlg5dt1JknG+0+i2yrtayZBQ6WRKHwEoQS4rPY656sbctAfPpvNfbnPjnUax9irsYiVKHXxbgfct+gW9B+yf4MwFCJm+h+7We7HOXP0rUnZR7eOPUlwM+UlOIey/JkvHnwKNZxk4X8X9gntf2MhIUAYrVjyMAxUNp9F/kOhQPO0sYh8CJAf1FfJSxrNKGghcMn280/2dSLgCajngxfCAVUPc4P9ug75YoW/A9IZ0wbD71Paw/Jg7yBibHSVmbDZRmsl+oyNS9BSwAC1AWck/uDWS0GI74g=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778065460

%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

