| 1234567891011121314151617181920 |
- # Created with YamlCreate.ps1 v2.0.4 $debug=QUSU.7-2-1
- # yaml-language-server: $schema=https://aka.ms/winget-manifest.installer.1.1.0.schema.json
- PackageIdentifier: Coq.CoqPlatform
- PackageVersion: 8.14.1
- MinimumOSVersion: 10.0.0.0
- InstallerType: nullsoft
- Scope: machine
- InstallModes:
- - interactive
- - silent
- UpgradeBehavior: install
- Installers:
- - Architecture: neutral
- InstallerUrl: https://github.com/coq/platform/releases/download/2022.01.0/Coq-Platform-8.14.2022.01-installer-windows-i686_signed.exe
- InstallerSha256: D45A07422C3CA017142515E8CEF7C995C280EBB107326398CCAE02AAC31D563E
- ProductCode: Coq
- ManifestType: installer
- ManifestVersion: 1.1.0
|
