%FILENAME%
haskell-sbv-debug-9.1-31-x86_64.pkg.tar.zst

%NAME%
haskell-sbv-debug

%BASE%
haskell-sbv

%VERSION%
9.1-31

%DESC%
Detached debugging symbols for haskell-sbv

%CSIZE%
4515

%ISIZE%
2848

%MD5SUM%
0d20584c08c6c172576d44c3ec8956f6

%SHA256SUM%
369231f773dd92eb6ef930b5ce47d3f7832a2d1121868d69b5218e5c89af64ab

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXL9kgACgkQeGxj8zDXy5ICBQ/+NaHCIU+ogV4UnbGCCMLhW+t/GuA1DK8i04Pv6zvUBNGuZdWZfknnZ1c+gLabwOP9BRNeOf+G3oeu5BGKlufNzCbtNqJMHa7XNM9qfWZUZ6sbZGI/kTbe+iwyfUcLOp8J2hMyHx/NtUc6QttWocw3ewdN8n2D1xhumvzK6J8XyBmFBV0ptDTgXn55KkaeA92uk6+0P+pKx6bYO3jFSw5XkjTWRDI9DC2qH+2iRRQw8x3rv1J0U4t4S6l+DmDL+0wp/2PoXFEdlOo0n4FZz0rJi+6tU4sf1Rz/QyKiBXQ+OVV+8yXbrT5dppiR53UGi1ElZuAj2aiJQY6hQNiYTiciNA6B45k3vTZcs0kug32a+C3oOJ803EWlN2l2YDZSdyOpRyzHTEsDsx53UteEbr0TUkZrOBhuyVNi/bbKzUQAn0NbDD0IvnUsq+hniEgQhhsxOwy7UVlKYWP12O1vj4b/lW7rnH/UpDR9kBjYQbxSDbDBGOeK7FvHGFccMAP4XHdJ7NlyVhXYKjZ6KGVGHRnqLgMQ9nvCzidEnLC9GEXyrx0HJ5xP21gtNzetKKAkiTy4QLogZ6WkucEuXnYfkcem5H5TdVF7T0/mEX7Ox/1FYc9J8cLJk4YAP8z47RF3Sm+FI/xYqUIna7AByrTtOC7nMQU3XFdCGTqEx47Kc0qKvgQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707864240

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

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

%CHECKDEPENDS%
abc
cvc4
yices
z3

