diff options
Diffstat (limited to 'devel/purescript-language-server/distinfo')
| -rw-r--r-- | devel/purescript-language-server/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
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 |