%FILENAME%
haskell-puresat-0.1.0.1-12-x86_64.pkg.tar.zst

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-12

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249735

%ISIZE%
1343796

%SHA256SUM%
fb197d7997b3b57a8bb3c1f93f6d86b48015a8aecb5f9b74d38905e6d416c769

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo2LdwACgkQeGxj8zDXy5LYzxAAnPbFoYwB2svOnUWIHAtbgRrdAKyH9h72h93Tx2vtyN5osW0NZoiosido+GWQ0Il7viajDpOPF7p2Z91kWRJ3vZKgWuPav4xOFtB7HkmMmWoGVAtRjmUm9hhrp6zAIqY1frvRoVTAdRB+VSATjNWvUCiHNJtUIiTl50m/qXzgZ3sVcPuz3/lqHhvZH0Cpuul+5wDPokbaLgSMKZ8IDvro64axOkuxQ5H4mTv7XZB/7R4EpBg5qHkav26FT7uLRl8RmZSdgdP7Y7MGBllOMdesnBIk6i33QM9/L1LLHP0W9O0Y1XO/Dk3AuGL3U2GIxhCtxC9rIvAxxzkSfuxpSrWMySZ1Ti+eczLL5/+228a5ezj/KVHrOXeYyrkd/ekXWwQRz30/jfc73FU2rJgl4aPxjWy6/2VG4waeTH3Ap44dtp3HQFywyrSchWxbV7zY2GDmiD8V+6IFT1F5IGXM5pp5ZWItDxOcYyFV1tRVJXgo+mlL0pDh/K/OwWJoxxIoXn6JD/Rk5iwf9w9RHRv87THE1rM/4H1b34LiF6e5O11gbSzPSxtmRYMXdJR52SqDHbiPDU/IISsty4V3XC1AUJyLjkpqpZcuFyHd1aAdThzbeVKtncUjHYLKLTKCDoFFjSFlUSLyENA4tmhl7QjKU+O92L3Ci+KlrYMtkrI/vLOPW4Y=

%URL%
https://github.com/phadej/puresat

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1781935550

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

%DEPENDS%
ghc-libs
haskell-optparse-applicative
haskell-primitive

%MAKEDEPENDS%
ghc
uusi
haskell-minisat
haskell-quickcheck
haskell-tasty
haskell-tasty-hunit
haskell-tasty-quickcheck

