Skip to content

Commit

Permalink
Update package.json
Browse files Browse the repository at this point in the history
  • Loading branch information
viper-admin authored Sep 6, 2024
1 parent 6367cec commit fcde2e2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion client/package.json
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{
"name": "viper",
"displayName": "Viper",
"version": "4.4.0",
"version": "4.4.1",
"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",
Expand Down

0 comments on commit fcde2e2

Please sign in to comment.