comoproj-v2.6.2-coqc-8.16.1-ocaml-4.13.1 protected
Max Ole Elliger's avatar
Max Ole Elliger
@oc59yqul
7b8f4361 · Merge tag 'comoproj-v2.6.2' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 ·
Unverified 
see comoproj-v2.6.2