Date: Wednesday, December 30, 2020 @ 19:30:34 Author: felixonmars Revision: 800197
upgpkg: cryptol 2.10.0-28: rebuild with microlens 0.4.12.0, microlens-ghc 0.4.13, microlens-platform 0.4.2 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-12-30 19:28:06 UTC (rev 800196) +++ PKGBUILD 2020-12-30 19:30:34 UTC (rev 800197) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.10.0 -pkgrel=27 +pkgrel=28 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net" license=("BSD")
