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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-375

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94822

%ISIZE%
630316

%SHA256SUM%
8bb424ad435afb6d72524e5d980e932c16dd6fa726ede5624f5b37823958428e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrBjaUACgkQeGxj8zDXy5J6aBAAiroQxQOSclIR7ZYqS7VNb0vnXdACnh+UOm/8YtC8lB1hDu/ctaX4QLc7YaZUHz2iDPGjLtSVkLkxC0jaVeqHM3MGjtLmdiRAfXzD4kN75AI5gNkkZyV3Y7WsC6ApNMhLk2dYXbsAh4n2RoOUEl+3QWiWvpYt09RfQuPLkxlKqKzEbNl9AsC3whQcM98mqMSyk6LuEZHU3dc2B42Yjfj+KDq5pQwIr6rXcC7OXeSn3D86cwQGpx/wAh+hzGG6VKqmpdo61yXSyFMIEmGGSm/cJ8kFD8XTLTdJSIRGjZwoxlVqJFvzP3P6hCr6KuMYsK6IaKqq4BxhUioOiKVLWYBLCe4G/zZe4/H5yKopQKCHxhDNz6iaqtoKx0nkO1/ThGVOspElK/+LgIkgskSdfnn6xY0ryAc744HgYNWXaGz3Z3HSZuOcVuhrRwx52rgE9n4aizrI7EfUNzj1nWau2QTF/9rhxFFXmt6Kv53Y9H/A8fFlYUcIMmJNgN5sAx3vSJb5zx5Kz9PHI5h3eZhoAxdRdRe/jiRfVCHhzHoeeJVD5umdUhZRauGYFwGpDX7UApJQNXNl5oVzpaPX2+Nf7JbGW+KXM/zAHOez0qAiAsbT3eT461VINXgCz4OXJt6GQJl7iVQvklh75Gx1E25ro0sOb9pR35hNgV42uEIsfIhiIDQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791069585

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

