Почетна Преглед Помоћ
Пријавите се
PolyMC
/
winget-pkgs
огледало од https://github.com/PolyMC/winget-pkgs
Прати 2
Волим 0
Креирај огранак 0
Датотеке Дискусије 0 Вики
Дрво: 7ca918e6e1
Гране Ознаке
winget-pkgs
/
manifests
/
c
/
Coq
/
CoqPlatform
/
Beta
Kaleb Luedtke 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) пре 3 година
..
8.14.0 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) пре 3 година