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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-380

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94690

%ISIZE%
634421

%SHA256SUM%
1d0fb02a5187f4c2234dc897f2b94180af54024b4c047f1e2aa220988ccb0c0e

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrLTZEACgkQeGxj8zDXy5L5vxAAn7WrwngRphEQ7FF078GlKGVfoQ4xxcL8tsPWyc4u7H344KutsxJgOAfViyAqnqLLXokwK58IOHt+DixEApPbtfiPQcAFBolpzqz0LZmbdmmdRb4l5iHgkmKLgBRuRbNiB5+UVMXJ9D5tMQL4Bbm6oNv/zklIhzQkQ5kBOTiBVr/x2jHRP+QAiU1Oxeybc7DT0ljYrhbCKM0x0PYavLYqEwNP+ZNCGCLOwtOro3tbDwR0e33Ol40g293YXHwhU1rXdAo0+XZrGSwcCTt2RrhQhZMP5bT3llbyqRNT7eF4ljgbxIZLny2J9XRAaQwLBfGEMTKvpTNsQCHIHwh7HC1RNd46KA6IT1GMqhnENX1BF3GZFT5Ff0S7K5BMg2kVdJyvPSs7gMpTvz/vCqSnNQGbPrYopMt/29mUHCZ3oHHl4gbTUuhn8F8b0HPU2UobzZbbmk+Rz6G9ivgyF7yPFc77RZ5QU6ZLhSpc4/3Xn7oskzWViebMqeOE+ei/uHJ1wkoFHTtDi3SF7lgZp4i/Sqk7VRY/3pfFoSl5NMTmwDpcP2Vb6RLEZn/DnBsZFmb/O/yngddLhkoCFKNWB9bFZNanEjTZGLRYoRlSahcxTZ6l5/F4tzX0L7S7uwN5IbJqbWLYkBRG1Ex9ZUpkzXMdx5k6Vb3TvGIEIy+S9hC8iXyRwMs=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791708534

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

