comoproj-v2.3.1-coqc-8.18.0-ocaml-4.13.1 · Tags · Max Ole Elliger / Template Coq-Project · GitLab

Skip to content

GitLab

Explore

Sign in

comoproj-v2.3.1-coqc-8.18.0-ocaml-4.13.1 protected

Max Ole Elliger

a1d01c1c · Merge tag 'comoproj-v2.3.1' into pre-release/comoproj/coqc/v8.18.0 · Dec 26, 2023

new tag name