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