[From nobody Thu Oct  1 09:37:05 2026
Received: (at submit) by bugs.debian.org; 2 Nov 2022 09:10:56 +0000
X-Spam-Checker-Version: SpamAssassin 3.4.6-bugs.debian.org_2005_01_02
 (2021-04-09) on buxtehude.debian.org
X-Spam-Level: 
X-Spam-Status: No, score=-11.6 required=4.0 tests=BAYES_00,FROMDEVELOPER,
 HAS_PACKAGE,HEADER_FROM_DIFFERENT_DOMAINS,RCVD_IN_DNSWL_LOW,
 RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS autolearn=ham
 autolearn_force=no version=3.4.6-bugs.debian.org_2005_01_02
X-Spam-Bayes: score:0.0000 Tokens: new, 23; hammy, 99; neutral, 38; spammy, 0.
 spammytokens: hammytokens:0.000-+--sk:x86_64, 0.000-+--sk:x86_64-,
 0.000-+--H*r:sk:Bill.Al, 0.000-+--H*RU:sk:Bill.Al,
 0.000-+--H*rp:U*Bill.Allombert
Return-path: &lt;Bill.Allombert@math.u-bordeaux.fr&gt;
Received: from smail.math.u-bordeaux1.fr ([147.210.16.22]:55106
 helo=smail.math.u-bordeaux.fr)
 by buxtehude.debian.org with esmtp (Exim 4.94.2)
 (envelope-from &lt;Bill.Allombert@math.u-bordeaux.fr&gt;)
 id 1oq9lv-0049Ce-O9
 for submit@bugs.debian.org; Wed, 02 Nov 2022 09:10:56 +0000
Received: from localhost (localhost [127.0.0.1])
 by smail.math.u-bordeaux.fr (Postfix) with ESMTP id 6D4421C12AE;
 Wed,  2 Nov 2022 10:10:48 +0100 (CET)
X-Virus-Scanned: Debian amavisd-new at math.u-bordeaux1.fr
Received: from smail.math.u-bordeaux.fr ([127.0.0.1])
 by localhost (smail.math.u-bordeaux.fr [127.0.0.1]) (amavisd-new, port 10024)
 with ESMTP id plz5nz7mg5w1; Wed,  2 Nov 2022 10:10:47 +0100 (CET)
Received: from pari.math.u-bordeaux.fr (pari.math.u-bordeaux1.fr
 [147.210.16.88])
 by smail.math.u-bordeaux.fr (Postfix) with ESMTP id 484091C10E2;
 Wed,  2 Nov 2022 10:10:47 +0100 (CET)
Authentication-Results: smail; dmarc=none header.from=debian.org
Received: from localhost ([::1] helo=seventeen)
 by pari.math.u-bordeaux.fr with esmtp (Exim 4.94.2)
 (envelope-from &lt;Bill.Allombert@math.u-bordeaux.fr&gt;)
 id 1oq9mm-003Rs1-1r; Wed, 02 Nov 2022 10:11:48 +0100
Received: from bill by seventeen with local (Exim 4.94.2)
 (envelope-from &lt;Bill.Allombert@math.u-bordeaux.fr&gt;)
 id 1oq9lo-001tvW-LR; Wed, 02 Nov 2022 10:10:48 +0100
Date: Wed, 2 Nov 2022 10:10:48 +0100
From: Bill Allombert &lt;ballombe@debian.org&gt;
To: Debian Bug Tracking System &lt;submit@bugs.debian.org&gt;
Subject: gap-guava-bin: do not hardcode kv7 in path without depend on
 gap-kernel-7
Message-ID: &lt;Y2I0GOfrawVB0dPC@seventeen&gt;
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
X-Reportbug-Version: 7.10.3+deb11u1
Delivered-To: submit@bugs.debian.org

Package: gap-guava-bin
Version: 3.17+ds-2
Severity: normal

Dear Debian Science Maintainers,

gap-guava-bin includes the directory
/usr/lib/gap/pkg/guava/bin/x86_64-pc-linux-gnu-default64-kv7
but does not depend on gap-kernel-7.

1) As far as I can see, the guava binaries are not linked against the gap-kernel
so are independent of it, so the binaries should just go to
/usr/lib/gap/pkg/guava/bin/

2) the new gap kernel 4.12 is gap-kernel-8 and will not find binaries in
x86_64-pc-linux-gnu-default64-kv7

3) if for some reason, you really need x86_64-pc-linux-gnu-default64-kvN, you
need to depend on gap-kernel-N.

Cheers,
-- 
Bill. &lt;ballombe@debian.org&gt;

Imagine a large red swirl here. 
]