diff options
Diffstat (limited to 'devel/purescript-language-server')
| -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 c8068629dd28..c1e53b9be694 100644 --- a/devel/purescript-language-server/Makefile +++ b/devel/purescript-language-server/Makefile @@ -1,6 +1,5 @@ PORTNAME= purescript-language-server -PORTVERSION= 0.18.2 -PORTREVISION= 1 +PORTVERSION= 0.18.4 CATEGORIES= devel textproc MASTER_SITES= https://github.com/nwolverson/${PORTNAME}/releases/download/v${PORTVERSION}/${PORTNAME}.js?dummy=/ DISTNAME= ${PORTNAME}-${PORTVERSION} diff --git a/devel/purescript-language-server/distinfo b/devel/purescript-language-server/distinfo index 2c31d52198d1..18ff0a7ca76a 100644 --- a/devel/purescript-language-server/distinfo +++ b/devel/purescript-language-server/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1728725850 -SHA256 (purescript-language-server-0.18.2.js) = 7a73a7adced2454a959ea65d2a2167f65ccadbd43a617590ccddae4fd6f37e1f -SIZE (purescript-language-server-0.18.2.js) = 1603819 +TIMESTAMP = 1749053826 +SHA256 (purescript-language-server-0.18.4.js) = 447bc81f0380b38cd897561354992796070542fc33aca0c3db8dd280c57d2e9d +SIZE (purescript-language-server-0.18.4.js) = 1612142 |