Kaleb Luedtke
53f7d34d91
Update: Coq.CoqPlatform.Beta version 8.14.0 (#34795)
|
преди 3 години | |
|---|---|---|
| .. | ||
| Coq.CoqPlatform.Beta.installer.yaml | преди 3 години | |
| Coq.CoqPlatform.Beta.locale.en-US.yaml | преди 3 години | |
| Coq.CoqPlatform.Beta.yaml | преди 3 години | |