diff options
author | Gleb Popov <arrowd@FreeBSD.org> | 2022-08-11 16:02:43 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2022-08-11 18:51:50 +0000 |
commit | 9d141984812a99995d615faf0de75302447f83ed (patch) | |
tree | 75f8cb1cb4a25c36c5bad460c5d39e2716a2a047 | |
parent | da20dc2f4571a7cf34146033b9f6442c19a5117e (diff) | |
download | ports-9d141984812a99995d615faf0de75302447f83ed.tar.gz ports-9d141984812a99995d615faf0de75302447f83ed.zip |
devel/purescript-language-server: Update to 0.16.6
-rw-r--r-- | devel/purescript-language-server/Makefile | 3 | ||||
-rw-r--r-- | devel/purescript-language-server/distinfo | 6 |
2 files changed, 4 insertions, 5 deletions
diff --git a/devel/purescript-language-server/Makefile b/devel/purescript-language-server/Makefile index 6e9889d0ac42..74fda2578d29 100644 --- a/devel/purescript-language-server/Makefile +++ b/devel/purescript-language-server/Makefile @@ -1,6 +1,5 @@ PORTNAME= purescript-language-server -PORTVERSION= 0.15.7 -PORTREVISION= 1 +PORTVERSION= 0.16.6 CATEGORIES= devel textproc MASTER_SITES= https://github.com/nwolverson/${PORTNAME}/releases/download/v${PORTVERSION}/ DISTNAME= ${PORTNAME}.js diff --git a/devel/purescript-language-server/distinfo b/devel/purescript-language-server/distinfo index ff247d267b3a..db56dfbb831e 100644 --- a/devel/purescript-language-server/distinfo +++ b/devel/purescript-language-server/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1633342744 -SHA256 (purescript-language-server.js) = 091ac797533bb84ef7158e22d998e9f8eb2e83abefd953ed2ffffdd441f312bd -SIZE (purescript-language-server.js) = 498437 +TIMESTAMP = 1660229735 +SHA256 (purescript-language-server.js) = 663dddae31fad9b5cd8581410e75d6275e9067987b7729811a68f24893d975f7 +SIZE (purescript-language-server.js) = 2875955 |