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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-169

%DESC%
Toolkit for building proof automation systems

%CSIZE%
110180

%ISIZE%
761079

%MD5SUM%
b0b214ae1d03a1b14ca74929841793c8

%SHA256SUM%
58087b8075e4562753be14d9296fdace2a461ba8ad7ca8c6047b878b2c1bf71c

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEJ8ACgkQrx0hme8KPM+0JQ/+PVeyF5IjvlKut8UU7C2DLnXIp4oAUmFOV+EwGeCKVQ838z5A3+XhrIIINxDGAt0RKuVsdUDEhwm0FH+r5poVuyrfL99B05f3MP/iGTkGhL1z4GrpyOwI0SupEFWkaAaq0rcaO1sz8HKBTjvadmgtzeltGb0DlwF5o/wBuZMqP9XxhTV3jisNvvp1kHF7b6NYepefXz34hMBK6KLy7HYdtki0LjzzHuKx+Dixoey6X+AzJTO8uTXdVwaQNPKocGOvML4IfnN68QFIH3tkqX6OlMPXWUv7cDNx6x9ejx9EizpaL1iPQD7f7DaqtOn0rfnMooJ8Zz0ZVukT/iQ986EN9qyznQUFR/V0BmtwrZeurpBkc4e+EJESvUlMYWwxb/Kd62p5h1r9UqjDkYPKeTMxyU/dBDfDvCPAflzz1huUx2kfqSfQ3Uv509qsZHTblFf7zxLClC27BvYidZKhPF1Dg1lSfwGihTYWr6kVrpyfZCdarJaN1htIEiq7D0Z0vdlm6bCVLqlETq6+e1l5z+0eHqhKewe96vRiXx+SPijrV6/Kfou0TzNVHT+Y3xZdi5zkFJKgCjE+DKaqV2bHtCwaGOcXm3lOgV3zJ6Dpsgi3mKbiDzozyV9z2Q0gArNLvTr48KFugBVqgdzDaROF4p0qvd1vHzAqy9q1fh60YQRbcPM=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1707264577

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

