Date: Thursday, January 10, 2019 @ 18:13:43 Author: felixonmars Revision: 422012
upgpkg: cryptol 2.6.0-71 rebuild with semigroupoids 5.3.2 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2019-01-10 18:10:40 UTC (rev 422011) +++ PKGBUILD 2019-01-10 18:13:43 UTC (rev 422012) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.6.0 -pkgrel=70 +pkgrel=71 pkgdesc="The Language of Cryptography" url="http://www.cryptol.net" license=("BSD")
