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