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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-311

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94647

%ISIZE%
630329

%SHA256SUM%
fabba01887ea2ec79da15c9ed334268de6b1f4bb54f3f64c288975d3c903bea2

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmjwMAQACgkQeGxj8zDXy5JZgxAAlyptUonqz78uig8w0ziq0AKEQxZege41OuVvtGAe6IrWPDzbG6QiJzYMIgKr3/Mh2S77ijy9aJS0st0KR/+TGLal4h0Sj9jvZ0sIKlcEsWcWZnG9ddA+rY5bBt+KnGnhcWrQmrseg/HiHceVlLElaYQQ5lw50fm9mvMo3a6hxMl1QDFd6zJkTICmUO+f9ydW7vEKGAsJ4FXfQjSSaMM+NnKuC7DY7jFbIWVxotbydPQVM+3X4PFVA7eMbkFXDSZcUi7U3ZbD4XTCoT3Os4ytB/qbGvq9sMN2HZb0oBnhaaNcA9jnvIGEw46r9J8Gqdu33GyDWofT/0bZ9pQ2+Vgig7uHGnnbhBXfn03eWjcjT1k8NTz6hheAAg8PcOweR4V+MxQH0/52AY1SzvbS3YZxROhrxUrrM8p1UEQ8Q4CBw+xiCZitmliggnJFoY6LJ2zYsF+VKxQt2/LFrTm1tmpG4IezYApUsxvdt88GL3t1MvIc4h/KFtN8bYQjaeIPPTmiT1XUBHur5dSDGQJohKZPlwBrHMyC7Xlfk6k9Yltbx7z6UIptDd2jTJOznfPcL+HAWzTDL6n6avK04dj+4ma8Qz+d55xm34z69KZ4kW9zILhNQ1Gd5+7cF6I91RCuiM2ZAqJEibDgNIkuA0ILpbn58K0MK9r19PnIO8ENZvA0iFo=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1760571366

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

