coqc/latest -> coqc/8.18.0 (!8) · Merge requests · Max Ole Elliger / Template Coq-Project · GitLab

Max Ole Elliger requested to merge pre-release/comoproj/coqc/v8.18.0 into release/comoproj/coqc/v8.18.0 Nov 13, 2023