Bug#1128189: coq: Please install dllcoqperf_stubs.so on native architectures only

Hi,

Le lundi 16 f=C3=A9vrier 2026 =C3=A0 13:02 +0100, John Paul Adrian Glaubitz=
 a
=C3=A9crit=C2=A0:
>=20
> OK, maybe I should test my patches properly. Here's a tested one:
>=20
> --- debian/rules.orig=C2=A0=C2=A0 2025-09-16 23:56:00.000000000 +0200
> +++ debian/rules=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 2026-02-16 12:=
54:36.219191624 +0100
> @@ -60,6 +60,10 @@
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 find debian/tmp$(OCAML_STDLIB_=
DIR)/rocq-runtime -regextype
> posix-awk \
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 -regex '.*\.(a|cmi=
|cmo|cmt|cmti|cmx|cmxa|ml|mli|o])$$' \
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 >> debian/libcoq-c=
ore-ocaml-dev.install
> +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 # remove dllcoqperf_stubs.so for no=
n-native architectures
> +ifeq (,$(filter amd64 arm64 armhf i386 ppc64el riscv64 s390x,
> $(DEB_HOST_ARCH)))
> +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 sed -i '/.*dllcoqperf_stubs.so/d' d=
ebian/libcoq-core-
> ocaml.install
> +endif
> =C2=A0
> =C2=A0override_dh_gencontrol:
> =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 for u in $(PACKAGES); do \
>=20
> Sorry for that!

thanks for your help, I'll commit that to my packaging.

An upload will have to wait until my tools stop misbehaving (#1122524),
but the change will be ready to roll.

Cheers,

J.Puydt