8 lines
164 B
YAML
8 lines
164 B
YAML
# Created using wingetcreate
|
|
|
|
PackageIdentifier: Coq.CoqPlatform
|
|
PackageVersion: 2021.02.1
|
|
DefaultLocale: en-US
|
|
ManifestType: version
|
|
ManifestVersion: 1.0.0
|