Draft: comoproj/v2.0.1/coqc/v8.18.0 (!7) · Merge requests · Max Ole Elliger / Template Coq-Project · GitLab

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