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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-355

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94420

%ISIZE%
634407

%SHA256SUM%
a4807b011fc52b3b90616d6b8955552a682cc795faa10b428340b35b473541b9

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo7oQYACgkQeGxj8zDXy5KbXQ/9HoxhFrJ2rgv9TcRBAo7pe8RUlep4r4EYDT2rriOaIsKzsHOHsolDezUrpbLjo4NqAWdjlU0HA9A6h4jveTJY4SX/4cknHiYPxk3btTz/VIvhGcLXgxyMSRjbQLXCM3LF+cmhy13UiVIuL9jVHtDUjSk1cuzhPcsH4G3kX4G/T5mqRlXAd7PIjDpk9YnKTKUE9S9QROmvuijFtvFYf6EPJ43+geEG1VePQpkAb3jRM7OWgkskvRETDrY1B02Z61wVarykETl8fKGYGtD+oALr5HD9eKoTaj8yIELaimqlSs5v0HW1foWqWAaDuGnWcwFUKityM6tpAbTVHFYOhw4r9Ire74pnjYhrNEvBh4JBxZ7EqhS87SLYhsgbwKFQSY344T0b97i31H391cDuhpHPGFWSceAQb+HINvflRncPWrTiVd2H3Az03u3PUJ++1XB6fa4A10fazRQRF3dmZXVf77L4Xstj6ULgzRTy7cwODBZA3yRax5AqOr15YJ0JFYDqJz6YL3NTi/H/eNiiMTLDHhAsV2D5jSqQxmECLYsFcMH4Ta1jJAxANHuNFLpbOrPUV7bylDt/hK8LbRu85byRM6Lz0/Pt9c2L5gCn1hYW3PcF2ap/eZBqnVxzGITtOndszLnl2qlR9pqt3lBIGLjgrrXldRCqaawHu6hGCkZZ6r8=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1782292698

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

