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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1.0.1-35

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249679

%ISIZE%
1352102

%SHA256SUM%
cbb8aea6df4a3f84e659a9eaa366b01a10ec49653e6270d5dd75898435c85823

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBT6kACgkQeGxj8zDXy5LhYw//ZAYQVjv5qK6YPAdQU3fVEOqC0DGAgn0EFRdsm6aduoBf144vwvEsvwf6Dz3COx+wBW+tEeMN9MIDi2xI1WpRPMyJWGMu3qQJJWYl0G/rFKg17kPXi4hu6Zdhwx+NCpS9lzTUDKh5EWesbHGowhO8JUOkCNyOPToUoAk9MP1cppSn6pdRtBxW3TjfsarmjtbqAuC5tXR6T1h7+FO4tAT1uBvjGGW3P6+B9xjN0Zb/yNpVSqz8yjaAc2F/JFyj0LL90VujjUAQ5Pxh27iP/NuSta4abUh0GOA930yEFz6zytP6060ea0Jcch2EmBRzTLjri3J4mZsV8+2xADDdkXi72IKL0pecj6IUq76YV/C8x3KkTSPbJtuw8FlMMrcCeQDxgBymIVrr/8c+y8dz5z32cIuVcW8f/zkLY3UHn6BCB1n4NSo7xsCxc5BMVrixiIngQEVOUaHkStlJ5HbQTecTSRrxMplPZtiVSQDVaY2Q0NFweeWDEnT0C9T1yHMbZz/OLJ5hGx3nJ7oYEqHLx93DB4I01cfFNaqR44m684xWwbcu/Yr9aUHBMt2qyH1SfaDPlvnzCH1gk6VPoodhXHyXrDttadUoXj5o7HgPQF4fsZA27MYOwoCmYYz6WKCC9E8dqAcJrHEG/5HlyBSXx/KbefmrlWx7Dw6C0Rv9l8WU6Tc=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1791053654

%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

