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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-298

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93849

%ISIZE%
621492

%MD5SUM%
35949f94c2dd7c7ad22576b9477b5121

%SHA256SUM%
e3a1fa523ac310dfe0c898007264497a2b046f8cbbe30805ac8cac0ce529cae0

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjYMFkACgkQeGxj8zDXy5IJdA/+LMWIsd5xOOXMkYY/mVwvvm5S6A7lCd3yiMu5tIk45ke2LqhNn+T0gQQQ6OCmidwqBdR8T/IyBvxaTfiiRo/Dkn5/x5pAy1y6cNM1owFuk5lKiyzqaizC4xAFK7mO8aYr7n3Tw16o95RJoiDnmLLGzX5rKmOjgEmq2G9rFEzmt9RcM2IOj58ZXVlJjOiozNOwki8EaLFQFzPCQn/c7znptpBiI1MsBx0G18QDo3iWbKcsxuaImMWsBKespNID7jRZjW8lbHIaWNKB8SA15oolvV4owJN7Nt0HvYfA/rshQ0yauDPvlNrOxVMawkAaIn9HVjANiwF2HLaGQ+KT1D6b5G0jGv3ogYlvFQArXljhuL1RX0ZN2ptNxHXxas98ILXLBI9wRSDUh9Tb39J9mKOxwFeXjt2P3PC/QLc8Z+iHTvu+T783Q2SqQto2MVnbPR7ppdKKwZn6lkWnyguYCWR5sVaBJ22lbi72AvCgLqYBT2ncAVMNHfuXM5PyiHHDoCzsdmVWrJxlWzJjOMXTx2viAx9vMgqzj00TfU0sna01nkH7UD4k9098t4+3PMKU6ttwxxdYrchv6+8qz30JYvrAW/9GiDBi4U5vlD9j5jr7jbtCsH18vbVkK6K51VrrLVHUvZBA6qc2+r0Ab0oOTRU84o9wFgJqB1u0Qtg+esfI4bk=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1758998588

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

