XPost: linux.debian.ports.sparc, linux.debian.maint.ocaml.maint   
   From: glaubitz@physik.fu-berlin.de   
      
   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   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)