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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-382

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94578

%ISIZE%
634416

%SHA256SUM%
7e70061d65d13c43185743ccfd99c2b731acd2b036a3de80a23f33fbc0b207f8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrSpdwACgkQeGxj8zDXy5JZlhAAuibyqqOcNOP2PgYV3NmQsTGDlPiL1LAcCAkFk/BNGvFfWjVTuGLaUUqIrNzQf9gdunAnWvY8/MC0hwvESeCa+aZ6vHO+CRdKfoWupunup3SEIGYtzSXmztAWorwgqJ7LXZZ3bcXFoFzCYpnT6+ZIF+Tyy/oMaoPChc8gGLcNQp2ephay9EIzhIwbV/+qlBq8KlPFAtDuzRIcmWN4ON+9GbCf6dcIij5N0NABQuenaw3+5dXsSguAiJFAjdl2SpbWv11ng2FIu16Ul1GEsUijV89nqmWNNBXcIZDZM4OGx6khQKEWJtRN4cwDgg79oJsFNoByQgOYtkTNEbsxYUkpMBnp4/PWdQbS7qWg06gFX5BOSRv8ZecTJAt9jaA61xO5zh+ccRQUJR8jGYl5ANtGHJv2ctJHqluInP14jMxtJTIXPLM+wOfLCcqBk5zLU7pJrO8nuVHuwnj6r7Gb4s5eIv2F7YrkcVMIsbMpf/TOJO5XOxyxxfbmTKYUzhWVQ/H2cV9XsGvdVbBLtHbwCVjk5rxV+rMgKtoNiLE7wFzMs37wX9ulM2zxxKpYB9miw8yo8HK450mXOk3XOVtiyWbi8/UngJ5gtZzq09S0NcrUpIMhPcAk7fCEJbIG2CKPhztFkSm7orCitxI9OmTQJyH0GThEWJbBZtm+7L/1EPRBtZ0=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1792189895

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

