Date: Thursday, September 24, 2020 @ 14:38:38 Author: felixonmars Revision: 711829
upgpkg: cryptol 2.9.1-14: rebuild with parameterized-utils 2.1.1 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-09-24 14:36:08 UTC (rev 711828) +++ PKGBUILD 2020-09-24 14:38:38 UTC (rev 711829) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.1 -pkgrel=13 +pkgrel=14 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD")