mirror of https://github.com/ScoopInstaller/Main.git synced 2025-12-20 06:11:19 +00:00

Go to file

tech189 4a45a04007 coq: Update to version 2023.11.0, remove 32bit

Removed 32bit because the binaries are no longer being built:
https://github.com/coq/platform/issues/401#issuecomment-1971537818

Added icon to shortcut

2024-03-15 15:54:55 +00:00

.github

chore(ci): switch to pull_request_target trigger

2024-02-21 14:31:20 +08:00

.vscode

(chore): Update json.schemas.fileMatch (#4830 )

2023-05-23 16:12:06 -07:00

bin

(chore): Add checkhashes.ps1

2022-11-23 14:54:15 +08:00

bucket

coq: Update to version 2023.11.0, remove 32bit

2024-03-15 15:54:55 +00:00

deprecated

mro: deprecated because download no longer exists (closes #5085 )

2023-09-15 09:09:48 +01:00

scripts

python*: Update uninstall-pep-514.reg (#4892 )

2023-08-25 21:58:15 +00:00

.editorconfig

(chore): Fix git conflicts with line endings (#3693 )

2022-06-21 12:43:35 +05:30

.gitattributes

(chore): Fix git conflicts with line endings (#3693 )

2022-06-21 12:43:35 +05:30

.gitignore

feat(chore): Add .vscode folder to .gitignore (#2898 )

2021-11-07 12:15:21 +05:30

.markdownlint.json

chore: update issue templates (#2826 )

2021-10-27 15:57:12 +05:30

LICENSE

Init scoop-main bucket

2019-04-22 20:56:04 +08:00

README.md

(chore): Migrate CI to GitHub Actions (#3361 )

2022-03-09 10:46:57 +05:30

Scoop-Bucket.Tests.ps1

ci(test): Use scoop prefix scoop (#3130 )

2021-12-28 15:25:37 +08:00

README.md

Scoop Main

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.