From 10a28ee26a67a2042dfdbf4ea5f5022766dd18d1 Mon Sep 17 00:00:00 2001 From: Nicolas Klose Date: Tue, 2 Apr 2024 15:15:32 +0200 Subject: [PATCH] version --- client/package-lock.json | 4 ++-- client/package.json | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/client/package-lock.json b/client/package-lock.json index 000fa1de..d4c84b36 100644 --- a/client/package-lock.json +++ b/client/package-lock.json @@ -1,12 +1,12 @@ { "name": "viper", - "version": "4.4.0", + "version": "5.0.0", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "viper", - "version": "4.4.0", + "version": "5.0.0", "license": "SEE LICENSE IN LICENSE.txt", "devDependencies": { "@types/glob-to-regexp": "^0.4.4", diff --git a/client/package.json b/client/package.json index 0269dac2..bfadfb82 100644 --- a/client/package.json +++ b/client/package.json @@ -1,7 +1,7 @@ { "name": "viper", "displayName": "Viper", - "version": "4.4.0", + "version": "5.0.0", "publisher": "viper-admin", "description": "This extension provides interactive IDE features for verifying programs in Viper (Verification Infrastructure for Permission-based Reasoning).", "license": "SEE LICENSE IN LICENSE.txt",