Date: Tuesday, September 25, 2018 @ 02:03:53 Author: felixonmars Revision: 384765
upgpkg: cryptol 2.6.0-31 rebuild with extra 1.6.12 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-09-25 02:01:08 UTC (rev 384764) +++ PKGBUILD 2018-09-25 02:03:53 UTC (rev 384765) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.6.0 -pkgrel=30 +pkgrel=31 pkgdesc="The Language of Cryptography" url="http://www.cryptol.net" license=("custom:BSD3")