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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-136

%DESC%
Toolkit for building proof automation systems

%CSIZE%
110140

%ISIZE%
761115

%MD5SUM%
f27765eabb82c3e6a4443c224f8b03c4

%SHA256SUM%
768f0f47112b62a88357b16fd0b5363ada7e5fa92e99c678fc6fc3ffb91654e2

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CokACgkQrx0hme8KPM8mexAAqFkY8vktLLVCK8KPZr6LLj6e8MWH/ZRm++XpbuiJ/4t/Q23IhixOVnK7GfyJ6ZiGv6RfWffdvq8hqt/D89CZQcs4Kl6APT9GbfKaZ/OVPd5W3vORpbDqqyhpka5lLeXfDnS1yvN7s8pcddieJmSpJBIrIIFko7NCXhs4WnHd0+x/fTim8f7TlPouhknjakptVqJAbJ8TxdiDDsgpN60u9zy1qWbD806gpXcLNMUN9Y3WTB1MZk6/x+F1gEqYcxG7juoc5Vmo1zGHA76OzMVzkIRofZTguhTHSK5hKv05KzaKN8JWMU6+hrUgmgtsb+d5eg/+LM5qFOWLPMfsl2UmTlKDsImyh6cKnc/EZE7jJZj0KxdMS8qGOQgpnwlsQNnYPzW3h6w0sOJZXsPTiKR8rQFslhzqs5YYTGF2FT2i0RqCpNEF0korSyzZwfb3MdvTBFCLTQJ0K4maVN1AhHrR8ZDXqGhvbOhO1NDz6mir4p2Qg9jwymQNXvz1/bPeatKbDew2BQgv1kRJRpVU0IcLW8SWe/Mque8Qtb/OTlDXZIMIicI5ExXuzC+W1z77fzl0Z1kYLhc6N7tWG0p15N/c8SuZk89g7WFXe9y3gKLURsWEA/2Y+2k0nB6aGr2Ytz3kgftB1UpfvVQGyej5sobk+Ya9hNRfFKjxNmi4o6ia9cc=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1685900962

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

