%FILENAME%
haskell-sbv-9.1-77-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
9.1-77

%DESC%
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

%CSIZE%
4423594

%ISIZE%
31720494

%SHA256SUM%
8d0a769635b5d260aa48ca967decff6b65549d71ccca20e7ae0fb5150dbf1098

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmfUdAsACgkQeGxj8zDXy5IKJxAAj9b9idPXGBzpOfWUdTxADkyMv9cnr1dljXgBOXw7AbwsM40YeYx73yTtunYndkP7FUgoEf096Tb2HU06NB5T2e4TI8zaFrKLJL1zy/3URliZFpS0p2W+obPeE9KjK+glVOpF5HNMtKt6v0ZUVWCup++dGKcUl0PjPLmpM9RT688rpjPaOX52IvQsf7mnHrNTYSGa03w78lPh7InFmZ8x5M9rgr2/lxoq3frepzvPAhzgBeL2gD5I5fPuP1Ht4e0FQCn79D+6bFV1it712b4u4m23iqxYTJWkfuj2hJ8usXINymex+IUnWgMyXHlIGIW0knXfydz6pl88pg1AGaa5VIFFWBCn5yYS5pNbkGSU6rL3Yr/y3xG+twIztOd6yeTlp/wR1zbm1B6hE4FNNa+mnEgx3y6Pe+D2flflW1cyY+JFo1OqN0nrqxxotbC3HRtRLpADpF5qLjrbP25vu2yDJnS8UBtr+DR9HhCS5LVWtgrOeepw/a0xl8RDjUV7CCg5IOEJDxfv9H8zkRLs5/CHUcD7FgejbiW2iXBTn4kzzlyrEaI1dGc9soc/9T9wlDd5d6XYdQEVUJvPUY79y/Oxh0YaNMKSPzgS8QXP7QiqHl1WfwtU2IxGkZqn07jwEr7ZIvQUdBtSgXpqNIFnPZs6KfcdzyjoEiqie9OJlGH64fs=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1741975307

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

%DEPENDS%
ghc-libs
haskell-quickcheck
haskell-async
haskell-libbf
haskell-random
haskell-syb
haskell-uniplate

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

%CHECKDEPENDS%
abc
cvc4
yices
z3

