Date: Monday, February 28, 2022 @ 06:29:22 Author: felixonmars Revision: 1138141
upgpkg: haskell-refinery 0.4.0.0-47: rebuild with haskell-checkers 0.5.7 Modified: haskell-refinery/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-02-28 06:28:52 UTC (rev 1138140) +++ PKGBUILD 2022-02-28 06:29:22 UTC (rev 1138141) @@ -3,7 +3,7 @@ _hkgname=refinery pkgname=haskell-refinery pkgver=0.4.0.0 -pkgrel=46 +pkgrel=47 pkgdesc="Toolkit for building proof automation systems" url="https://github.com/totbwf/refinery#readme" license=("BSD")
