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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-361

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94634

%ISIZE%
630324

%SHA256SUM%
7e456933067b9f8202cfd8e092c45cb5da033c932f27142dccbd01e43565cbb8

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmpHFp4ACgkQeGxj8zDXy5JS3w//TQFzqJtYh2y8Jr4HCueuZW5m85mY0R4YD7/dDhN4mPfdqUoZyUuE15a7hiQV/yMi8ouF5jOb0YxZyAGp5Ukxd1WFpo+EBDP7WW8/X58//rDAa5F/YBDf3klAI3AUHUFhTEaXNGveYneRY3JELBwDoa8EOAV6z/xMVlN3VUjW69JSLbn0rr15fCNJJeairvDn9S116rK4CUGAn1w4KXiskStM3b4bzDiMkRDNSgbjGqlMnZZrxmTBvYBtKJQQwwXUquJd0tuGMpZ+Q1MjuB7Yrykug3jXxGsjvdB5bVeZYUje6EARYCDdvpWrJ5AcK01r+dvEragVB7GI5RQmLNeFrKzLdDko48txIlix3lV2TVOwzOLxNtfsUcDXgg/AULjnpvFS1m8JFSYQ0dTDdq+kawvtXRqDVVjfGq9JSl5yS37W5OShHQHZKz/sYzTC30/2291i2CoiJg4YDtjQhMNEq+F1yctNLR/j+oDG6UFqHydml7NoBhfx+hs4NGY//4BaX50sFExOK8Lj/uTZ3+G2oq6yErQkA7ESD8tQxOCUc3OGTGeOefmjZl0nHkVA0AthSt9VihRb3wRSvQ4L2CJ5tt7sTlDz5BBSza/JNDOj1HsvTjXc4qr76oVCVazq45aZnxFUnaWfHIOnuKPL5b3ZdVWpUkFoaH4cXOJgnMXez9A=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1783043725

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

