Date: Saturday, August 1, 2020 @ 15:43:30
  Author: felixonmars
Revision: 667502

upgpkg: cryptol 2.9.0-2: rebuild with QuickCheck 2.14.1

Modified:
  cryptol/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2020-08-01 15:40:14 UTC (rev 667501)
+++ PKGBUILD    2020-08-01 15:43:30 UTC (rev 667502)
@@ -2,7 +2,7 @@
 
 pkgname=cryptol
 pkgver=2.9.0
-pkgrel=1
+pkgrel=2
 pkgdesc="The Language of Cryptography"
 url="https://www.cryptol.net";
 license=("BSD")

Reply via email to