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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-301

%DESC%
Toolkit for building proof automation systems

%CSIZE%
93887

%ISIZE%
621517

%MD5SUM%
45391a85b61124e66e521f6e6e486ded

%SHA256SUM%
e9b7eccf8b0e3ff77a6d08e099e2624a146c171a7778a5d2a40b16068b34ffa6

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjbCFEACgkQeGxj8zDXy5KaXRAAgfGxPENH3oZ28HNJ/2Bqu6VJS4F0L3ImFUKVxU8kDJ4oML7Zzh6lB/BEinHxRODOpfiRR/zbf44V3Yx7GKePfoDBkvIlbhthOyMjA0PnG/NmclJHB2HkI34ht2n6Qyb1UK3F7iD9kQeGaD52q5/LoudSe3awGo+5Xqu0nivt2XiydeOk/HmHhlS+5504xU1uvYah+GU6ozU4HXZraL3WZCNAjG5luZI9ys2Bi/PZ9w20Hr1BlRRh1+P95uJ46nk06/taCFUghRlb8Z/FMNyfbtE6oOAeKclWAm/vBah0ZlZi0R55xR1eTs8kh8UQZBIIxCn30SpYH6LaarqJO5R+cD4zrmB/R5/FGsdwRDPc+c3mP/Lygl2NJdZUJsiUCDcsu5j2fXFTza5zurk3DLQi9xOpphyOhOFBGx+OpH1vW3U8nWkTutvbhF3anVjkpid7mITULIz/HQLg4g8bTqNr6byH3NushXmknnPEF0PEJMlwHMqFRjiFAnaS/wmZiDQJfswaMhfUnHJ7VDBaUbx92K1yRxj74N4uAqSGNAMibw4L1BZXJYfnunVyHVEKwqa9zmMdG53wOA6Z4fJ0WXtmRR9djeBIfXENyvVb2X1PJqf9y5/euAjEYKNoN7DcZpMHbDFU6kci+8PG1frM2KxIUb/ju50FGDd+NbyL8qNzsmE=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1759184945

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

