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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-34

%DESC%
Pure Haskell SAT-solver

%CSIZE%
250243

%ISIZE%
1343968

%SHA256SUM%
0adc44f6ada405b8e9a0717177aed81cd43a3afec66930f806781e518b682638

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+9ScACgkQeGxj8zDXy5JHTA/+MjEA3BQ2sqQBAAu6/O/emXDH7UuFb5b38QJrPEBFfh0WogPVW+kaSJ6lVOlmfLfGHYxY5Z8BOAi2hfLmh07D7v/OY2wMlXcbuH/Wh0FhZHjyjToQraU0z7ojHLBnFCMLTiZbLIpTIJYZGUAPJranS6goI3XicDYcGPqSIMDtij6MJ87PHv3XrDsU6Hjurnk/nqj8P2BF0Eg8MnCxsbHd/kM32170evsOvhgkiIXKwTs26se0qI64LxXSSR04L+QlPJpkQYcInMSV5Y+1Th4ioV4zgtL+Ur3IsWUAz5Eh+kOc9pi+UPxx87Oe3fjwRm5t9wY9OHQB467bqB6+LXEtVyt8DtMgaf5P5i0zSm4C7tdHK4qpIxzJ9gVExfaUYd/u/ODKBFhmzGtoBnUmq6I1ge9kix5xPBYl249IXeWWwvYurn8ThznK7is67AlVZHIQlK9TLjv6GjWdIcQ99ptlkWNMXxU1W1fDSEPvRkVO+alrAkOmRBfZqcD81HReDJYtgMZpNYMEyS3svViAmfDLe4E1PVljdbshmoJwH+MGxTU79t8azY09mJObLqToGR93o4GkP3scR21FBUnoNDlp01ReSilnWNmsf9MZgPCiz9jVCHxxxJkYp0qmdnDQHNA/J2UsU/ZgMA/WHAFReDQZbQJV3RnLDYccNFQgn1CsPto=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790899442

%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

