Startseite Erkunden Hilfe
Anmelden
PolyMC
/
winget-pkgs
Mirror von https://github.com/PolyMC/winget-pkgs
Beobachten 2
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Wiki
Struktur: 7ca918e6e1
Branches Tags
winget-pkgs
/
manifests
/
c
/
Coq
Begula b4f84ec7dd New version: Coq.CoqPlatform version 2022.01.0 (#43576) vor 3 Jahren
..
CoqPlatform b4f84ec7dd New version: Coq.CoqPlatform version 2022.01.0 (#43576) vor 3 Jahren