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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-6

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75256

%ISIZE%
292893

%MD5SUM%
cdab21efc6ef49ed949e39ab8d04143a

%SHA256SUM%
a88037386fd54342aeba3f346b4c3cc0d6eed93b1b291b4b6e8bee52efb0bf5c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmljnAYACgkQeGxj8zDXy5Icbg//blSl99WGcIX3BJ9MwwbJ45fkv7WvKtHDCfbIAWHVafvgNst4G+1GVDkXG/ZuhRIP8hXEvK2IbifXVnDC+pKOuL5CodUHFVq5PphPhkp+t9ONOzB90W/yqjqp+Z3YaWCSKneSHEMBIw4yR+l2V4BR07LdzNBxLoBjli23zDGurlTGagIBeeDIfWfa55fi6zer+Mhm54E6TR5fzE4IZapfb9K/jOly7DXQ4p+Bkk7BTb7A8hj3D7tDh86O8of6fo3FanhadZcL/XY4lQPFf13h55tY6YWTPC/zNabPP3kJDIdfiDOyfw27y3ReA3BT36PRlmi2zNPQrcLzSNECxuokcOrF7XTdHCm042vBnePzjtCyXDZYQe2n8WAcyoy7fAkWGnm42Yg10YLWMRNj7TeRA2H86X2GUzw1gEjwSX8hFnlKkLClo0jA7KuFS4mcz6F0iz7JuiHuHg10QXssSeXp8QrBbSe69uNohohWaa7mJEvRTcSMr6zkPlWINj75d94n7idRrduQhbNbPLaKPsrStcb0pZ72OPPpsyIhQtCEwgGu15c1pbWTiW3hACQEuf2XXPLawkp1yq3CNvukC7IxL8f9pQlbOMlfr8rlZ97lZ4ZX8qhE9Q22itA8NErgExw6Cdd3E8plEmgR4JZu5HzgL/V4w6URBZdUC82f+tJeUo4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1768135646

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

