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