vscode-ext: add more package properties

moves-rwth · May 15, 2024 · 09e7f89 · 09e7f89
1 parent 0aed1ed
commit 09e7f89
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/vscode-ext/package.json b/vscode-ext/package.json
@@ -2,11 +2,14 @@
   "name": "caesar",
   "displayName": "Caesar Verifier",
   "description": "The quantitative deductive verifier Caesar for VSCode",
+  "publisher": "rwth-moves",
   "version": "0.0.1",
   "preview": true,
-  "engines": {
-    "vscode": "^1.87.0"
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/moves-rwth/caesar.git"
   },
+  "homepage": "https://www.caesarverifier.org/",
   "categories": [
     "Programming Languages"
   ],
@@ -15,6 +18,9 @@
     "verification",
     "snippet"
   ],
+  "engines": {
+    "vscode": "^1.87.0"
+  },
   "main": "./out/extension.js",
   "contributes": {
     "commands": [