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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-46

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249933

%ISIZE%
1348003

%SHA256SUM%
4a6b912e0d923ae53e08f68875a1fdfaae608614ad83eab15caaa00f5483a6af

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrX/w0ACgkQeGxj8zDXy5Ix2w//Y+IIdY8tSA0U9RKoFvfF+g8nUknIhV2XhsIOR+I4oNyRvNT7Z8tsbI8WYh3TAeOFPg4oqOa0jeWfGcxylgLsf39foUDTMH7+jrJrtQcjNPSE+vTRbAZgmR1MNSgwyxVRcfi5PMHC1+HdlE4JMGxHPafqDxMoaeYdtSgaRgMb3i0ZxUz/cBmCmsfSeYDIWjkrEdhZMIRD1gVN98GSipc+RAavi5ML3F6kg0jaZqaMnep4y73lC/TjUqbFcDrXM3dzdJWHvj+uaiMTa9H5AwgVGICRp9iZV1JlO7dqsJ5GWhpJeY/1Ifj9pV2rwME3Ogi71MKLKm/xqINFmriZjhhsZV7YKMNkauJL5n4Hcj9OPwDNJBdMsziKLpOQesOC76/ee3BKAosMA5sp7r+vlH28rv04nE372o0eXt8GUVb+4873E/dLdYmtdgsrQGhlH+ULMDCfdhtVTT3r4Y7P4EZu0F0X9b6/XuNO3MWK1Ts0o6xuP014asTrNtPl9eTrOltrgAxSgMl3kSplBqYQLtO8vl5FoxhhrlV9IJj0WuSZGA1IedN/ebsZHF//YrWjh9MgMClcYNLWlkgxLnND2R/BR52zDliLZsvBWiesIEkCZ0tuU4PG6NUUCEKoO94Ie041Wwo7+gnC/VAxvxu1XPY6AVWrifMOLqpJ3wJjoQ0HvbY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1792540379

%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

