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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-55

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75518

%ISIZE%
292893

%SHA256SUM%
16ba173c07a034556661de7728f9b54461e64c0d42a072b5e971a74e29065b3c

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq3DOoACgkQeGxj8zDXy5Lu/A/+IzgZNLMcLf5W1jsauW05+EY2RaFtI09oXz7bN6fvUk2VpRXcubQ5cVNPRjc2OTrbXz1gnBXw7aMhGVUJ8iMW8DZtO0ktliXXukyb3niNjyjLKJTbsVBbYD4grXAHK3fgBO2Vy+bCODOpzIiJzvupcqE/AiYKPx9WT4kHgAIK1Y5AahwAMGmLvn6382mdrVHv+N+vu5v7xPauawBWMmAnWSM0fFY26MeNdN/0TNrWx9NTl6Mw+Geip7+ngxNzGM0sB+GJlDzRYUUUgFg78LXq7R9E2UbuikRdyMsIwk/NMSaQeT8P5s5CylTZiKkbGcMViDkFPZa4rUgetLhy7u5VcdCYUKFc27DZzzFD0AWYYA2KNIhzrJ/ATtONzvfeBvvXxBAD74lRUxsrBY0WPLWrd9vwdGLeRT9xoy3KHn0eoclc51x9FHZ3IBVridsjiNS8w8hfili0jhD3E2mfrgm+a2B2h5X6IoSTC7HxxDVxS/vKxPI/Q42ijCRYDc13NIyP/Ox6kSP8fa8cHojQzVR0f2p+klwnRoMFQI0K/PNoTXLcK3WqBi5etg2YmPHtV8dS/bKd/cECja1+++8o00mRv2poDcTA9Kgnx80O5Y1ImOWuc/cdEz7TbepFtZD4xgPMzO0AK3REJunFCLe4kgP7mKSq/aVNpIsAVid61XfKHP4=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1790381238

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

