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