saret/winget-pkgs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Coq.CoqPlatform version 2021.02.1 (#11075)

Browse Source
This commit is contained in:
Luis Chacón
2021-04-19 13:33:48 -07:00
committed by GitHub
parent cc4e13894d
commit f848b02104
3 changed files with 34 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.installer.yaml Normal file
View File

@@ -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

12
manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.locale.en-US.yaml Normal file
View File

@@ -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

7
manifests/c/Coq/CoqPlatform/2021.02.1/Coq.CoqPlatform.yaml Normal file
View File

@@ -0,0 +1,7 @@
# Created using wingetcreate
PackageIdentifier: Coq.CoqPlatform
PackageVersion: 2021.02.1
DefaultLocale: en-US
ManifestType: version
ManifestVersion: 1.0.0