Date: Wednesday, November 7, 2018 @ 19:57:28 Author: felixonmars Revision: 403160
upgpkg: cryptol 2.6.0-55 rebuild with ghc 8.6.2 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-11-07 19:54:21 UTC (rev 403159) +++ PKGBUILD 2018-11-07 19:57:28 UTC (rev 403160) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.6.0 -pkgrel=54 +pkgrel=55 pkgdesc="The Language of Cryptography" url="http://www.cryptol.net" license=("custom:BSD3")
