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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-389

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94503

%ISIZE%
634390

%SHA256SUM%
37607df936e33d9988c12bbe37342b055f2a9410f049cc064c5327ce9172bcef

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmr1q04ACgkQeGxj8zDXy5I/6Q/6A5bv7ReBXhCy09JBcDQjlLdo7QUYjL3GP0uyoekA5wQsNNxeqwLHgBtc02YWuON0vYclhBnNY19EdSZIEHo0AieGX91n51PsiPsI24KOD5liszYdbhlEUu+EM9PCRrvgBsh+fw4Z8nHKeQMW9BvXqIvdPb0FKdZ8uycX0ldm4vtC9V4cwiwenn12GurHXT7Mw8SkmJc/axedVGaLhsePiTdbml1NtHVxrLKhC3oZdVScjCzPjkqL8Gd1i2MaPrsEM3QXr5Ub2yAQzmZUonoOuF6SgekC/jsHRTeWQZeAH120aP9UB9Y2d8gqMleUcJJSsONXrCjL7K5jvijSYsKq2FRv0steHjsf1Aw8/1rJrC5xXzrE3yd6uLf4GLINnQWtK5ZRy70qM7lz2gYag3riuLsnhUoUdB+Rb8yXzPd8VXUNy+RrLqkKUiuoihDqyKFuCROr0vUUF4lXOBvOxwL5nrW6kftCDfetnjAJPnU5ZsorKxbtBXNg1fOlbyZCaKlDTBIYOHFULHmKNHD/tuoDbKFA/R3Hn8V1VDUtJ1rS7u+5IqLca/Mwf4YK50ug3Drxq5NNQTWg3Zb94Zm7MM6gob19SMYfXVFnwFWxHUiXCz25BQIsimAA1AsV4XAqWOnyVREkvwqvJvBvcf0z+DXhKjY+FnWEsCZz+dxqznUM0jc=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1794485045

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

