Update package metadata (#105)

model-checking · Jun 9, 2023 · c6a16e6 · c6a16e6
1 parent 78e92c4
commit c6a16e6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/package.json b/package.json
@@ -2,12 +2,12 @@
   "name": "kani-vscode-extension",
   "displayName": "Kani",
   "description": "VSCode IDE integration for Kani",
-  "publisher": "Kani",
+  "publisher": "model-checking",
   "repository": {
     "type": "git",
     "url": "https://github.com/model-checking/kani-vscode-extension"
   },
-  "version": "0.0.2",
+  "version": "0.0.3",
   "engines": {
     "vscode": "^1.70.0"
   },