diff options
author | awoonya <mzhyneva@gmail.com> | 2024-01-31 17:49:28 +0000 |
---|---|---|
committer | Gleb Popov <arrowd@FreeBSD.org> | 2024-02-01 15:49:52 +0000 |
commit | ec74d91c67ab00a58584f190db5f719669f20757 (patch) | |
tree | 523f599ec260f4e30b2ead7e278289825746a7d3 | |
parent | a6401de92b3502f2e624f41b0069c09321b655a9 (diff) | |
download | ports-ec74d91c67ab00a58584f190db5f719669f20757.tar.gz ports-ec74d91c67ab00a58584f190db5f719669f20757.zip |
devel/purescript-language-server: update to 0.17.3
-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 b100fa9a1df6..65ee6ced5208 100644 --- a/devel/purescript-language-server/Makefile +++ b/devel/purescript-language-server/Makefile @@ -1,6 +1,5 @@ PORTNAME= purescript-language-server -PORTVERSION= 0.17.1 -PORTREVISION= 2 +PORTVERSION= 0.17.3 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 db56dfbb831e..38444612872b 100644 --- a/devel/purescript-language-server/distinfo +++ b/devel/purescript-language-server/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1660229735 -SHA256 (purescript-language-server.js) = 663dddae31fad9b5cd8581410e75d6275e9067987b7729811a68f24893d975f7 -SIZE (purescript-language-server.js) = 2875955 +TIMESTAMP = 1706722244 +SHA256 (purescript-language-server.js) = 32471d85a7a0cc6d89a3d81b48ec98b45075d1868c2dd4d8fbccb624df281959 +SIZE (purescript-language-server.js) = 1660258 |