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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-308

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93859

%ISIZE%
621511

%SHA256SUM%
4c91cd0f0e97b047de18c0e80ede63731d2a79ccd6e8493903a3964b9617e0ae

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjoTpQACgkQeGxj8zDXy5JSOQ//dmjb2E5CesXeXn7FswRVbf6oGku0HOn+Smu152ZayBMP8IBXnRxQILHh7Jw8mDlX23hpozvN3AGabJd/bPkPwEzHhdP6vJG3OW/LQmBrliSFdqkM2C4LEvfqpM8yqbfFvRFKkaLTIXLO/O0/stezCJkacJobfUxBjQizvETt9UWVnqZb5FxEYdBCtcAGfuWIphqg/568TTa74Yoh31Bnruvzz6DLa/n9leqRzA/JaFfXElrUffoS+W6NPqlhGUElZbzC17OUr7d+U57QnDY2rCChm2GVMULnF/Y63vTZfiGqvvgQ6799gpwfYuiXucpk6wIKGMmSQGtmitLEym1SQbWzYUOKikW9WsRXHMQGP954TbKvtLoQs7LqYEo2cW+PUCvjSGl2Pe8ZAO6hLd20MP519TFfCL5yLNlaWd0c4HZN0eFIDqLpLRebVXS8vgjx/IpjdJLJsNgUy0ghsOgHtYu5vuwLerzBHXz/kaIYyUqC/k+vE4AJDNsgsiRMmfbV9aAwfEp8VmankwfAZMxeMjZs6NZiLW54IhpJYDfnl6hyEBUvOiSZDfNqJKeTlFvtJMh968gHP17hVN18OoeE/PFgsc+cgCMFsrUW+FuUTeW4889R7n88f0D1AQrUGyNMDs7/Yx7KgBE6waobRgICtdw6gSn9WnZTkwyIFycm2zA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760054902

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

