comoproj-v2.7.0-coqc-8.16.1-ocaml-4.13.1
Max Ole Elliger's avatar
Max Ole Elliger
@oc59yqul
9a09249d · Merge tag 'comoproj-v2.7.0' into pre-release/comoproj/coqc-8.16.1-ocaml-4.13.1 ·
Unverified 
the usual