Начало Каталог Помощ
Вход
PolyMC
/
winget-pkgs
огледало от https://github.com/PolyMC/winget-pkgs
Наблюдаван 2
Харесван 0
Разклонения 0
Файлове Задачи 0 Уики
ИН на ревизия: 7ca918e6e1
Клонове Маркери
winget-pkgs
/
manifests
/
c
/
Coq
/
CoqPlatform
Begula b4f84ec7dd New version: Coq.CoqPlatform version 2022.01.0 (#43576) преди 3 години
..
8.13.2 e2aa1220d7 Update: Coq.CoqPlatform version 8.13.2 (#34793) преди 3 години
8.14.1 b4f84ec7dd New version: Coq.CoqPlatform version 2022.01.0 (#43576) преди 3 години
Beta 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) преди 3 години