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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-30

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249580

%ISIZE%
1343868

%SHA256SUM%
7de6c35523b0fba866e165c09add74c18a3e87ada038b1a4029714ad17adb5ce

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq3DzcACgkQeGxj8zDXy5IlqhAAwhJugdOtxAwKj1EVa3IXVNMrtWEJyMNebiVK69wZ1zUOftOUCUrzWzq3KAJg8bXGzSHBfaVtRAHLyxqwTDl9gUR8FVs+9wblzNKtw1wJg1NLzXcYyiE+Toq9koVgOKl5Bsvf++5PjwfctfNiUuaTDCNOGjvJcqFD5NvdaWyvDcVNvfZSsgciVQBx98BH2lwuKrwystbtKvALrL1FUIqy5ikjZnD++E8oIQvn90cjoLRlbbi/7tUiWtVgxGdZ3SoLlz+OAQDNy3Ef/biMEJfyLIVY8UiyYdIhpKoH6An0Cl7M9QxIyRsu9mFEUsXaaUb5rKARx5+wUGupyaPlNaols85sSWAJHSORt3gu/mT30lORnF3tCBhHtqH77j4Xbx7oVgzF+ac582wZ2/eN1pN9HXrtnekGrvrmKoJXRcNUXHhVfl6J7bEx5XmTAvp5AuRL7+Lev+RLYf9YsMXxBTC5416L6qBooCjnjdH7CFGJerG867CeKNIdC8SDiGQxBj7234LFavZw3bDgQW68HYvBzIsR1P/2Tj8DNcs/VoZYvi7J3AK/hlE+CZV+8an5scGTuD9e44VRIiYFB+hcZXGWF3frWOV/L0jjWP61GAEjhjQ01gJWbtPDEVwl3/DPbmBiljZMDJVNT04HSEfpcPUKl8lSZ+r1NtAfxUpvQNLQSL0=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790381843

%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

