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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-312

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94674

%ISIZE%
630328

%MD5SUM%
76479cd4e7e1c8b738bc6f1669409333

%SHA256SUM%
bc6f9e29bd34af965c45e4e3b0b4561af7feb0cf59c2fea7ffecd04e63a7e227

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmksr2oACgkQeGxj8zDXy5KiKw//a67mvvi0+o+57uQTr/7eEAKtOAHFxmqYA+EGN0GC7P59TwbN0kbWFsTzJ2KP7QyG/WvZzUj1u7w0xJw2B+nPWxtuknxoapCI9YvvOLMHGKSQnugALo9Qsjtpmu4AjnwLg6ZbQtxpN0G8DjfaYZ8xP6R3mIMnttIxLjCgov+H/DC9kZI+RoPAcIVt9YA3fk6mmjnruyLxVB4Rw0d8Car5/MrvFvgjqa7eK/LLL0H1xz+8mZzuXz6SslLL3i7LrV/Le5j91+kmiZYfXP/buvbn7FvWkZU2FrOg6UKC6hUsLJ3dFERn4y5ptE1bKLugMowMjrwu6cszlrtZnHQY5nFnL5QCLD/eR+zVmGhxNFlCjKYNbMsUXV028QBCbWuQllb5sBVr2vMok0wTDOU9NNLxm0/W7Gm83mo2kEfWLYub7Loc6ZXko9+idzyr0QiJzqQeDwh9bDsOgmQm+5eo8HyLCRiVtCRiDFB4CJxdpUbZTCPn2Maj6PSj6Ssh5R/qogyM6TQenKvzmA/lT2P5lgepN3c+8xf/0btpaIv8X2TC3IZi+sfrno0w4/zzbQdkdLRmB+n7D+vcLl7ba9ASUCiE2Fmlgg7KA2B0BcQsPs5V6LRfY+4aOLgYh9FhlkL21wqQ2UEr4IA6QaIk/T8Y57Wt7bx4r82RqRLRbNcwSor5UIs=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1764536137

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

