Hi, Le lundi 16 février 2026 à 13:02 +0100, John Paul Adrian Glaubitz a écrit : > > OK, maybe I should test my patches properly. Here's a tested one: > > --- debian/rules.orig 2025-09-16 23:56:00.000000000 +0200 > +++ debian/rules 2026-02-16 12:54:36.219191624 +0100 > @@ -60,6 +60,10 @@ > find debian/tmp$(OCAML_STDLIB_DIR)/rocq-runtime -regextype > posix-awk \ > -regex '.*\.(a|cmi|cmo|cmt|cmti|cmx|cmxa|ml|mli|o])$$' \ > >> debian/libcoq-core-ocaml-dev.install > + # remove dllcoqperf_stubs.so for non-native architectures > +ifeq (,$(filter amd64 arm64 armhf i386 ppc64el riscv64 s390x, > $(DEB_HOST_ARCH))) > + sed -i '/.*dllcoqperf_stubs.so/d' debian/libcoq-core- > ocaml.install > +endif > > override_dh_gencontrol: > for u in $(PACKAGES); do \ > > 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
