Mentions légales du service

Skip to content

Adapt to Coq/Coq#18164

ROUSSELIN Pierre requested to merge pirousse/menhir:rm_arith_files into master

Sorry to bother you, this is to remove some deprecated files. See https://github.com/coq/coq/pull/18164

Merge request reports