From c6a16e6da669a98381eeb6ce81dae0fe27a8e717 Mon Sep 17 00:00:00 2001
From: Jaisurya Nanduri <91620234+jaisnan@users.noreply.github.com>
Date: Fri, 9 Jun 2023 12:18:51 -0400
Subject: [PATCH] Update package metadata (#105)

---
 package.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/package.json b/package.json
index 5147398..4e740ba 100644
--- 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"
   },