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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-33

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249682

%ISIZE%
1339729

%SHA256SUM%
e3b31fbd0da95ae17470cf9fe4f8b7343d468fac129c43fee2e20961b1de9307

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq9AigACgkQeGxj8zDXy5KYZg//erT7aG0HUG2r4HgudgASSlhDGS5VJDafTQYbXcfFhr5p4xMzvINedMOvG4Do7wC2NmfAVfauOGWruxrqxppBhQLZXDRuVMTZZfzxEQSWC61IAWyYF/W9uEdk5snGPKv0Cm6PErG4XZStVqyDCXQfHeURRq5yNjGLA9dB5DdE7/DPRm5dM5QeRlobvZrWEaAODxiYHTyoQlqiFT+eQ+9RFwJdIN41jxwgrnfvLJDO4oKKqUOhy+i/YSw9Zej+uLvlehQ4kqh7+p/gHs3q1qrgToxBeFzT8rxZfcDp6A/oOKq4f1iEGsMjQ8RtBtM6MgvZXUd01rAaGiELKAJz9zYEc/T5Ji5cdmGAB5RPPgvGjbAxGNAYGcB9q//3U2k0GlwqKyU++5A7g+37AXq9OyhmDWJDv2F9Rz6CHgX0yXOmpuRA1uSkM6QIgGNDhFQckcpCYPdxctBhx22H3BSzElirqHdPX7KahpRo5ZOSabcKntEGCQBh4y5ne2fzDuUKKc2Ish/VIlEv7+DRcIyIAzUDZAR9MfBkceRaQabXDSMWg7qZ+pX0oOzvdh8kBvDdmeub8SFiabz4Hay5n4FFFX8fa5V6Sw1qLuxTtZnG4pg29nboTPTUo5Jz+18F6604B+85fFqD24HDTN8DP4OgUUjUVXpcv/BhllJ+k/UtDE4/Pgg=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790771688

%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

