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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-37

%DESC%
Toolkit for building proof automation systems

%CSIZE%
110388

%ISIZE%
765089

%MD5SUM%
92e2bbdb79c1060e8fc9f080f2d1200a

%SHA256SUM%
6156652a8b1ad0b75fd458c6c4fd509a1a93a8512fdce972311a599ce1f0e603

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmHjgYsACgkQeGxj8zDXy5Idlw//R7EzXnwbixzNfjN9H17bn5cqeJg6W0vasKRA06WO3PzoW9QnDwfR8rTKYl+anRyj2zGuM3vdQW0Umd2NOLpBv2wm4h/V4xSgsqDkAsgpbilaX/UIn86lbqLyWRZ3dSwZe6aSAmSFrGK1sAj5BNMSDIzYZbrGJ3NU3JJ1PPLK4j7bk0BgAiKtm8GGu4ZpKNOk4pdP0/Va2yNO1/ZMZhPtyRVeKlnlWr0aTA2ZEKTRUpFTJI6S/aW+P40UPXwP9p2ikC+Z8lYhN/0yVx4S1zLuIVA0CW1SRcqjBWjaUEgprbIydnLBhQ+TV+KcwXoDpZbR1JIoR+Fn/+NaBMsQOoc5pXOhyiyzH+aXllyxtYZbMcZUz0maoyAlgWcUEJ1AyGSG6H2EYrkxNjn2IpBDbunj4928jTTI1EIFgVmOEbCBAaw2uNupY8+UGrpIU7XdAqdWDf5jKZw7TPKj92WTBTdc9lsJlwhhszSBHdX4KYwZIXA7vSxyy7hPShwlH+uFNqkeOgLv5tHOAaLHyO5z33TNiJWTHjNLHS+AmmLSJrIYFekwmC01jKXhTWOQYxdsbSffDNKHvjZ/qlljwZ/e/GJceSVQxDU9cZ9ZW+NkK/QelELGQJiho5mKp5vVUZXN++D6eENqJZ+Sg5+J02ryIy7ECBLUljTNkcZNjVz5EbzIjD0=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1642299764

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

