Date: Friday, June 28, 2019 @ 05:14:52 Author: felixonmars Revision: 485328
upgpkg: cryptol 2.7.0-15 rebuild with syb 0.7.1 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-06-28 05:11:51 UTC (rev 485327) +++ PKGBUILD 2019-06-28 05:14:52 UTC (rev 485328) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.7.0 -pkgrel=14 +pkgrel=15 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD")
