Date: Friday, January 27, 2023 @ 16:05:21 Author: felixonmars Revision: 1388792
upgpkg: cryptol 2.13.0-86: rebuild with foldl 1.4.14 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2023-01-27 16:00:48 UTC (rev 1388791) +++ PKGBUILD 2023-01-27 16:05:21 UTC (rev 1388792) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.13.0 -pkgrel=85 +pkgrel=86 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net"; license=("BSD")
