[arch-commits] Commit in haskell-refinery/trunk (PKGBUILD)

Felix Yan felixonmars at gemini.archlinux.org
Mon Apr 11 00:15:44 UTC 2022


    Date: Monday, April 11, 2022 @ 00:15:44
  Author: felixonmars
Revision: 1185799

upgpkg: haskell-refinery 0.4.0.0-61: rebuild with checkers 0.6.0

Modified:
  haskell-refinery/trunk/PKGBUILD

----------+
 PKGBUILD |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-04-11 00:15:26 UTC (rev 1185798)
+++ PKGBUILD	2022-04-11 00:15:44 UTC (rev 1185799)
@@ -3,7 +3,7 @@
 _hkgname=refinery
 pkgname=haskell-refinery
 pkgver=0.4.0.0
-pkgrel=60
+pkgrel=61
 pkgdesc="Toolkit for building proof automation systems"
 url="https://github.com/totbwf/refinery#readme"
 license=("BSD")



More information about the arch-commits mailing list