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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-388

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94576

%ISIZE%
630310

%SHA256SUM%
ff630e1baa1df0fae087e8bf6646b98b545d630b0c1e54273c3af56c14d1d28f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrbPYEACgkQeGxj8zDXy5KU3A//V7Q5ZpwxaYAh6hvU00qzmA8qS0Ys5aEphIJh3f47/cXww/wHSc7ipNSO9/Zgz4U7hg+mR+2WtnKCwW/AfOjUJazVtCZiIWlVV6AzL1fVnFNVnyp2PU3mruboAuylSWSQh5eUl8fZptro5OyIWNj3Ve2imGI5MSyFl4rSZJutj/ZNVsQY3Gw5ax9sgNJ9KiMoCBIi6cCsPAwybVkyR/QMqW/gqgJalGW0m+bZXfVZanebmF2HMoaGrpk5sYNpn0I9kWJ6QKqfCrBF8JTY7f6E/WZy1AkLo7revqkWGVHrzLIpXGYTfozvfOHpO77xv+KZk37Xcu3KdQMWvQOfEitw+bH7S7Yt96m5F4JQ8AI/4A2aaJ2K2KOA/SflOKwD52SnduJwKUGWOPjoJlOAP6HtUErtx17aJTSRyW5wIpL78j2nFtEQJD0iGP7vncTkzRxLq0nLY/GU+nYvA9646qwzDygurBbvii1xnJKMcC6iyyiK8u1AO6jo21JvTy0gajqhqySRxvTkWWHGV0l3N7NyiygfIzxdgUGU1MXcK4IWWGfcEJhOWNhLp7bJgQbJZ1k+LGOqsd9JU+Z7UlkC2GoDIbQRL9xY14Gr7Rj+/rsiWq88W5+zELJo8sphmmmDKUtI0udGWGUNbl5qwsu6RHIluuarque2HIudpu61HByQWFE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792753001

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

