comoproj-v2.3.1 protected
Max Ole Elliger's avatar
Max Ole Elliger
@oc59yqul
b00108eb · Have _CoqProject depend on all directories in COMPONENTS · 
some fixes due to problems with coqc-8.16.1