Halaman utama Jelajahi Bantuan
Masuk
PolyMC
/
winget-pkgs
cermin dari https://github.com/PolyMC/winget-pkgs
Liatin 2
Bintangi 0
Fork 0
Berkas Masalah 0 Wiki
Cabang: master
Ranting Tag
winget-pkgs
/
manifests
/
c
/
Coq
/
CoqPlatform
/
8.14.1
Begula b4f84ec7dd New version: Coq.CoqPlatform version 2022.01.0 (#43576) 3 tahun lalu
..
Coq.CoqPlatform.installer.yaml b4f84ec7dd New version: Coq.CoqPlatform version 2022.01.0 (#43576) 3 tahun lalu
Coq.CoqPlatform.locale.en-US.yaml b4f84ec7dd New version: Coq.CoqPlatform version 2022.01.0 (#43576) 3 tahun lalu
Coq.CoqPlatform.yaml b4f84ec7dd New version: Coq.CoqPlatform version 2022.01.0 (#43576) 3 tahun lalu