%FILENAME%
haskell-sbv-debug-10.4-6-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.4-6

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4840243

%ISIZE%
27990811

%SHA256SUM%
9fb26eb48b7f509aa64e9866589f4320e0abbf93b028a11271912369070ce291

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqVSCkACgkQeGxj8zDXy5KVsg//RaYCkK62vmibRUfRkzg/woeEo4NGjvNJl+C3wuEpLbSp94tVz4aEQh/8eYn3k6ZtI2zd3xUvUoi96rkDa/obc6IFANqI77TuzMnr9EKgRxsA6RvvGzup1fanGuh4o2W3q9Q6TqG8PSIqR5OOucOzRJjUM4MHFoZLdqw8vKZklyKmS2PZNvcr3EDIwzAlvr16hq0rj+x6stJyE7SFvGEHo/sDXHnMsxX2jMuAqBdrlMx/YPBF3usofXTH+1vF39Xyri+L0QQ6vQ0sDjDs0wBF4vmJmBkdjApIt5sy9/QjPu/g545MT1gOJVWqB/3XBi+dlofNMOWKyfLzimNNnvkylnpLlNICC3STWchMSssjZT4FN9EJoMPNp/rTa7Bau8RmDAsPfbLwBEACPdKOibMH+mjZKNwgEF3MXcqcZaQXeuxbB/GJu83135mZl72IWIXo2fPlt7FQwrD1rqq3Ovbqm702hUTzCHrQI3YsJvHNdChXw7x+ZNOzUbu2IAuQSZS7PtWR4pz1IebSvGz5hdiabZMzTedR/kraJ2xP970RuMm2NoXgxrPuUgDa9E2B3Wi03fYZD5fe3rfUEQWoX/JcbXl66lVDGVsox2eKZ8Yea1VrIk2oVRZN4gMstYLAnPH58cKGjoE4T6XD3vTdJVW5dZLFDH339MipvtsiHZlFxew=

%URL%
https://leventerkok.github.io/sbv

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1788167333

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%MAKEDEPENDS%
ghc
expac
haskell-tasty
haskell-tasty-golden
haskell-tasty-hunit
haskell-tasty-quickcheck

%CHECKDEPENDS%
abc
cvc4
yices
z3

