Date: Monday, July 16, 2018 @ 17:45:38 Author: felixonmars Revision: 360011
upgpkg: cryptol 2.5.0.20180515-52 rebuild with mwc-random 0.14.0.0 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-07-16 17:42:12 UTC (rev 360010) +++ PKGBUILD 2018-07-16 17:45:38 UTC (rev 360011) @@ -4,7 +4,7 @@ pkgname=cryptol pkgver=2.5.0.20180515 _commit=9fccc0086700b0e409bd9b0989e52d62863c714e -pkgrel=51 +pkgrel=52 pkgdesc="The Language of Cryptography" url="http://www.cryptol.net" license=("custom:BSD3")