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