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