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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-21

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75415

%ISIZE%
292871

%SHA256SUM%
8c906773dd79559f877f5e4a1e514a3053b1ef09918aac2d57d0a1605cb501e4

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnnqPUACgkQeGxj8zDXy5JDIg/8CKOkfxH5K/rH1uUoxJJubZUnKT3Bl0rTun2KnBrUvuGP8IAI1cBet07lxoewaGPzec6X09KPUiD5pJutFH8wWFAugYWBsaA844xgNIN0RxUY73zeBkv98soWrfRyT1yHCb4YxbCEM3pt3wSm+qFfQRYjG6lH9V7ZTdIdkCTRQthDiWynzH4H3xpqv+kvhxdqQ8/Q+SkLnWFmrEaZrbfMCqSxoTVPwxcoDnYIyXNMKZEMDdGLiX76Rb9L9XlQY8vepYlt8RJYhzAQtxasvOVg4ATjUi20Fea3qFeIY8tWsY0i6YlUW5+sEixaP6xsYh0unxbiQz9Eu+AcYXinMUNRLimmNdtWBizszrTMh01neUi158s5vN9XAaO8iyDc7z2psyFOGydkGSzfVOmGj7lOqFSQI4iZLOvdCe6HrGTQ//KMwbk6Y3VbEmqBTo9ib+HvP9FMGKxLp3pbIye/jl2MGqqRHnHRtLPmvP+gjhQk/TZxDgINyCmlholDSM+sD6bwfmGYm6z1Yy3yg1q46TcuZs1DvQSx691QHpHG4OwpTAr4oQPGAjkEkGHbUo8TQhbprbPgQRWluaDYJFN/aV4WmM1zojrNwlcRmIQiHjlEC68zBhGHzF0jrCBU05mY1PswML6l73GbPXvc8joARwQ8VAj+lqPm+PCxQ0ho6gCCYjA=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1776789738

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

