Files
winget-pkgs/manifests/c/Coq/CoqPlatform/2021.02.1