git: b849a268736d - main - devel/purescript-language-server: Update to 0.17.1
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 24 Nov 2022 19:23:35 UTC
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=b849a268736d3536f25ec72020e32beeaaa39070 commit b849a268736d3536f25ec72020e32beeaaa39070 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2022-11-24 19:21:56 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2022-11-24 19:22:59 +0000 devel/purescript-language-server: Update to 0.17.1 --- devel/purescript-language-server/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devel/purescript-language-server/Makefile b/devel/purescript-language-server/Makefile index 80a038395aba..076934c6af01 100644 --- a/devel/purescript-language-server/Makefile +++ b/devel/purescript-language-server/Makefile @@ -1,5 +1,5 @@ PORTNAME= purescript-language-server -PORTVERSION= 0.16.6 +PORTVERSION= 0.17.1 CATEGORIES= devel textproc MASTER_SITES= https://github.com/nwolverson/${PORTNAME}/releases/download/v${PORTVERSION}/ DISTNAME= ${PORTNAME}.js