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

[Felix Yan]

    Date: Thursday, August 25, 2022 @ 19:32:30
  Author: felixonmars
Revision: 1280112

upgpkg: cryptol 2.13.0-22: rebuild with quickcheck-instances 0.3.28

Modified:
  cryptol/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2022-08-25 19:32:17 UTC (rev 1280111)
+++ PKGBUILD	2022-08-25 19:32:30 UTC (rev 1280112)
@@ -2,7 +2,7 @@
 
 pkgname=cryptol
 pkgver=2.13.0
-pkgrel=21
+pkgrel=22
 pkgdesc="The Language of Cryptography"
 url="https://www.cryptol.net"
 license=("BSD")