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