Skip to content

Use the --print-version command to robustly get the Coq / Rocq version.#544

Merged
xavierleroy merged 1 commit intoAbsInt:masterfrom ppedrot:fix-version-parsingJan 16, 2025

Commits

Commits on Jan 14, 2025