v.2.2.0+8.17

Installer that installs the necessary dependencies for the Waterproof vscode extension.
coq-waterproof : 2.2.0+8.17
coq-lsp : 0.2.2+8.17
coq platform pick : 8.17~2023.08

v2.1.0+8.17

Installer that installs the necessary dependencies for the Waterproof vscode extension.

0.0.5 with coq-waterproof 1.2.2

Built with: impermeable/coq-waterproof@39a6080 / v1.2.2 compatible with Coq 8.15
Coq version 8.15
Coq-serapi version 8.15.0+0.15.2

0.0.4 with coq-waterproof 1.2.1

Built with: impermeable/coq-waterproof@ffaa07e / v1.2.1
Coq version 8.15
Coq-serapi version 8.15.0+0.15.2

You can also look at the source code in .github/workflows/windows.yml and packages.cfg .

0.0.3

Updates coq (8.15), and coq-waterproof versions

Waterproof dependencies 0.0.2

Updated dependencies (for instance Coq to 8.14).

Windows Waterproof dependencies installer v0.0.1

Installer for the dependencies for Waterproof: download and execute the .exe file below.