Date: Friday, October 6, 2017 @ 17:23:39 Author: felixonmars Revision: 261999
upgpkg: cryptol 2.5.0-7 rebuild with QuickCheck,2.10.1 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2017-10-06 17:17:34 UTC (rev 261998) +++ PKGBUILD 2017-10-06 17:23:39 UTC (rev 261999) @@ -3,7 +3,7 @@ pkgname=cryptol pkgver=2.5.0 -pkgrel=6 +pkgrel=7 pkgdesc="The Language of Cryptography" url="http://www.cryptol.net"; license=("custom:BSD3")
