Date: Monday, June 6, 2022 @ 12:06:27 Author: felixonmars Revision: 1226218
upgpkg: cryptol 2.12.0-86: rebuild with typed-process 0.2.10.0 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-06-06 12:06:19 UTC (rev 1226217) +++ PKGBUILD 2022-06-06 12:06:27 UTC (rev 1226218) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.12.0 -pkgrel=85 +pkgrel=86 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD")
