Date: Friday, October 22, 2021 @ 16:29:08
  Author: felixonmars
Revision: 1032515

upgpkg: cryptol 2.11.0-80: rebuild with semigroupoids 5.3.6

Modified:
  cryptol/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD    2021-10-22 16:26:53 UTC (rev 1032514)
+++ PKGBUILD    2021-10-22 16:29:08 UTC (rev 1032515)
@@ -2,7 +2,7 @@
 
 pkgname=cryptol
 pkgver=2.11.0
-pkgrel=79
+pkgrel=80
 pkgdesc="The Language of Cryptography"
 url="https://www.cryptol.net";
 license=("BSD")

Reply via email to