%FILENAME%
haskell-what4-debug-1.5.1-32-x86_64.pkg.tar.zst

%NAME%
haskell-what4-debug

%BASE%
haskell-what4

%VERSION%
1.5.1-32

%DESC%
Detached debugging symbols for haskell-what4

%CSIZE%
2707652

%ISIZE%
14686996

%SHA256SUM%
56fd2e2b271e84c1dce45ca01bd2a27576e51b136c858f02a4a5baefefb0307f

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmd4PasACgkQeGxj8zDXy5I7LRAAiOd84FXwR7JRXNZjgOzjnARFp3dlm+asTIQ99biUNUMpjmvSRYwMVZiN2eYX04y4zgYbYMoYVs7Tjp0erro+46u5uJxIYNeoXBapfZr+1CO66Zz8fMn7D/+iqHpY9fSApgV/I8D9+9Vfio9sTn3RRniruUK2ataky3uaInX7C779qUPVWRhaSwgXauENSmgZmH2p+w/COGizZ00/v3Ik37xOUoR4DLVYsMOBKe6efy52bbNjeqPIAc96WmGikpiMdL0VfDFC2kuYWMHWa1pll5OweZSsrKMmxxicw+88LLS4maiK8qOBvNjHY2a1rE2niY/wRnMqM3kgfy5p4A0gxPy+nmnIUnB4sXTs29iZzyvD/AQ+Vo7wuBR/NeqEhWCxlqXOuvk0uG/yKPeV0b38KbNakPSq2a/5dX08bURE7FHhkouirJCYFngiRKDYo24hvvFTKfSjVeEXI2R2NIGywVu29H/a3GyXSgNrlLgwTfTbOA1S3dIrmRGpEoDoNSBsmD64lwDyP9EyA2wvWL8kJAQzP/Nf1z7Ja3Dumn0JL8Z+/F4XL7dNXu48uENP0XFnbdhnnZLGY6mWScREuQGDmtXPgGsWJYkMvIok0Px3l7fVY028wDRvD92j1rYVAbu83VENm6sT6gqEpcAspbcSk/KfrTkIcn+K8RQlE1qBt5I=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1735933152

%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

