%FILENAME%
haskell-sbv-10.2-74-x86_64.pkg.tar.zst

%NAME%
haskell-sbv

%BASE%
haskell-sbv

%VERSION%
10.2-74

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

%CSIZE%
4680838

%ISIZE%
32771758

%SHA256SUM%
313460a3c92918d44ffc3dce9e39e73e3c2aecd79a9cda8aeb9865e7280845de

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAml2HuAACgkQeGxj8zDXy5KiRRAAiXwmddGGTB5P/nStxMPXdhPonJHt908CD5+zI+lNmwZJCpSyg3z8r467abRW+10eFtjHo+aFhe80luw2NWWukrCfrAuCxikYLHtfBpq+L2RW0vsYpFU671kQ8KVmroMnIZykecVujad66IEMnTmglnbMdc5vG5kj1r7UOv2a+Rwp4z50OJneBUj8bYqmlY/H0y77Ed8ox+4V44FTZ8YPL/oHUSRaTc21TlcrEREANg4GZGOqqgwbBN0OX2fbrO1nmrPco7wfA9EbmziIUD0CxesjBF6z1ki04XdJjD9SL4FYKnsDkubJkXCT1/jHCw3I09mZ3amH31b6gbBFSMOuVrAucou2nZpiE4snAxTE3BlxrDqgMXvrHrEi3u/3k+Hw9L9ci5tvYd2g561axdbIVF1AnP/AvOgYN6gyQnVkO5qAb1iHMkAAQ/18ViidiPK1N5PTuS/s+HZ3Gs7VVPcji1LqO4AqWw485qw5IsRjmTjhi2yooXplJKoa5VxbQD+my0Cs2idy2SfOXFZnLos8WnO9cEveV8tK3IUMwN8AtZrwuLdSsR2OSehQUEYUFrWjZIDypuZXT5lQ/1nSEVQnqX+D3IMZ1lECQzRMadUn5n0KIyVMXkHEut74EWYhHCmVImj4GBJ9TxdJBpLopnxBbC5DnFmz5cjE/WcUWjyDBMY=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1769347884

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

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

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

%CHECKDEPENDS%
abc
cvc4
yices
z3

