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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-177

%DESC%
Toolkit for building proof automation systems

%CSIZE%
90090

%ISIZE%
615122

%MD5SUM%
5149fe5165efc25cbd4c83f9b76fea3a

%SHA256SUM%
29e63ff9cd166065a3d131f52e0bd26f44614c27524d2a8d6841f64b36a97795

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcxEUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwblqQ/+ISYrIaVc6j1ZVLdKUMzlplENkocUsKr1hSOJ5liIbp7ynhFl0i3ouHaUf0Ivqcq3Hgly0toNGPtEhahoGjg6NlerhyHd0AP1cv4HPE4Eb8AEih0caLAPBuYo6F6Bgme4c2iBBDetWuhlSv70h6RgasMWO/lGmLvsbB4l3OooOCWMFLcCzgIEJTTYcbr4TXx9AFgWkvWltbrBwZ8cjeBVFP/UTB6aiVDUe0yC6ws7ZeR3RjnNP8TW3hcwqSskOVnLPc/c0+fZXftKaGehVVIzwU8rpuWrgZoYaGXxgdCbv2U7D9RcqxmbMighH9XnxniP+J4aqbgd9DQkvqLrqXZl4oeJyftbUGdHJoATMgsI4GjVK1CAkUEn7ZiEkpmP0JN5s0UBzmmsch6zXRw24POGFZGnJ5pdLgMkEzdmP+t2uqGqtxOHS2Op1sfYqeOsEf3/ZxWMWsLId1ojgfvowaS1ONXeDBkYpOmiiidElGXMXTqGvISQcjjxHR3JdCm1y5BqzJ2AukoNZnYumoALwE/HVfDnOv9ykUa6AVlJaT/7uLpttSjx/+c+MiXQ9Sh/W0WvgtUeNBMySMEd5kPEzP1q8bGAXP3zicyrRzM1r+/TXz6VGzot2hfmoJoF7EDRUuDjSj1O2/PmjUbKfDcUjZGOlOyKEk0qrJPs9hDr9rrBeJg=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1715405628

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

