git: ec74d91c67ab - main - devel/purescript-language-server: update to 0.17.3
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 01 Feb 2024 15:50:39 UTC
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=ec74d91c67ab00a58584f190db5f719669f20757 commit ec74d91c67ab00a58584f190db5f719669f20757 Author: awoonya <mzhyneva@gmail.com> AuthorDate: 2024-01-31 17:49:28 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2024-02-01 15:49:52 +0000 devel/purescript-language-server: update to 0.17.3 --- devel/purescript-language-server/Makefile | 3 +-- 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