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

%NAME%
haskell-minisat

%BASE%
haskell-minisat

%VERSION%
0.1.3-40

%DESC%
A Haskell bundle of the Minisat SAT solver

%CSIZE%
75490

%ISIZE%
292900

%SHA256SUM%
a8bc67dae81e5aefb0ea427d89532f0a1987dd35d3fdfa77eaf0ec2dbfc09ed1

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo46wwACgkQeGxj8zDXy5KaihAArQtsv7Yoq66AgqK93+3JSBpz+oeY3y9BnVssTeVySxYkuViyVgETAyrMJ0j9jpmQ3cIhf6rKI8hhpTP5FGnsHvx6N8f/qWmlJx5l10g2dYJcb0G7CD5S4pRKgRtShk8eeJDiaOlZZE4T8HHgt+9vPuwDz41eDiKAD6z6GGb5MYYqHGYoSvcJcCRQwxyyaof8gz7a1MSvuXt3Wbw9v4XNJd0KPFvEJyHflpGgXxes3ssrQKclhCrI3u19RCypaOo0UEt88PFKhXXxa5xd2cgjNJN3d/06KXcJAYhfh5vKr9274QzGvCBAS4nnCaVwu8wSSTDGxwglsFnXGAUk/Abspo+VyyqXdmH2lJPJiuuT+LjOKdMeVbxyZVmeO0x2zN+ATBR9SZz5fHpyhTthVe7JWDQOsDC+6lH5tuILsCzDXeTYaA3agVu1Lphkwve3PK0wiEXLFP02ycA7JrTCqkHuNOA3Yru4mNwFuvsMivywaGzOqXpuC2Of3eqkQgumlXQuFjI5lxFz6DwnkI9+um70L4ihfAThziCWhK0QsXRYAgomydxJb9HPw/Kc+Mp0b6+LpXtuStPfkQTXn9735ctc4GZrUHUJHQCM4KGVymq02VoYjVV8GMeyOh2Lzvb1Ah1e2RKZIQpuF0UedWCqz+rRAJwrEOyGu3f/lDBvCBtgSdM=

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

%LICENSE%
BSD-3-Clause

%ARCH%
x86_64

%BUILDDATE%
1782115061

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

%DEPENDS%
ghc-libs
haskell-async

%MAKEDEPENDS%
ghc
uusi

