Inicio Explorar Axuda
Iniciar sesión
PolyMC
/
winget-pkgs
réplica de https://github.com/PolyMC/winget-pkgs
Seguir 2
Destacar 0
Fork 0
Ficheiros Incidencias 0 Wiki
Árbore: 7ca918e6e1
Ramas Etiquetas
winget-pkgs
/
manifests
/
c
/
Coq
Begula b4f84ec7dd New version: Coq.CoqPlatform version 2022.01.0 (#43576) %!s(int64=3) %!d(string=hai) anos
..
CoqPlatform b4f84ec7dd New version: Coq.CoqPlatform version 2022.01.0 (#43576) %!s(int64=3) %!d(string=hai) anos