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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-339

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94586

%ISIZE%
630296

%SHA256SUM%
4128febb80c9d6f45579e68524953337b32c11ac30cf63988ee9ab39fb84007b

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmoEga0ACgkQeGxj8zDXy5Imlw//b09ABp95DbWObE0xLYpjgakh/j0GMC5lHKwYeYNBlSVTbL1Cx8lfA8ARpQMLt04YUtMRY822vViIGK8/TeniiwIXB033pyNPLnB/aXKNnVI0pcK0VUH4GhukxKBjYpI+GVHHMZ/EmGnwtnw5R50ui9cLZtPflyOwGWD1IF+5NXmiIN6d3hecSE/apvh+MF20Z6LAw1As3IjGtOP3w7+QH7iWTbn9EYRv1g/m+sDTJNCSz8DM3WoN7ogi2ykvo5R5uNa5/MoE9vmGWe2d1r3Qjdc6wAhi75I8bvnYQHUGyhUfzToeSQhYz0rm9JaPkGRgvMobpEeWd9zNGl3bjaR44SRptsVWcuMVGI0AzXNgyLU2eystJi7YykFX14UsyEUfniFFNiDXeQbSd+7BZBBsdEtbDZEj7YwMquVcZphcIAMuwmg1xEkH2H6xVZfB8Hx3khuHptukLay1c5MtagtR2q1dC0jxHm2HTHa99wo/rmJ5He8Uf3oopYUpZLC4wsmFPI8VNok2EC28bbJbz8pB1B9eGec99RLQr67EIXNGc7DK1lJhT9SA3db7os4KDcTeCFcJqOHYJzQ754+Si4cGQhkThAs8NtNbLoYe2zjG49xJZwOQPb8SLxq3t3kDXriu6uUDkJt/RDGUdVD7CtbbPW8zC4NNCkEq3y58b1GTKyQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1778680214

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

