%FILENAME%
haskell-refinery-0.3.0.0-74.0-pentium4.pkg.tar.zst

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.3.0.0-74.0

%DESC%
Toolkit for building proof automation systems

%CSIZE%
73006

%ISIZE%
470193

%MD5SUM%
9761483c4154696ffd136f2f2a9444ae

%SHA256SUM%
333af6c7a7215f8dab0e9915f87cbb98baebc377328a554c49850d2d339dd17a

%PGPSIG%
iQEzBAABCAAdFiEEFhlKgiMenvgjViGByOj1oK+bp+cFAmFHBOcACgkQyOj1oK+bp+eAKgf/WebARZAwA0DCTW2gefJDMS4arAcneiJ3dyuYKHuEvcP3GiDL+RwUvPJHy4tKIEfp3KZiU2ZNGPS4BaFB9tQKjgx0yj4weB8DLT3bYa3WdVZ0o6i3ub1koV9Yem/hcgmUY2j3LEYNlmRn3s1BEOWdPOFPm+IfM/kjClQjhXofCqI9A0CkDw9t8ON8YKLdGWTmAqV0eW89FF/H6cPxNXmGJxPC9YLYsw1uNpurDs1ln6JmnW6d4DAaXJxHPpHlVuYmqOt13Y+QWfKRzp9swDSzHI7NJLmiLN96bY7zZ7DaAr0p0lnBPua1p0hYINACrDr60pzuAWb8fld7uiNOmJ0r0Q==

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

%LICENSE%
BSD

%ARCH%
pentium4

%BUILDDATE%
1632044234

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%DEPENDS%
ghc-libs
haskell-logict
haskell-mmorph

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

