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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-246

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93937

%ISIZE%
621511

%MD5SUM%
452140199a1704c2b4f566c33f28277b

%SHA256SUM%
6bebd068119c1e1426a04f195be7d70528bc91a5235099be8b52c73f2c6eaf1d

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmiSOJYACgkQeGxj8zDXy5Kf0Q//ehoKhU0CS6Mi3DIRB/rAt81Lbnk/Ma+bg9RgygIsWYV6/mDF8IvvgbJDFO4qzuyBByhTyFpujiMB/+KnrysfG9dc8CReh3gZ63xH9T396G9gxso3w5GbkMg3gsx5qgN4Zj/bJn9tNqrq00+9cpYTagcUK0fgbzGxd6Ah57f/DiyFTZWSdwnqf7kttYTwQOctrpRo47wblR2N7iW6SxoojbpnONXTH5jJOygj6RR/IQqzXN3uZbAWw/Kym0dnpHcTQuMurd3Z39zkSHEa1iMhqoI4peu7afJ+frHKTkaKypR2c8Re9pelgmO9yMmOHE1ivKFB5tt8gnWNPyFuJH+kp1bMNfj+0n9cnKxMMKneDYABAXiHgcF2VRJ8F+p2W4XgVm2rL7GtZ6sxzKC/KVlugJnmba1cHqJGOyUOuhh3kMtR5E3utSebTGsf8nOzGdfIuIZSRmvxboq2X1J1P7iMr6k8GxNzX3VaBpyLLcz58Z4i9UxLvodmEzBbAv4l/U7c9jdAyseTkt8c1NDWtKqUmrbeDwpuQHb1V4o8V7lUSLnEEE5HZlJ+U52jIbvQ5saDpV6JJerzqhwgq9CkrdG6VfUtvLNqTSXIj/UnOtTPeqV6vzQ70Ywtj9Xf6U27rNgsl2l4LMZLvSA/0Bj4YT1S6gNX+e4hyA0AeRBdlgtvzzA=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1754413178

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

