comoproj-v2.0.1 protected

Max Ole Elliger

@oc59yqul

d493025d · only latest coq version on main · Nov 13, 2023

GitLab-CI only works on latest Coq-Version