comoproj-v2.0.1 protected
Max Ole Elliger's avatar
Max Ole Elliger
@oc59yqul
d493025d · only latest coq version on main · 
GitLab-CI only works on latest Coq-Version