Date: Saturday, August 8, 2020 @ 17:53:25 Author: felixonmars Revision: 672574
upgpkg: cryptol 2.9.0-13: rebuild with these 1.1.1.1 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-08-08 17:48:42 UTC (rev 672573) +++ PKGBUILD 2020-08-08 17:53:25 UTC (rev 672574) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=12 +pkgrel=13 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD")