%FILENAME%
haskell-puresat-0.1-2-x86_64.pkg.tar.zst

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1-2

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249366

%ISIZE%
1335399

%SHA256SUM%
1417ffa42b4d1e393a72ab971b7410a483551cc68ede592b313417612524c2ea

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjurtUACgkQeGxj8zDXy5JcvhAAp3UoxX+t81u7fGt4ULlcbI0aX+SVrLCYlVvFai5iy2Z5Cx2gr19fb001aFwruWcGrZicYveFd6E8JoVTqa0N2n/ikhyUmbcSVu9HRKn4t2Oc0xX+GOeqvZJN/W5vA2X0viOtu9R1lu4ojUo+Pc2jo71tN96YWdC84xhCTqbMfW2KCq0KlHHZIK7MNW+y4BmI3iNU9Qw/FHrSbbxDI/nVJ5sLC6NzLwo1s2PUpDad96lnfESTMsjTS6w9Y7600kBlkwdfs+eyJt7htKZNw91xXZE9T8coiYLUM4wbB833Ja6ee0evZrrtMQF9VnAy4o1Q6T89uCQayv8TGa6aJw9VDHnUvqYHHY53utGQQNUwxTzhAJlX2+AomRtePDSTcjZV4mA2wru54jgKd9LwZXMex9DtCU35qwBCb8DuTOJpkYMP/51V9wYlLrIGvGG5n2QgFK942ytWZJw1wfJUfbv6vXNFC1NiUro+w8Dba+54icl1bxGK72HrpsS5mCC4nALlA1GZLEyhJebhWEWYk5HsBIwRG+duaWQsbHSTEqCOzzSPrXClsp/uVY6RZA49unXK18YHqf31Mdjx54WZAJYF6raefMJEZFDk6PFyKHmMhY6pxzUffcEv+kQTolv50C9bgaLVILuTbBpv9Dd9jl5rQQymazQiwPuh7uk/k1CnEv4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760472706

%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

