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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-367

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94735

%ISIZE%
630340

%SHA256SUM%
9abb0897232a3790ef389f7db8968751792058038d708d6a946de87ce030f382

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqp7eUACgkQeGxj8zDXy5IcZQ/+I46GMgoX7cojjJbFH71MGtTCU/gLzNhJRtAWEn2uPfypadFKflukWAf1K0R0GzSvSrszZZW9J8hNlPCMgOngiAVliKayfopZE/ziC1P94AIR59tr5s0iWAdVXq6BmC131uTKdwnHgTHrVQUP31sMQDq9xp/AuJafnIj6irqaBxX8xvnyCCto2qZXGxlq8e6RSDIdH1kkpDHWwejSmC8qyBHyp0b3+ROFQ/BIS1IexZ3vyFIJEQVMD5O9lzFB6RpFVLGW1/AY566IrYErVPjZtWB9xy6UZh0NtOCafbltrzE1WyN2+bz7xvGUQx9Jn8g76HcEAmZkEzB70IuqF6eJKioAAncr6RVNy6+M1lQAYm+aXVySKWSciXmnksS3zQ5LOoWiRg0f43B2vg57LfJpsxqckDukOxINdyghLQMfUqACjqwHCbo9M6ChCfjGgXfbWqWGzZqqDy2cbjoUxdrJFNRN+dUbPQH6hcyR9+28TkrMxuAW+rJSsZFkJzN/DhZLmHsBZjapcAAYL4YBmoeAqreBcaLaBl4zoQRjlujS2JZfJBDaJVb30q28a1BExmjCMUVrLq1jvDIzN+zEANE/SNS64jpg0KZulkQY5oiGwdR/WLpN3dneBZBmwrs1xRRzW2IRWwaOdG1qxuB2M3FMI8nzdysHJZVPTGWV1tVZcI4=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1789521363

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

