# 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
