%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%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXCymEACgkQeGxj8zDXy5Ii/BAAlgUJOR+vh3AL1U2kJ5egn1AMDhPHe1iDMsnjhZqQOHU+scGfxapzftU8wxoFjL4tA6GHx1zvSg5LIgD6qROHnnU0YYp/qejb/44z8x9bvOuEwlXAbT6wCCz7wpk2sR0/GkPYekkqIsaI5+zHb2qX4r3iczV6WKgS+97epr2LezR3ybtRWm2+SbQN897blew3dYjgCLWaTWPFo5YnMr2/DsKCNoCmXcEnWUz7mDX+Z5TKjaiIQO96aJzkFkN25wi17xiz09md1mpx6JXy1kHDaJ+u/4jTKY2s9/AESwULGZZkzpKWY8aJOtWa+RfXyowZLcO3xnQ4+BfFn8vDwrVSJx5ftk4CcrZkdLj90BDZ90Yy4aL8FE5s2nY+ykffSZItAPpGnp44GK2Ry2C8UtdC4PXMZKVlAPxxjK1/K+wtKZFESWTmYAy4T+xha6lG8EFkY+5ttEcs1rw7+0AXxErKtl2TUiMDo+CEekkXjgzu8kMkGeS/Ji+Uu9lfNqy156IME7a8brkow9Xs7hM9L3g7mnCMwubB8HLyjBQZxk+8F6HsUcV4C2CnvWkdfAnwZlneBCamxMMtrk2uCfzDkhCcaDb/ylyZDyQ6AHbcJA4dSrjmoO7kG02jcbC5DiaCFAT1F7gZwcdak8Sg8CTHp7wTH0FZI7Hu70mrDkRK3IKeEuU=

%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

