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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-351

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94643

%ISIZE%
630280

%SHA256SUM%
704a6523021f4fde78ff639b8846f5f4d4c84cb005f9c8569a20f05893f9bea6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo33E0ACgkQeGxj8zDXy5JXdA/6Axd9ylfcytOjcJgXxz94TrOB24f+uk8ypxaUuxxOYPBkfKc0ndOjmDNcJn0D61vjmlgG/o/+qAssmcF79hV5UCbinul0IVGraRfAO0xGnLcHJOBWdE8BAjap9Pbr/lI2f3i8hMT2jmh9IWR/GNTmRGvk3nqMeqLLw3Mdi4LTYIiEl8ZOnL7wld7KtgNBfjISK3CXjczE2rfQuBe24Swgd3Mus44TFM2Dgzp2dx6/7N1aDaePmDSgP5EN1uh0Wc8y0B5d5A/PPRl/OCu+poxVuRomE9g6z9lQtredPSHvS76uvaUMLC/mvK9l4FaBuW9deEv612Bs9D63A/fX2K98htd4SogCvgd37TPqvjI7XytHpBaTyrLoYaH4CSatpaJ3kM72Q2rqDVF2WgAiwwZgiuutNx+J73w2xCL3pOTpKLM+OtLKotT1bKNQI+5w0Umkyo0ObADGlgNB9Jvre03SqFb4mx4eyY7JdPc+O0S8UlV0NCps9Ib7lMTEFQR6kFgKbj1v582gfzexBT8BLZQCP/0SqarDPSZfqkcAWROl0LHzL85yE7MfcetRCnAJaphWuhLCUMNO1WNrML7mYQEzTpbqdh0KWZ8ODJ+1q24laDEZtfxwdGcKyhzzfQTKs12rxQOGZJg++3R6l/X7kBFFrrRXW9OJ/LzQ4giRkwazkCI=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782045735

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

