Windows installer which installes all dependencies needed for the Waterproof application.
⚠ Note that the installation path should be chosen to be C:\cygwin_coq_platform\home\runneradmin\.opam\coq_for_waterproof\
⚠ Note that in the library selection window, Coq-SerAPI is required for Waterproof to function!
⚠ If one of the libraries is deselected, dependencies of that library are automatically deselected to!
To build the installer, run the Windows Github Action.
To change the installed dependencies. Change the packages.cfg file.