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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-36

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249675

%ISIZE%
1343924

%MD5SUM%
aed343ad23179852747c682c3b2264a3

%SHA256SUM%
1e9daebbfd956ead7ae83f2b68d6e358cec0bb54964205812fd2fe3840b6c2a2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBhe0ACgkQeGxj8zDXy5IaAg/+Nom7ImUXQDI/QkQloDuu19ek0qj3Uk6g9zQR0M0NwzIzHDuxu4Otc3TnBI/X0Tq85RMmc9zWcZmYeKrDDGB/idoT8wGFlBxqJR1U/+YYIHdn9pCsblKGSZnDucfZr13QrttJcKPBmWMjq9Den1gTVqykK10wnHqa/U6h1F97JTZ7DlNZpCOPiEKVIqUYVtCfJlLZXTmC+7Q+Wz8TWEaitLOfdUoBg/JSaeu4+OGJdf6co7Ob32p1vJQcC1+tfCtfOVeXvAvngQJkbD+Mm7v7IP6BTOMyWA1VsTVY58B5T8TxUaLTcZQQR7GB9f3aAbrOqIYqiTNussSnc3E81+Y3UZLPCRknqbtuKGLdgYD3BakT/hjSv338OI3d84SdJP11lIlkKXkqGvrKtkjQDEgwx/MhxLVmDnxYwHX3dN3JbP4KobFBSH8ZpEIV3rFT94jetn/NI7edVh2rLFRj4rX1GPkDB8I61JRLmPm3yVxFeQR5eb1idXDReu3AOlFVZ1Ee1zynzx8D4BXu5sHtmVDmYHhe1zjLtHeqH2Rbvq4euAyWoko5H8cxkArTBwxC9uraMaihvL5Pczal408OMm+RCrZUUQ6eRgGznPTrGp2OHYvN1RmhJpBkF5EviiDmHFI6Lwsmcf3G5abotkB7bvSmQVXLf6fh7gYFFqutY1HEoMc=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791067582

%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

