[Arch-excludes] Architecture specific change in rpms/gappalib-coq.git