Date: Sunday, January 9, 2022 @ 20:02:21 Author: felixonmars Revision: 1098492
upgpkg: cryptol 2.11.0-113: rebuild with dhall 1.40.2, dhall-bash 1.0.39, dhall-docs 1.0.8, dhall-json 1.7.9, dhall-lsp-server 1.0.17, dhall-yaml 1.2.9, lucid 2.11.0 Modified: cryptol/trunk/PKGBUILD ----------+ PKGBUILD | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-01-09 19:57:30 UTC (rev 1098491) +++ PKGBUILD 2022-01-09 20:02:21 UTC (rev 1098492) @@ -2,7 +2,7 @@ pkgname=cryptol pkgver=2.11.0 -pkgrel=112 +pkgrel=113 pkgdesc="The Language of Cryptography" url="https://www.cryptol.net"; license=("BSD")
