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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-390

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94640

%ISIZE%
634438

%SHA256SUM%
d9b3918c14f3d8377ed9c6fc9daeea0ca0b43c608a0791b6cf7870cac23a9d83

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr2ctQACgkQeGxj8zDXy5Jzfw/+McFLC4r+FJtskUEGk5oLBzbNyyCBA2fFjD4B4IOeZ9z5rEJVjfF37mTlLrxNreABzEYhMk8+wWVIxoN+B6LvVE2/gmyrcKpzFG+9lO+QTrxYnoQKvyXBflXsbSaT0IaSP0iDdwvqAW5MpCZ7dbVFOQLKH1eV9hFjggh2b2azj8fGcwbOW4p39I/ncrDWlBuSsTFxNGFjqx10Dqgrl9gIDDJ47IXQdY3lGtNvmesyrd+ZQUDH5AoIM+IMeCIGi9PCmHl1AN+s4PZ5hOv/Oc2rAM19JqWoTen+XkAwRsl7UqggHlZapFNx+BaTzFBu+uOf1nWLkKHxmTGylnqjF6S8epc1oYpMNd0cqjTnfVJSoKD8V0GDtq3Z7adE5jn0uh8auVqQ9GEF3zz6vebudsq03H1II+qVEpcuB/MJGhvIazloRNyQkYIRJHcWmtPR3IS45si2biAl+nwweDrHgYYLFeWXGTyDurM9dY705NYyscE1PMpZQqI0JrkeNRCG/wxyjP+G2JqNf+uVMi81wsmI5sdl2/MVq3KNmDdtc7SrEM44/tjIpaFbLd2ci40HhO/Xm3ttzLMoJC8wfXhsOzOJlatnJZ9cdk0NrkcSyBiCL261C0UgosUOe7agFJcMqake7TkWvF8vIKLv8/0WHUmVHD2pL3ivIrkyGllzrKNVqIo=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1794536123

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

