comoproj-v2.3.1 protected

Max Ole Elliger

@oc59yqul

b00108eb · Have _CoqProject depend on all directories in COMPONENTS · Dec 22, 2023

some fixes due to problems with coqc-8.16.1