Fix package name for language server

bugarela · bugarela · commit d20a94d45cb5 · 2023-09-05T14:28:44.000-03:00
diff --git a/vscode/quint-vscode/server/package.json b/vscode/quint-vscode/server/package.json
@@ -1,5 +1,5 @@
 {
-  "name": "quint-language-server",
+  "name": "@informalsystems/quint-language-server",
   "description": "Language Server for the Quint specification language",
   "version": "0.8.0",
   "author": "Informal Systems",

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "name": "quint-language-server",`
	`2`	`+ "name": "@informalsystems/quint-language-server",`
`3`	`3`	`"description": "Language Server for the Quint specification language",`
`4`	`4`	`"version": "0.8.0",`
`5`	`5`	`"author": "Informal Systems",`