Date: Tuesday, September 1, 2020 @ 10:32:32 Author: felixonmars Revision: 695352
upgpkg: cryptol 2.9.0-34: rebuild with bv-sized 1.0.2 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-09-01 10:28:26 UTC (rev 695351) +++ PKGBUILD 2020-09-01 10:32:32 UTC (rev 695352) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.9.0 -pkgrel=33 +pkgrel=34 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD")