Skip to content

Commit

Permalink
Merge pull request #855 from coq-community/bump-version
Browse files Browse the repository at this point in the history
Bump version for release
  • Loading branch information
rtetley authored Aug 6, 2024
2 parents 996bbf6 + a4bd783 commit 0b17857
Show file tree
Hide file tree
Showing 4 changed files with 5 additions and 4 deletions.
2 changes: 1 addition & 1 deletion client/package.json
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
"description": "VsCoq is an extension for Visual Studio Code with support for the Coq Proof Assistant",
"publisher": "maximedenes",
"license": "MIT",
"version": "2.1.6",
"version": "2.1.7",
"repository": {
"type": "git",
"url": "https://github.com/coq-community/vscoq.git"
Expand Down
3 changes: 2 additions & 1 deletion client/src/utilities/versioning.ts
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,8 @@ const versionRequirements : VersionReq = {
'2.1.2': '2.1.2',
'2.1.3': '2.1.3',
'2.1.5': '2.1.5',
'2.1.6': '2.1.5'
'2.1.6': '2.1.5',
'2.1.7': '2.1.7'
};

//We will add version ranges as we start releasing
Expand Down
2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
vscodeExtPublisher = "maximedenes";
vscodeExtName = "vscoq";
vscodeExtUniqueId = "maximedenes.vscoq";
vscoq_version = "2.1.6";
vscoq_version = "2.1.7";
coq = coq-master.packages.${system};
in rec {
formatter = nixpkgs.legacyPackages.${system}.alejandra;
Expand Down
2 changes: 1 addition & 1 deletion language-server/vscoqtop/lspManager.ml
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@ let conf_request_id = max_int

let server_info = InitializeResult.create_serverInfo
~name:"vscoq-language-server"
~version:"2.1.6"
~version:"2.1.7"
()

type lsp_event =
Expand Down

0 comments on commit 0b17857

Please sign in to comment.