TUe mCRL2 202006.0
mcrl2-202006.0_x86_64.exe | |
53.03 MB | |
33f167e48c80dcf14bcc0ef51e75f3d3 | |
Nullsoft Scriptable Install System (NSIS) |
Silent Install
mcrl2-202006.0_x86_64.exe /S
To silently install TUe mCRL2 202006.0 follow theese simple steps.
- Download the file mcrl2-202006.0_x86_64.exe
- Check the MD5 Checksum and the Signature of the installer package
- open a cammandline in admin mode by pressing Win and enter cmd
- right click the terminal application and choose "Run as Admin ..."
- Change the directory where the downloaded file is stored by using the cd command
- now enter the command mcrl2-202006.0_x86_64.exe /S in the terminal to silently install mCRL2
Silent Uninstall
%ProgramW6432%\mCRL2\Uninstall.exe /S
To silently uninstall TUe mCRL2 202006.0 follow theese simple steps.
- open a cammandline in admin mode by pressing Win and enter cmd
- right click the terminal application and choose "Run as Admin ..."
- now enter the command %ProgramW6432%\mCRL2\Uninstall.exe /S in the terminal to silently uninstall mCRL2