From f848b02104f3acf8e28ffa5297c504d93db4859f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luis=20Chac=C3=B3n?= <lechacon@users.noreply.github.com>
Date: Mon, 19 Apr 2021 13:33:48 -0700
Subject: [PATCH] Coq.CoqPlatform version 2021.02.1 (#11075)

---
 .../2021.02.1/Coq.CoqPlatform.installer.yaml      | 15 +++++++++++++++
 .../2021.02.1/Coq.CoqPlatform.locale.en-US.yaml   | 12 ++++++++++++
 .../CoqPlatform/2021.02.1/Coq.CoqPlatform.yaml    |  7 +++++++
 3 files changed, 34 insertions(+)
 create mode 100644 manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.installer.yaml
 create mode 100644 manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.locale.en-US.yaml
 create mode 100644 manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.yaml

diff --git a/manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.installer.yaml b/manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.installer.yaml
new file mode 100644
index 000000000..7fd8eced4
--- /dev/null
+++ b/manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.installer.yaml
@@ -0,0 +1,15 @@
+# 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
diff --git a/manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.locale.en-US.yaml b/manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.locale.en-US.yaml
new file mode 100644
index 000000000..c33fba50c
--- /dev/null
+++ b/manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.locale.en-US.yaml
@@ -0,0 +1,12 @@
+# Created using wingetcreate
+
+PackageIdentifier: Coq.CoqPlatform
+PackageVersion: 2021.02.1
+PackageLocale: en-US
+Publisher: Coq
+PackageName: Coq Platform
+License: GNU Lesser General Public Licence Version 2.1
+ShortDescription: Coq is a formal proof management system.
+Moniker: coq
+ManifestType: defaultLocale
+ManifestVersion: 1.0.0
diff --git a/manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.yaml b/manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.yaml
new file mode 100644
index 000000000..5557d95ae
--- /dev/null
+++ b/manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.yaml
@@ -0,0 +1,7 @@
+# Created using wingetcreate
+
+PackageIdentifier: Coq.CoqPlatform
+PackageVersion: 2021.02.1
+DefaultLocale: en-US
+ManifestType: version
+ManifestVersion: 1.0.0