comoproj-v2.6.1-coqc-8.16.1-ocaml-4.13.1 protected
Max Ole Elliger's avatar
Max Ole Elliger
@oc59yqul
02377526 · Merge tag 'comoproj-v2.6.1' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 ·
Verified 
comoproj-v2.6.1 for coq-version 8.16.1