%FILENAME%
haskell-minisat-0.1.3-28-x86_64.pkg.tar.zst

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-28

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75469

%ISIZE%
292883

%SHA256SUM%
e013906e2dbe0f7c180af4c279f7302cfd593928f49e1891eaf8d57acac3bd31

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoGF2EACgkQeGxj8zDXy5LlSg//VZl+alsIJqBRKs/+v11hVujOWYlfa3QqY4UwT1UnaKMxdls1w8oequclYRKu3uJzCGg4vmCvjH/mhRFCZX4J1ATH9Bt0MeUc6GVwCtaRn5okrrfhCoZYVNW6mUPrnzzbO4kEICMeC8DcEzTHaXCTeqYVP0YzdxKacX/QVPGyS8WbpqPuUylZy5rIpq5Ro8mUKEKAQ8fPxlLkLh7GxgrtgQGzO7Hqq/cmnUvZFsuo4GZMk4rFz1pa2Hop/Lwiq0Vx7bjW3hpfHSfAbT7jRtQ0chHdf20OsR1c0B9aehLE+FmEyG6wgherQnbRTFfFvsSBXnoiKjr+CJI9Fxm3RgoYDm/bP94FB1UslauSKZdv62JP4inahEelTLvHhUxyhT/RWVoUIgXxQRljueCDpXBEYx0zzCEba53o7kW2WRnAP3HY3wet6rGHdBC2634lo9L1RGJxsXEYcnOxCbVeaMvnZLXfPTkfIrkQpC/DpLu9NTM7jCJXbtbYjB9ESmVUk0sicCM1znslt6oIuA7N3dR9D3ue6+C9UZ4eOYUESOVil+EFA9Y48DZ3NOExHbcgqW2viVyujBxUJJ27ZjZHzEyTKQ5I7Ok8U7yryfi2HkAN3ejyti6W4Sl4ka7QSa3xvoKpPoi3QaILv+dVP/v5Fmn2TtKf6hlcys91JTlmucifSSw=

%URL%
https://github.com/jbransen/minisat-bundle

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778784079

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

