Kaleb Luedtke 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) 3 jaren geleden
..
Coq.CoqPlatform.Beta.installer.yaml 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) 3 jaren geleden
Coq.CoqPlatform.Beta.locale.en-US.yaml 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) 3 jaren geleden
Coq.CoqPlatform.Beta.yaml 53f7d34d91 Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795) 3 jaren geleden