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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-107

%DESC%
Toolkit for building proof automation systems

%CSIZE%
110192

%ISIZE%
760953

%MD5SUM%
6285049ecdd035049c18cf307028e0b6

%SHA256SUM%
6474ff79a6002bdf8d2d582b1879fbd9d75ed84b7e60f7ca8c12b9f5944a9bd0

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNN8sQACgkQeGxj8zDXy5KvgQ/8CDt7I5mfBO/uJajbnZWJVjaSksvyRi8DJhC0sfM1Ye0aFEV3SPnPitf0JiTtcDpIKdCYCbxPmGaSO3BkL8q7OAa3IOlQE6jxBBTAbBb+oh1lUFiSF/2ed5lA+T/nr6FCkKEUH0UQUFZCPswJcUW7yo6wSyzLjEgGQDWcuOORWCCpCxtxFPJdeEjjkrX+rnnUYzo9RsZ7bOHSPoYv4ntKESfd+QBnKHeUXaPJszkQm6UiBFyeLjpp/UZ8lb7EG+9gHWcT1BpAEI+50smtbANccF1YU6QsWW0RpOFocxEYqnwN56lx4E80NOsgRb1KQXuxWa6wc08w4LKhTpoUH6EbLPlwX+Ivyv+F9/wG+t8be2znIrPcbe1oHmmYFaOGKe7U9ISDbIf6PHSou/1gYYeB32TM7UP80scNdbTdaNO2xpROo9IwsNu2nfZP/Vvqn7iNIuTT2SO3+2TOX3za3JaoPHfu4OlbclGXEhPcd5ysZpAsOUJn1+W5Rrs6dpRCnRa4O3gZbQEWvNHGyt10EFQncS4UlUmC4xjP4pLlf8pN0DtjuekgVwQ18uuNHyaa3BlHDBxA8PAzeMzegdVfrGe2xx973yKml7V2eA8DMXa6vJ5hU/J1nUTwwSgBExR9SYENoaJ2cnvh/jf0qKqjzKiL4JqY1lIFLOqG6wDSTE5AuT4=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1666052766

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

