13 lines
343 B
YAML
13 lines
343 B
YAML
# 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
|