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

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.4-12

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4837404

%ISIZE%
27990627

%SHA256SUM%
4c33cb2567acb6dbc683b2b9b71c87d36f57af483070cb84c97577ff3244afb2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9BAMACgkQeGxj8zDXy5KcHRAAvvSCfFDnD/4pZqBpSYsFPcrGzoxjlvzrTOF83hEfbBVjmAOn0Z2TSx27eoA50ASwiWjrk6tsA3hozzJrPM/V794VH6fonejvQq3956oi/umdcW9B83Rg8Hbgm3a5XIF8C+Vl7t8L1wvprpLXOuyiiRs0xPdeIxfCV3WgUBWDA+f2m399CIQrFur7jkk3K70gIVElN3BAJBgfcd/8kcHUAW+jjAV1qY6mhCv/LyfKjng59bINbOeFBuNNHRpKhEzAGaCKgRfrgM4SEVni5C7nviBflTMbJmvdSq7AnbkYmsncgVq3MPEmPsIQ2ekgAej3coxcZDtTdVVQLzMqxcoFRQXmBb54Zd32ZUZGvRft+hvR0AmkKV7Xs0SJu05bLqEB5xbPUPRIAo5KhqFJfPNVnjdMYS753bqjI9EnfNY7wyNYRy+RRWRJCpUrACUboCeuIpnjQyASWZSYy6gSNsUG88KS08KlMw+qV580qq8OLL/oIPw042L8T4XQkgE5d/dqc+ra+UiKSgLBL6MwcVGOCP1T7EWFEtobghDWR6ec10pQdMiXu07Ki+i8Pft2MZ82Z0f8Yq3qzQGKUvkn5o8PCBTq8zblNtbaWqRMfCH1vY5vj4zCKEPm273VyTQFpk8RqC2lWGRZ+2VdWtpIz10UC2T44go3IN9/+birYa6cqrI=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790771574

%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

