Software » coq » Coq » 8.10+beta2

coq Coq 8.10+beta2 (1)

coq-8.10+beta2-installer-windows-i686.exe
67.84 MB
b3a1fa8ddd18882be7dbb04a245f10c7
Nullsoft Scriptable Install System (NSIS)
Silent Install
coq-8.10+beta2-installer-windows-i686.exe /S

To silently install coq Coq 8.10+beta2 follow theese simple steps.

  1. Download the file coq-8.10+beta2-installer-windows-i686.exe
  2. Check the MD5 Checksum and the Signature of the installer package
  3. open a cammandline in admin mode by pressing Win and enter cmd
  4. right click the terminal application and choose "Run as Admin ..."
  5. Change the directory where the downloaded file is stored by using the cd command
  6. now enter the command coq-8.10+beta2-installer-windows-i686.exe /S in the terminal to silently install Coq

Silent Uninstall
C:\Coq\Uninstall.exe /S

To silently uninstall coq Coq 8.10+beta2 follow theese simple steps.

  1. open a cammandline in admin mode by pressing Win and enter cmd
  2. right click the terminal application and choose "Run as Admin ..."
  3. now enter the command C:\Coq\Uninstall.exe /S in the terminal to silently uninstall Coq

coq Coq 8.10+beta2 (2)

coq-8.10+beta2-installer-windows-x86_64.exe
70.67 MB
f3e520d51620d6f66f95f0c76fefa054
Nullsoft Scriptable Install System (NSIS)
Silent Install
coq-8.10+beta2-installer-windows-x86_64.exe /S

To silently install coq Coq 8.10+beta2 follow theese simple steps.

  1. Download the file coq-8.10+beta2-installer-windows-x86_64.exe
  2. Check the MD5 Checksum and the Signature of the installer package
  3. open a cammandline in admin mode by pressing Win and enter cmd
  4. right click the terminal application and choose "Run as Admin ..."
  5. Change the directory where the downloaded file is stored by using the cd command
  6. now enter the command coq-8.10+beta2-installer-windows-x86_64.exe /S in the terminal to silently install Coq

Silent Uninstall
C:\Coq\Uninstall.exe /S

To silently uninstall coq Coq 8.10+beta2 follow theese simple steps.

  1. open a cammandline in admin mode by pressing Win and enter cmd
  2. right click the terminal application and choose "Run as Admin ..."
  3. now enter the command C:\Coq\Uninstall.exe /S in the terminal to silently uninstall Coq