16 lines
679 B
YAML
16 lines
679 B
YAML
# Created using wingetcreate
|
|
|
|
PackageIdentifier: Coq.CoqPlatform
|
|
PackageVersion: 2021.02.1
|
|
Installers:
|
|
- Architecture: x64
|
|
InstallerType: nullsoft
|
|
InstallerUrl: https://github.com/coq/platform/releases/download/2021.02.1/coq-platform-2021.02.1-installer-windows-x86_64.exe
|
|
InstallerSha256: 96941BD0C1096813FB6832088CC0950B3F65ACD0E3ED97DECA412DF8768E10D2
|
|
- Architecture: x86
|
|
InstallerType: nullsoft
|
|
InstallerUrl: https://github.com/coq/platform/releases/download/2021.02.1/coq-platform-2021.02.1-installer-windows-i686.exe
|
|
InstallerSha256: 1C6C8A23865BBA588814E95F8AC4E9A7C20E2FD80B67E0648E2E1479E0391793
|
|
ManifestType: installer
|
|
ManifestVersion: 1.0.0
|