%FILENAME%
haskell-refinery-0.4.0.0-346-x86_64.pkg.tar.zst

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-346

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94628

%ISIZE%
630321

%SHA256SUM%
9542f3d5fa8521a64790426fbabac6a50b1c509965dbad68ca91e847b5ebf5e0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo0xJUACgkQeGxj8zDXy5IGthAAswQbRwqWZlL6m/tdnPmsGyvCXbklXkpGJqQfSDLNLrW75M3Z06K5eWC4jjwfCUGVWusB2/NAMY53b9R82742Zxb8PES69QqIeas2gLrRgk7HW4UbXkKKsVJK+Sxikw7OgDOAwKzvBe5ElfuNkPYtQnBk8NbI6CFrNiR9Si8tWph9X6+AP8ee3V8ksVtMLG8PB3xZWhOijUajobmvSBJeJ68abDfzp/+FKuEA+epLlKElJOUT78pXJy93LTbhiiFw4ffvMJnLWwXO3bXl/Zpnp6W6cL14INVCt4M7gt3nnmC3sH3RXB6LK6XSvIRX5MmICNBlzG7O6cd2zw7oIU8hNjRpYQ4EeiE8mEQI2mbfTymaZlp2Ppa5xfQZJKuOgsGV98VNDVj5rSKTPCgIYvvNSreHKeAP+gMXB0A0nmcoI35/xkJd5+CcmeKWNwYHaRm3UpnEgRtuE7J/ix6TKQQEXw6vunGWNYImcGMPrtuzFpbb4HP/hCszY1OM6yv+ezYlJiz7S8cQFItOzRRSeR6jUCK6VEivELIvlfHF7ewLNNcaLp4eTUFDCuL6bjukzld/uwBXjz6rsvXhkvXczDvv4PgbNvLoBonDp4n7/2uFjsVMVeJTTMBC8u/RQlvZF7taCPffj7AWjaCxIlpPiSpyQRBV+qrJG4lXXSyvNLHPsfg=

%URL%
https://github.com/totbwf/refinery#readme

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1781843067

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

%DEPENDS%
ghc-libs
haskell-mmorph

%MAKEDEPENDS%
ghc
haskell-quickcheck
haskell-checkers
haskell-hspec

