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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-24

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75530

%ISIZE%
292893

%SHA256SUM%
12d8136495eaae49769ccab0e0c8acff85b1df37ae08135c5b4267bdce721e5c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmn7C40ACgkQeGxj8zDXy5IskRAAv6TDOLIGj8j2qtXhho0AJU4m+o8JJRYeDGfX4p84K8vNBWdOlFEmjc5rW8AM1HfcYi37IJQxuQxzYYAz7expZMsITBad6Ekk59+HInZtVxSLJP78XLRoaR6cdPIPWYGVk+Ck63gisS8e+2dxUPNwGLwbmDFX6wRwme/N0EO8nqRfavfvqICtCPUUw3VjP8yiZ1NlXPKf4Fc4eBQ3bx+/Al8DEe7KiUIlUIK+XwgArYQ9W0mh2Togs+/5Qox0Z3tHVyT44O0IS/iMO/LfbwRAlarjel5N/TjVTer6VzXswebyaTp9xRXNO8s/EJ6AaxFlu1X5thCLMApdokDxYco4Egk27sK9FZdxWoZUDsHfW/bioc17NvpRuphBtgJs241CecINBaMaMt+mRbTVo/11ki+ditB9VOVtZhv6itaE8Xepaat1yWzAr6c9QEJ0y9IXjOzrQpArv/bPq+mOUA7kS3ThAw4WkeYgntwW+Dbv2IlpzI6KZydqUSOsI0qRqjEaGVQclZ5ByC8jXO8vovfhgiP9fGDEH4ljG7gE77LrU3l2msPsu3/gH1rx4unDZbeMBJUDDybjfzpjxRddgmrCTdruuQc3raySsFid1FsH5ki7IdeXB8IVbpmFYk1351smKJbSFSw+pDCHgg0O6ST88OSh1D3RSEUoKPdOdACqlAY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1778060162

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

