Date: Saturday, February 8, 2020 @ 12:26:03 Author: felixonmars Revision: 564076
upgpkg: cryptol 2.8.0-30: rebuild with vector 0.12.1.2, store 0.7.2 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-02-08 12:22:58 UTC (rev 564075) +++ PKGBUILD 2020-02-08 12:26:03 UTC (rev 564076) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.8.0 -pkgrel=29 +pkgrel=30 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD")