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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-372

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94816

%ISIZE%
630324

%SHA256SUM%
f33fa839c071cc8e4ba4ea37fcecbbf39691100ec89a3bf6f1f5e69adbc20846

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmq+IhEACgkQeGxj8zDXy5J3zBAAlelgY7cMAx5dbGeI23VQCQJhflu3h6kpdGHxvjSPGStPdYwxt+vsqdC++rD9ZsLqQU5JZymNMmkc3SibSgvQ5Jac4n6UN4oZfR7R3T13hL6jy+e7NmFy5JiCW7Ay3OR7xOnU19Sxe6YyGbOeL/Vh+mkfAbIc4GmHaFwnQDSBdBDzTFU+XchUI+CKDNQu/f7c9xwSevopo2+JGWHvP0fioJSQ+297eIrBTd+IjegTT4Sdr5jHB3lGQ+BlrjTZxbt/PNKGPSOLu56FZKL2zQBVrQLNKtrknIWkd/G5KqHwaKx2bkYRgZ8EY5BsLTh4eeZdT7yM/ROR90kzrhXkL43XyOte4VhmqaWXnN6HhzhhNJX756IRLHY1wRZExWig9JR5DmUOK7/qHfuRcupKAenmaZ5cRHgxMvNGe+y2Oy94J+jrhaTUKusNodWXlFcE75Gsew5YibkP3mgjaJmWVn5MSE836s/VWWW5+oEIgnUdjzGrnOoMxAUFQjrlML8tA3OgRUK4v91uAFNx/tRHoN5mwjPBAVcFlR0xyhQWgF8d/uUkGBdc9eZ1wVaTUiixev0etBYhuUbWBUVqNFdAJzRasddXGLRZlvVL3zCd358+sj4XUfqG0S01Y5JUKu0yUdLo2pbyKhrPUKTRKK5RCoc5r1n5D8Wh7IOOwRt2iOczP7g=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1790845438

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

