saret/winget-pkgs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Files
b79cdc512f7662ef7f70b9e3db1a6d6bd7e72613
winget-pkgs/manifests/c/Coq/CoqPlatform
History