%FILENAME%
haskell-sbv-debug-10.5-1-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
10.5-1

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4842296

%ISIZE%
27928306

%SHA256SUM%
aa1a93b077182c9c416d14dabe321acbc7e44699ddc49bb44ee4d450a9f1d5ce

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq/rnUACgkQeGxj8zDXy5KwHw/8CgKPnyz+qJyvFKraI1JTCq997ajp2W0gDw6lqc5S17HyH1i+c3uxQQmv37dgb3mewl88A1nJMVwHpbEHs0FVYKUTFhF3CxBzOZVTf7h6RWKuNul73bEjMIE56G9GkMujNZqqdaMFjXE4/a1SM0PivYAPAJDktOgsdrDGUl9trmS0cdJ3X8t3mb919D46ZYFbff3OLotaArzVyuiWzlj8lr/lxH78Gv8jLWhDq3cOdD0SWb1Q3Sdn7B0bz47xKEEkUHK16a+wU5ytLlEWFvxMtLhllQhp6UQnhYVUbjUDEiNn9k1Ipe00utBU94x0ZHZ7/DLevZ3FahjcwFSLqljY1soIVn2a1djh6O04slTDxWJfMVqhG1g0QQIxM7DZDK/zpGEjiSF7mEzYtdfaQDX7v6HLcejAbiDVAIemyyhZeqS3VLfkozppQ4uSxBWB54LleFM4Kv3qT4u1UWcSSqihlgDmD+oS5RGyJKn+G33LHHpX4cQTgNJ7KtCrl07+dhhsJL9wWKS/ZuPmW9iKCXHCtXcu/Di3TlPdFYU+q/vKSy8Ivsevu4J6g+BfdBFRt2ED3SRdq7YrM3vOxCXecJsTYnyzqlrzKBDft9lXn6BBbrKG3F8GftfgUnu5jHLyAXb7haS0m8LP+vdp6zd4q9YXe65oXQKjnz/sTPKtnDaMXv8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790946313

%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

