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

%NAME%
haskell-puresat

%BASE%
haskell-puresat

%VERSION%
0.1-21

%DESC%
Pure Haskell SAT-solver

%CSIZE%
249154

%ISIZE%
1331193

%SHA256SUM%
5dce175b37679cda8a6d047225bc48b3572c9dacb32d828a465ac5093e99543d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnvaioACgkQeGxj8zDXy5JzRA/8DR49KNxGakrHVZL5xQN8UkriI5fWKGPudYssRvcsM3vJOzIcdftHxqa+QUIyKHgPeUn8H0Usb+WIJKcYtNV++7zwYKXDKhcwSgnNmFKOK547h1TTcW5k4GYamp4h0qRSsz3C/KAJZVYz9aT9HUe4XhlyEDKmcWUNAbHMhqg6az3rR2gUZTUmJvyaFtok2eoBieoC//e4dDKvQKNW+p5Qu7a+T0CLaR/NT7fjHS1iuiPo46BRk4l8o5OHL7obkGDXxlfgcqXz1CPh48ZcPZMNToQ4vTr1nsl5Yh8PAVPy4UAc8ZsygxNa4Chi9TrsRK1opwHpOJIzzae6Rs3dGR6D0eppL5HPcBuu+6OG6q/3qf3QlvKW+39d2lr/Z9U57s+I4JX3Koe1q1eKGPkzhh7lKPerCTugBVb5dR1rO68MPrtmEoCCr/hUCxa2xZL8J5Wt5G4mKrG0Ye2ac8LXEpGXLwJUoagvni2BDGxqL3NTa2Y1VbHjph6n6f/3DATtqVZH/O5JlJhZ0R/S83Jgq0j4g8LbleDTNRjrwAgiHni0Y2O5EB+yM6anQ7E7Ocl+CZ7mJdj96FWKjOBRzyaSikb5s9vjhBSDKJJU43N5KLxp5tAMzSAca0bQONjC0RAmAFR1eKKLTGr82ZtKfUu9WUfbBbq80lg/W+Ugne0PJ7YaEcg=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1777297919

%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

