%FILENAME%
haskell-refinery-0.3.0.0-58-x86_64.pkg.tar.zst

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.3.0.0-58

%DESC%
Toolkit for building proof automation systems

%CSIZE%
73808

%ISIZE%
504211

%MD5SUM%
d17d5ff0e4fa5bd97c9da12be74c6558

%SHA256SUM%
25f095530e3fc00a7a160f1246a013d5224dc36d9b369857c4ecc317e94e44a2

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmBb9p4ACgkQeGxj8zDXy5IJFA//TEbq0knZwiANVVZpUSnpQ6t9Xek1P+g8L7ENdKugcabCY0IFxGhjRDPtey9IaIFw4Jn6YVpT8bnKWzcETfSeBbnbfkqLewGzZ03rmPkmt9AP6jtXuHr8884yVYGoZryLF2/sCbRX9faJl/NrHZUGpRTEMUlDAmxYbBQgblyyCKncUIti7r/qyeOmDeFEKHxvDgTKBjLTPD8Q3pOYNHuy/oYI8HNgrGv2/m5y85bRNkDQYoymnnD63+Ko3R5hAcgkMR1CuhBl4T27zX8PDcHM4Gwx9/7cvwlOhUGKXM0N9vfP38P6QqpBTPJsphbLJUb7viEiWUreHC/Unsp9InG6Ry+WSYpVjLSiWdulQUzSFJGBw6y3gdjF3z22ptHz+4/5FVqI0En+ytNf6+FEhx2si8GKXlQgwdFe/YmYKuTAxBWIGBy5Y5JDhBzc3vZ3ocnHU8WP6hD/ZLVcA7swXpVUSqzZ2F0nSkbW7s0nczol/WCRjjiY8kNFQwFji/vD4bBy0rcGenWrZiv8gr56/GlUQcrD5s39t0435Rw75reztzTM2KNVxGLhoMY03ti3Y1sctTmzI9eNEpLdYgg+y42uIWWYrp6Ld0Q6YXuOYNeSEmlG6nBpW5kS5NRuRTulPWigLA9ebPxE6gPpPvryRcFERZgtKY7I00lPhXxWdprepAA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1616639600

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

%DEPENDS%
ghc-libs
haskell-logict
haskell-mmorph

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

