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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-282

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93773

%ISIZE%
621513

%MD5SUM%
89181ad42b2f71e63c748efdcf02481b

%SHA256SUM%
4738726f912ad67d5b79b1a5be383452af6897ebcbd1ca396aa2f1e803df443b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjBxVwACgkQeGxj8zDXy5InwxAAjVGc8aDP7R0UeidWrlQSzqjX8SKZW8ESXyyR048Wzg1q7s/RkORBDusfUhOz5EgSs4BNeKs3b2ldygUAK+tULQPfzUsSUQ/5CV9qR95cdD+0BBXwuhSVJsTYORFRS2q6DZGUeL/y3uR+EN5/YhxwuGP83SuNrfTiSqJEwRpz9rayfoGEvdzLLpKIRs5yPz9qWAdhHIjQLpIy04LIJ5essHtKVTY3BD17FL+CdeQc6XLeuiQBmTFn5m/KmSRK3yHUXv4Ytt86jVFRMZEEMFEre0D/ESQyqQtPjLfBqEOD5qneoWWkP883nfa5qYEceYjO7r6zGIdCyHzZH8dfIYEMQj4fSEebU8bJHXwHiYRyB7S1LoeNc8/Og8mfKoap8BrBdOUHCDC+/XioIKPGC2l6ufj6IwDr6ji+OYJ0SoML6lbh7STPeTvBQEvDfHkK5qYGRcPPQ0pvOZvYvqU/JgLFs7+LcrSG0+JPH2E3FtC+oFsZup4jgAOkS2cVMC1kdnc3fEsL1IgLLptZ9U1+TX6L31NU+poHvYKNlzO4wHHkuLmL6SM3U7evDLrxHeIq+QHEdIJoL20gv3kiq/poEzyFV3xf4zaO0aTsEZQb7jta+wRmYCe96arjsukFUpC4IRUNtEXGrlJOPqPSY/uZ1WQkDPa2jcpjnmcVsxXP0v1xm5w=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1757529408

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

