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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-40

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249392

%ISIZE%
1348006

%SHA256SUM%
5610d5a7df7cb1d07af2b5b5c179a9fa852832dc112b1e70d9fc8fc9f2f3ffaf

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrF4SgACgkQeGxj8zDXy5Kcvw/+NduvCdwTkNhM0OZlOmEEg42XJAz+fdjVRzc6wUr8HnDFmDvkcplNIJh8eWplgb8r5+QoYFHWnc8sn+8MO5vkKlvjpisrZSGOCnhOvj6v6CUVmg8bshOXvy6v6KPduhQHfqeeYvWaJFFQBCvzL4s90nTs5+lXuQlVGtyRU6Oi/8gYhrWbV25GhS2G9weuFLg6dif9Z/8CjnGw11EXHiPyXE+KFShOSN7WxP/lMa+xfXlZxqK3bLSKCV0O9WbuuRwxhQ9oFWR55oienW6s0U2da6M6mCxrHWPZzvnN+Sh5S7rownR4OM4lXMrJJCGqdLcwb1OhG46V+Qhqeggpraw9uF35uHluPmx+if2vAkWvn6y3BlLuKIa2iR1xU4OoNhg7hWZ6N0YERlvNpIQBDumeIFoE9tEJFSagqhHxmnzn86/1YxZfs/vw7KlCHQb3GZteFOzlN/0Kn8idjT8/+LyAK8xflVH6CdxeQRRQuGzxpjA8wLoA4BOi/qBDhiL1Jksho0n3Yq3SB7tBkxNemKqLyDcX+qApeOUnM2XbTO+qE9BxgwzeBxtmukkC6jfzVaHTFqsXGhm7mwHR+QNg9s4BHuGmBxve8fq8E+QTBVwBSQNpbTW0qeHH+l33BdyDQbNy1FDoJ3UGs2wJz24AEC+AX4uA1+a8GLxrVz3WOF4AGW8=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791353043

%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

