Головна сторінка Огляд Довідка
Увійти
PolyMC
/
winget-pkgs
дзеркало https://github.com/PolyMC/winget-pkgs
Слідкувати 2
Зірка 0
Відгалуження 0
Файли Проблеми 0 Wiki
Дерево: 7ca918e6e1
Гілки Теги
winget-pkgs
/
manifests
/
c
/
Coq
/
CoqPlatform
/
Beta
/
8.14.0
Kaleb Luedtke 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) 3 роки тому
..
Coq.CoqPlatform.Beta.installer.yaml 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) 3 роки тому
Coq.CoqPlatform.Beta.locale.en-US.yaml 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) 3 роки тому
Coq.CoqPlatform.Beta.yaml 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) 3 роки тому