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