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

%NAME%
haskell-refinery

%BASE%
haskell-refinery

%VERSION%
0.4.0.0-376

%DESC%
Toolkit for building proof automation systems

%CSIZE%
94450

%ISIZE%
634397

%SHA256SUM%
081e459fd48510ce49b38d6ffe3be3316205c3f2d1afe63740ada13c477e5620

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmrCTacACgkQeGxj8zDXy5Kz+Q//ac66rWcBxfizgEi+0BEAIZ4I73tvqsS93DDeogFxeMjAhd0Ny/vKYvEoldB83zzqTetqt+olF/xbfZde0MKq507OQ75xx68GhMqt7WUzzlQ1t2eRf4eNGQlVOX38DqE3iTotmsa7QWrAVmZ2l6eN+MFHrj8J2tmdkPnTk9tjPw6s/DJKR2Nr1YY8q6w9EMAsdbdaNKUdXfKpZ4GYyvaTxHfpvxlQp4Jy4WXE7A5BGGTEgIaSmmqXVJdp/M6xgATRqAQTPmRn3hEssaKVdzjAjdEwNoEuAtBt8Fqs9JnKrh3cptQwDQjTa5P8VjMjkTo3hrfH18FKY513VNcZnodzHXDew9lfA3QCCvQR/M+LiKbT0B/6EJb0BORdNZQxQD9izhhudWowcfgKoSbzJWD7e2Bya0XX8pUnhyZIs6VCgO44FnygBVcayIoffBuDWMtrVm9LJh1TIBqxUT3skzgHfOlDuU9jPoQm/9Ob4mWSzMv1v/pdFjJABBeF+baW7rwpCz0R0hJGFUVYA69jM69CXFweYMel0Oa/n9AOvkYGqQIbix93caDD3bPmkllnNAzNILv9pAhZqMiVh9+j3SPkA8CZV/cQbzbgpVAnFl6rWmFgsAhRXpI1K3I4QvRcL3KE8aLSAAcHNJI85DMymQJwTvAHYk66IWwMQ9le6OefnCs=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1791118739

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

%DEPENDS%
ghc-libs
haskell-mmorph

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

