Date: Saturday, February 29, 2020 @ 22:14:54 Author: felixonmars Revision: 587205
upgpkg: cryptol 2.8.0-64: rebuild with logict 0.7.0.2 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-02-29 22:11:50 UTC (rev 587204) +++ PKGBUILD 2020-02-29 22:14:54 UTC (rev 587205) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.8.0 -pkgrel=63 +pkgrel=64 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD")
