Skip to content

Commit

Permalink
Update manifests (#108)
Browse files Browse the repository at this point in the history
  • Loading branch information
robo-trh authored Dec 21, 2024
1 parent ac28f77 commit 5e4708f
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 2 deletions.
4 changes: 2 additions & 2 deletions manifests/named.json
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@
"purs-tidy-unstable": "purs-tidy-0_11_0",
"purs-backend-es-stable": "purs-backend-es-1_4_2",
"purs-backend-es-unstable": "purs-backend-es-1_4_2",
"purescript-language-server-stable": "purescript-language-server-0_18_2",
"purescript-language-server-unstable": "purescript-language-server-0_18_2"
"purescript-language-server-stable": "purescript-language-server-0_18_3",
"purescript-language-server-unstable": "purescript-language-server-0_18_3"
}
4 changes: 4 additions & 0 deletions manifests/purescript-language-server.json
Original file line number Diff line number Diff line change
Expand Up @@ -62,5 +62,9 @@
"0.18.2": {
"hash": "sha256-enOnrc7SRUqVnqZdKiFn9lzK29Q6YXWQzN2uT9bzfh8=",
"url": "https://github.com/nwolverson/purescript-language-server/releases/download/v0.18.2/purescript-language-server.js"
},
"0.18.3": {
"hash": "sha256-Gb11bR3j8HgnQwuGKov5T8w1rdoRa5BCW66G7lEbY30=",
"url": "https://github.com/nwolverson/purescript-language-server/releases/download/v0.18.3/purescript-language-server.js"
}
}

0 comments on commit 5e4708f

Please sign in to comment.