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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-50

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249961

%ISIZE%
1352152

%SHA256SUM%
836a8305ca944ff423a97b043f89d3dd16e1661a61f8c682bed5b14a3625a4a4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1ougACgkQeGxj8zDXy5J3NxAAvY+dzenoB2n3ojTP05Zv824yVZkqYDdtVjbqNwR1UHW8Wxp30SRBsbmkIUvtsYq/iOs+iz5zGPVsR0a4VjdFcvyg6uPdbn5QhxEaq8yA41ledqPhmw1H/2qFaWlUPldL3jUxGxsHMb/xaC/34nTLt95CzkPHgZaOn/tfqUZrVzxocAfkydJQZXOzls9JYQk7PtDNHieIWtFbbTXa+AKOONuCJf5nwOXlqM4G5n+HCRf9VmGo2N5Smu1CYMZ5Lj6CTq11QGNXO6Gjbu8417fVzQ/TViXAbNuGxrJzbLmvrgpoRc6YyFuOgRYfyVEyjdcDdSV4tAp/j2PMAJdFxkAfBrO4nwIaUwXV2AuD7UE+p8Ra78V8n2mWANMgWp1VTnZiKrRJ4MoNJu/CcRKmCanb76/VXtEhP9iA6f/7TYzNBvq+z5qndoCLfo+Vihze5RpsObi/ikggNtrEEz1Mvm4M7qSqFvqP98q3hGLi6B7eH6IXnmUeJoT7EmySc2nv+CeDf65vitvxJofWokVAj+H+7wva1IMo2EE912lltcJPXT/CjWu261jMTso1wNcLgCtXIB8pddNbhm5Uehu+Qi+tnl3t83AxAo5KXOdqGs62jVaW9eb9vzg2m0fqzvc/G0X6m5YP0DyK4LJFvOh7jSoQ19JO8+bCqqOOBUjRd3+7HIw=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1794482879

%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

