Date: Saturday, May 11, 2019 @ 22:26:14 Author: felixonmars Revision: 465674
upgpkg: cryptol 2.6.0-107 rebuild with profunctors 5.4 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-05-11 22:23:08 UTC (rev 465673) +++ PKGBUILD 2019-05-11 22:26:14 UTC (rev 465674) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.6.0 -pkgrel=106 +pkgrel=107 pkgdesc="The Language of Cryptography" url="http://www.cryptol.net" license=("BSD")
