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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-23

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75495

%ISIZE%
292901

%SHA256SUM%
69010b427f8fe733a2368fb1f88b72228897a43530f3ff812c667c36993c20b7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnyEUgACgkQeGxj8zDXy5Lfxg/+OuyD6YdN6SrbBaMqpmZ2LYdfyEPZ0Ms2DZGwChfR3zc7MZBVi8kCUm9hhpHkEK54SeaXxLsLiKXfULjOBEtsIMaDVDjlPHOg5FPhomatyHxd+et1+8XPBd9sqYsx4NTLYIRqfO9fLstei9PjD4E2OdINvRUUMmBMniqPb0zQ4KXYtBj8nXkm/awxemjAO0cKmfRHitiL0nGKGYQsuILIMpsgORKq9EV6IBLi9b3VLT47VS3RaPSLDCOPkuKJ3vq2Hs1g8m6h6Qss+g4FC3RS+bSk8AVM8gv1wKZrqQltMviwTqa+Ml8h+8tBsodiE5Mfo3R3s8wlQiJ/5H6VP1osC1QDmaQVCA474RkF83LhGr0zLGHIAAs5p/S0QJKeLzqsoRdiV6825gK+Co1NYUqtfJp2tivl43GXfVZUCgzEHIiZUW/ZsqOUlFG+xp9E+2HY4AZY24X5JlzOmsVN/yEtkipE4c9WMfbQayl17CO0z2mDxlfNo9Jk2PMzSSAEgNrLvygeGU9jOFZoo1MT/XEXRJ+Xjsx3bJYym9DMjljwc+VqiATD7/v2rXdPESyMsUnze4eC0ArPUyPqHov4DIj7sgaUnc39DIegzs6jqQ9WgsvcQEejmms6s+XnzDtY4t8unjCMMiZKgj7+Bzf0Pmpcbe9SSsRDC8v+BOm+gApUNoY=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1777471802

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

