tech189 db373f5f76
coq: Update to version 2022.01.0 (#3388)
* coq: update to version 2022.01.0

* coq: remove checkver
2022-03-16 09:30:15 +05:30
2022-03-15 22:01:35 +08:00
2020-03-27 10:35:41 +01:00
2019-04-22 20:56:04 +08:00
2019-04-22 20:56:04 +08:00

Scoop Main Tests Excavator

Core manifests for Scoop, the Windows command-line installer. For manifests that fit the Main criteria.

How do I install these manifests?

Just do scoop install <manifest>. This is the default bucket for Scoop and is added by default.

How do I contribute new manifests?

To make a new manifest contribution, please read the Contributing Guide.

Description
📦 The default bucket for Scoop.
Readme Unlicense 114 MiB
Languages
PowerShell 100%