%FILENAME%
haskell-minisat-0.1.4-7-x86_64.pkg.tar.zst

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.4-7

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
76154

%ISIZE%
231504

%SHA256SUM%
4c7ea11f5f2471579d61dab8f5483040e43d5639ced3c6536d2d1ee269a5abf5

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1oJMACgkQeGxj8zDXy5Kf0w/9Fbc406qPvFrmJ7U9x+iIsKUY0WNb+YD/4M/w12feORRX2Tk9tdM9Skbyj2mEodkh55D+aX3v/HfkF24tKodQJc4+z89/XCH6Xq3ToCK5zLrHpLAiq7Hp2J1c7MVRF9efK/R4EGCDSw85RwMbmQtaI5PJPc7J0ieuFI9eTEa+3YQTHrCYSOPuTRJRCUcgP9NAnmWcQHVOqQEI88lwDq12Ysiltrel8otx+sQDaLUwGPoRPMfm9TQNnjsTXc7Bx4cSKdx239BQ+/0QEtIcUvEOTOHSGxXsKZHCu6sRYr8cgBW5ZAtw3p/kw4R9rbu10f3sFfTBuptuXPevmCtzTq0EjtJHQCaRVzgwSBVnBC7+PGW5vzxXq5CyYXJM36mwVlkxdDnJxpRUsSRQyLo4lPEmUCO547tvFbEE+JSs7awbAH5+1m+H6qLZ6ciJsAA8CqJo/dj10sUo1ct3x2ggQeBx7M+nLuGb60om6uN+9P2uF02nBr6yXV1QXr/XVlmW5HNZLUDehremEKiDP5C3Cv+v17Jc5BDvZxjTR5VG3AucKGVnOBln0vvFoXifczQpuypFr8bWaIOMQCH9bUWb2U9SNjo6PBNNOVTxgbCVusycjp4McT0Dg+yWtlMUnoaUEqB9tavnkfvjeHc25VQG31bVO2eesovWbT6v8iuKXnzZ7mk=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1794482305

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

