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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-108

%DESC%
Toolkit for building proof automation systems

%CSIZE%
110126

%ISIZE%
760933

%MD5SUM%
58446d1288fadd5c0f287ffb78853d9d

%SHA256SUM%
c1365e080f755e6f693aacfc8c3a5c07095642338a0e81ec5fa922e1251b9553

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNZTIEACgkQeGxj8zDXy5LTfA//dRjHTK4sv4q+2A5Z3aB4tjX8Ml4rl25lqthg/mtCU1qL1W5HDk1efPTeEDLSc1j02FFgMocGlAR81vKuL2uw4lsPLrCmpzll/t7zUoT255TYjwNh2QSoyRdbwStO5z1+0Bp1Hf2e2tATplJ142OQUpUhVbRzPM8Rud72ims10J0sPQ4rjXzV63bN3IKBx+vZFN+cPo9W8tXFxuN2tjnffdTQA+PE6WAWM516Z/w/UDuU0URk9qkD7e7W3x1di/zrtsz0bak4K5rqbuBzRzS/toqCEviyXmUZTIwr6szejiqS4bX0tFGNlShoaLFlLQKMGRIQI5PgXhSa6t27W4T39tHX0IOKqGpDyEfKEJP0wcrHQTl1j/zm5kPWCsRn+cPadrofPt/gL1iS/TCKhaBPyWqLVEEskrB4wNoO1iDmqwoEIypghGtXv8Yh0D9NriJs8ec7Oi2PhP2QRUXkkRfE6AA5Gbo56Xx8aFgV7KuWL0zwZWj4cQy4lOro8dZtfj1W+gpcKgkN13xhWUSKdPfrOCGvEWQiyk8tLJLGgkj4VmoqT8weenZNJHmH2gJEznbSxrL0RFPC2imzUMdHn5hVowJQC1FGEX6jJKit2NUBR3n/W87ctdoBz0WHwfoyYl3yPDYouq/8U5dNDqhIzwVaMlHELcB54Dva3gjH+gVHPq8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1666796626

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

