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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-366

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94693

%ISIZE%
630330

%SHA256SUM%
e30a94369b09a2bf995f62afe3eda069c6889154ba8354d0aa052cd188257758

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmqdbaEACgkQeGxj8zDXy5IZ5BAAjRUUU0xrJNgkahk3JJhb4/4T7UXYk/nDogQg7xkkA2taIWTPJwfdvJOEqZHQB11vopP8g3B1GTNAb+yEZ0zMbtxaq/IHVobdj85ShRBAI28i1gicjetJmaed7Z8xG/aKarz6ayhqTQR1o2LlikpMjrYoob88WxgomMIo2w1DMxdSFfNl8AKA+54KXijYIgf7uROuJlm++Nx0Aye2nD2xCPNHIJd0UpmwWpynQpISYNaf3Cl2ghANIm4P7TkbZSFyOM3ZyL7SQj4k7eCbrKzLdazuWpHVp9PYuj6b2X40OnrzgyeoaXt7HOSPvbDLWdbLqV+qF6iYASsRAsJghv3dI9YzNlP4ym6NUB7LGPOs4Llz92HYCCPV8da4uxgdkCrmzuMOu2KYbGkaOuMe9nwutdxxUYOmZNY8Ae64DNECs7kdEKWwsirsq9MByeUmhrTRR6ghBadjxfuhVRqoJxeFeyg6VAlgTmw3kkc1BDdT/FT2LMb59KmYcUKa35rnhGfoAkRAv4UnM2e2O/3euybLy2KxhuJr563gk9jVcsGmB9wl8rGqlS9+JPSemKRFJRz7w9N4+/AI3n7375sTkbfiLIcEGGoCDpABT/OnSXd+gS7gQVbKboCpUSceYQMHeUAZDS5BFguhn3vYC52zg6n4NkpxeUfL0tcX/jaCBr6tEHQ=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1788702085

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

