Hi Julian, On Tue, 2026-02-17 at 09:55 +0100, Julien Puydt wrote: > 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.
Great, thanks a lot! And sorry for the many iterations of this fix, I wasn't in the best mood this week. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer `. `' Physicist `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
