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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-3

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75103

%ISIZE%
292884

%SHA256SUM%
c940c6bb0ce05ee98200d4fa05d9badaaac059237b08794378a58a6d778a8db7

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjumKgACgkQeGxj8zDXy5I+Bw//TfRP+LEeoGKClJwKGTsoI7YmgyWkiCXmwkzkLqi7qWSDTQy4hi9GzCVHxjiTwQSHuCfNXNwlrsCaRaClgMxPyn0Cs6VBPaQSUjO9ccU4kk8JgTO4pGaOPGJR3ppuNfiFUTVQ/fV0yK0P2ZpGK0xbBBn/cfSxvBYTamrAtCr9dpgFZjDUmHxZEkxM9mB/TLHs7KHjpaGmCY5bbl5S6XIK3eGZ/waAiFFSoTILUTdt4oJs6mTLfOejH6DDdNZuiFF6jtjBa2ISDUPKN1kdyJUGn59MNOD8iNpcBpJbWM/X1csCnOi3/nkyRTnJCZc2lHJkYxxp3PwyhemYum4MdFCs9aNwQTLg+fm6PhPcMijaekBJIDdYJPxGAi522dvTgCyHIX3ErvwP4DiM/GsTMHswy0OsThA9gC2f2d1rtJ2NyiAk9ccLH71VI/vtxKb/0EqrxNlQiF2eHOiF3DIYfN7UwN5zx0ejeapj96M4rp8pgJNUylZlOupstYLflwt77ywhsAruR8ioVJ+sQCPWaT5zQBk+tpuN833TTnTs1ouBsB+8ZCaj5N3QScmBSvSC69Q4sp9xtsxfCx9AqXyFZPxp9Gk/d4DzTaRi6Ii8QIGMtCMuJJ9LODnJhNlM0pPLlw2d9PAPmcpjoNB7Fr5Sg3aUPX82RHaFF+SseB/bKAce8go=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1760467088

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

