This website requires JavaScript.
Explore
Help
Register
Sign In
saret
/
winget-pkgs
Watch
1
Star
0
Fork
0
You've already forked winget-pkgs
Code
Issues
Pull Requests
Releases
Wiki
Activity
Files
a0c79e96a6fa9c88f0bf0edfd6162dbcb385a311
winget-pkgs
/
manifests
/
c
/
Coq
/
CoqPlatform
/
2021.02.1
History
…
..
Coq.CoqPlatform.installer.yaml
…
Coq.CoqPlatform.locale.en-US.yaml
…
Coq.CoqPlatform.yaml
…