From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id IOk7HwuR8mJkSQAAbAwnHQ (envelope-from ) for ; Tue, 09 Aug 2022 18:53:31 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id 6E0QHguR8mKFcgEAG6o9tA (envelope-from ) for ; Tue, 09 Aug 2022 18:53:31 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 38158353DC for ; Tue, 9 Aug 2022 18:53:31 +0200 (CEST) Received: from localhost ([::1]:41000 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oLSTy-0000Qh-9a for larch@yhetil.org; Tue, 09 Aug 2022 12:53:30 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:43776) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oLSRb-0005lY-D1 for guix-patches@gnu.org; Tue, 09 Aug 2022 12:51:07 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:54900) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1oLSRa-00089l-OS for guix-patches@gnu.org; Tue, 09 Aug 2022 12:51:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1oLSRa-0002A0-H0 for guix-patches@gnu.org; Tue, 09 Aug 2022 12:51:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#57074] [PATCH v2] gnu: maxima: Fix to find info files. (LGTM) Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 09 Aug 2022 16:51:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 57074 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Daniel =?UTF-8?Q?Mei=C3=9Fner?= , 57074@debbugs.gnu.org Received: via spool by 57074-submit@debbugs.gnu.org id=B57074.16600638098217 (code B ref 57074); Tue, 09 Aug 2022 16:51:02 +0000 Received: (at 57074) by debbugs.gnu.org; 9 Aug 2022 16:50:09 +0000 Received: from localhost ([127.0.0.1]:44649 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oLSQi-00028S-G6 for submit@debbugs.gnu.org; Tue, 09 Aug 2022 12:50:08 -0400 Received: from laurent.telenet-ops.be ([195.130.137.89]:47988) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1oLSQe-00028H-QQ for 57074@debbugs.gnu.org; Tue, 09 Aug 2022 12:50:07 -0400 Received: from [IPV6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16] ([IPv6:2a02:1811:8c09:9d00:5dba:d409:33f7:a16]) by laurent.telenet-ops.be with bizsmtp id 5Uq22800H20ykKC01Uq3rD; Tue, 09 Aug 2022 18:50:03 +0200 Message-ID: <3df5fdd3-1db3-677e-542e-c2e75d77c1d5@telenet.be> Date: Tue, 9 Aug 2022 18:50:02 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.12.0 Content-Language: en-US References: <20220809130706.7671-1-daniel.meissner-i4k@ruhr-uni-bochum.de> From: Maxime Devos In-Reply-To: <20220809130706.7671-1-daniel.meissner-i4k@ruhr-uni-bochum.de> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------0sokf19BhYPQEM7b4a0EWOdE" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1660063803; bh=C715U0EljVYfm9VCiljt+NhfG933aHp+7m6qjDxoUI4=; h=Date:Subject:To:References:From:In-Reply-To; b=lWjMNJE2O1MJtpx9xC2DDj9MIw3D7/FsFkU1ntkd18us2KtO/cfO/EAIfq7TWh+pw /jdcYz2AehjpvvynfUMzIWB09+74pFWZe5jIUpXuJ6FyYIlmSRiXBFXr6lwNaFdOWL pqaPBeoN0Ra8XMm3I8YTeZAXBkoOheBje1cFMSqsfPXJ+POuT5yn3YoN8DgLNeVaQS J3wneGogNlAo7SWd8sdn9PVMEWO29sGnoqDR5luiR3C1s2FbbrEoxJGW3oCpG+AsHL sqNNxk/dBy+pkP/zIOtg5CL4TXt8401BcKD8bun1TvviQOh4m1N6YTdM8JJLqCGT7D mOD0qNUbYUMng== X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1660064011; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=C715U0EljVYfm9VCiljt+NhfG933aHp+7m6qjDxoUI4=; b=Fj+n5zWUUjqjwF3zgc9kBMp8Sw1Z5g/10+QZaK3EKQncD8XMFTfK54XbdUaS94EkQHKE/T 0NWltfnPB5NmBJLt3JqJ1WJ1Vt+aizK+IjUflmHDpLNeMvfsFop69meG7DT8GnB/ftIPg3 iUji5OjtOHQ7gREzi/VfFxsNanw3rpt6Hcx/di+Ohap5m0RN5f5m4itJFHkHd3d1f0cXei L2wKljvDhSeag1aSA1OiSh717yf06EaMSddANZD/F0RrfHKSf7v8vnUK/Hhux7LX2kZtVy r1uaSw9q+M5Mywj635LwdI8e/8VgIktHNeoncwmYrxTu53NTP6SJt3UygZY7sQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1660064011; a=rsa-sha256; cv=none; b=TgUE3fSMx7+lakxtrF3Hyv9rquktI926q2bFW1L1R1HW/VmZnpavt0NNLehhjAiAdAyzgL b4wjMAEsuK3MsXDUJ7EoqD6SAmcWqw0IoUCzm6//uRPyXZVYatD33Cf8tyLARqR6DBMj+9 NvaRgyLu2WZUJMBu2xv0/WVAAsCee70Jd7npYs7Yf8JbVDOXg+bct6lDQlhr7Tof9yAaVd oHYRchp7MyRNGTr9Kkyq1lTTGsIEU1JtJr0gjimVTDDNYP6DVqiso4KrJpVYBjCGFAe8as oBlXHL/3Ju4dXFxK14CvqwB2HZ6EN4kTghmvSWHd/rxhFWvFL4y3fL1Y4SlpIQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=lWjMNJE2; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: 3.11 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=lWjMNJE2; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 38158353DC X-Spam-Score: 3.11 X-Migadu-Scanner: scn0.migadu.com X-TUID: 2/pWxR2xfTK+ This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------0sokf19BhYPQEM7b4a0EWOdE Content-Type: multipart/mixed; boundary="------------CBJPlyhOvAi7nYHhVQTkAkXl"; protected-headers="v1" From: Maxime Devos To: =?UTF-8?Q?Daniel_Mei=c3=9fner?= , 57074@debbugs.gnu.org Message-ID: <3df5fdd3-1db3-677e-542e-c2e75d77c1d5@telenet.be> Subject: Re: [PATCH v2] gnu: maxima: Fix to find info files. (LGTM) References: <20220809130706.7671-1-daniel.meissner-i4k@ruhr-uni-bochum.de> In-Reply-To: <20220809130706.7671-1-daniel.meissner-i4k@ruhr-uni-bochum.de> --------------CBJPlyhOvAi7nYHhVQTkAkXl Content-Type: multipart/mixed; boundary="------------aYKppBAnoA1w4JCBVBKKmW9M" --------------aYKppBAnoA1w4JCBVBKKmW9M Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 DQpPbiAwOS0wOC0yMDIyIDE1OjA3LCBEYW5pZWwgTWVpw59uZXIgd3JvdGU6DQo+IFRoZSBN YXhpbWEgY29tbWFuZCDigJhkZXNjcmliZeKAmSBhbGxvd3MgdG8gcGljayB0aGUgcmVsZXZh bnQgcG9ydGlvbnMgZnJvbQ0KPiBNYXhpbWHigJlzIFRleGluZm8gZG9jcy4gIEhvd2V2ZXIg aXQgZG9lcyBub3Qgc3VwcG9ydCByZWFkaW5nIGd6aXBwZWQgaW5mbw0KPiBmaWxlcy4NCj4N Cj4gKiBnbnUvcGFja2FnZXMvbWF0aHMuc2NtIChtYXhpbWEpW2FyZ3VtZW50c108cGhhc2Vz PjogRGVsZXRlDQo+ICdjb21wcmVzcy1kb2N1bWVudGF0aW9uIHBoYXNlLg0KPiAtLS0NCj4N Cj4gVGhhbmtzIGZvciB0aGUgcmV2aWV3LCBNYXhpbWUuICBIZXJlJ3MgdGhlIHVwZGF0ZWQg cGF0Y2guDQo+DQo+IEJlc3QNCj4gRGFuaWVsDQo+DQo+ICAgZ251L3BhY2thZ2VzL21hdGhz LnNjbSB8IDYgKysrKystDQo+ICAgMSBmaWxlIGNoYW5nZWQsIDUgaW5zZXJ0aW9ucygrKSwg MSBkZWxldGlvbigtKQ0KPg0KPiBkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL21hdGhzLnNj bSBiL2dudS9wYWNrYWdlcy9tYXRocy5zY20NCj4gaW5kZXggYzEwNzk0YTA4OS4uNDhjMTA5 MDZlZCAxMDA2NDQNCj4gLS0tIGEvZ251L3BhY2thZ2VzL21hdGhzLnNjbQ0KPiArKysgYi9n bnUvcGFja2FnZXMvbWF0aHMuc2NtDQo+IEBAIC00NDIwLDcgKzQ0MjAsMTEgQEAgKGRlZmlu ZS1wdWJsaWMgbWF4aW1hDQo+ICAgICAgICAgICAgICAgICAgOzsgY29tcG9uZW50cyBhdCBy dW50aW1lLg0KPiAgICAgICAgICAgICAgICAgICh3cmFwLXByb2dyYW0gKHN0cmluZy1hcHBl bmQgb3V0ICIvYmluL21heGltYSIpDQo+ICAgICAgICAgICAgICAgICAgICBgKCJQQVRIIiBw cmVmaXggKCxiaW51dGlscykpKSkNCj4gLSAgICAgICAgICAgICAjdCkpKSkpDQo+ICsgICAg ICAgICAgICAgI3QpKQ0KPiArICAgICAgICAgOzsgVGhlIE1heGltYSBjb21tYW5kIOKAmGRl c2NyaWJl4oCZIGFsbG93cyB0byBwaWNrIHRoZSByZWxldmFudCBwb3J0aW9ucw0KPiArICAg ICAgICAgOzsgZnJvbSBNYXhpbWHigJlzIFRleGluZm8gZG9jcy4gIEhvd2V2ZXIgaXQgZG9l cyBub3Qgc3VwcG9ydCByZWFkaW5nDQo+ICsgICAgICAgICA7OyBnemlwcGVkIGluZm8gZmls ZXMuDQo+ICsgICAgICAgICAoZGVsZXRlICdjb21wcmVzcy1kb2N1bWVudGF0aW9uKSkpKQ0K PiAgICAgICAoaG9tZS1wYWdlImh0dHBzOi8vbWF4aW1hLnNvdXJjZWZvcmdlLmlvIikNCj4g ICAgICAgKHN5bm9wc2lzICJOdW1lcmljIGFuZCBzeW1ib2xpYyBleHByZXNzaW9uIG1hbmlw dWxhdGlvbiIpDQo+ICAgICAgIChkZXNjcmlwdGlvbiAiTWF4aW1hIGlzIGEgc3lzdGVtIGZv ciB0aGUgbWFuaXB1bGF0aW9uIG9mIHN5bWJvbGljIGFuZA0KVG8gYmUgY2xlYXIsIEkgZGlk IG5vdCB2ZXJpZnkgdGhlIHBhdGNoLCBidXQgaXQgbG9va3MgZmluZSB0byBtZS4NCg0KTEdU TSwNCk1heGltZS4NCg0K --------------aYKppBAnoA1w4JCBVBKKmW9M Content-Type: application/pgp-keys; name="OpenPGP_0x49E3EE22191725EE.asc" Content-Disposition: attachment; filename="OpenPGP_0x49E3EE22191725EE.asc" Content-Description: OpenPGP public key Content-Transfer-Encoding: quoted-printable -----BEGIN PGP PUBLIC KEY BLOCK----- xjMEX4ch6BYJKwYBBAHaRw8BAQdANPb/d6MrGnGi5HyvODCkBUJPRjiFQcRU5V+m xvMaAa/NL01heGltZSBEZXZvcyA8bWF4aW1lLmRldm9zQHN0dWRlbnQua3VsZXV2 ZW4uYmU+wpAEExYIADgWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCX4ch6AIbAwUL CQgHAwUVCgkICwUWAgMBAAIeAQIXgAAKCRBJ4+4iGRcl7japAQC3opZ2KGWzWmRc /gIWSu0AAcfMwyinFEEPa/QhUt2CogD/e2RdF4CYAgaRHJJmZ9WU7piKbLZ7llB4 LzgezVDHggzNJU1heGltZSBEZXZvcyA8bWF4aW1lZGV2b3NAdGVsZW5ldC5iZT7C kAQTFggAOBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJf56ycAhsDBQsJCAcDBRUK CQgLBRYCAwEAAh4BAheAAAoJEEnj7iIZFyXujpQBAKV1SwDDl4f24rXciDlB9L8W ycZt30CgbewMSRQk4mvbAP9dFMbVVixYBd6C8cfhR+NsOBGiOJnQABlUmgNuqGFJ Dc44BF+HIegSCisGAQQBl1UBBQEBB0BOlzIWiJzgobMF6/cqwLaLk7jIcFSZ++c0 k9cCNT6YXwMBCAfCeAQYFggAIBYhBMHzPuIMUo/bfdcBH0nj7iIZFyXuBQJfhyHo AhsMAAoJEEnj7iIZFyXuMr0BAJc8cl5PGvVmVuSQVKjleNl4DK1/XAaPAYPe34AE fZJPAP9IqLCQhH/FeJanHqBP8gNdGNI2qn8RnnLVfRJgUjZ1BA=3D=3D =3DOVqp -----END PGP PUBLIC KEY BLOCK----- --------------aYKppBAnoA1w4JCBVBKKmW9M-- --------------CBJPlyhOvAi7nYHhVQTkAkXl-- --------------0sokf19BhYPQEM7b4a0EWOdE Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- wnsEABYIACMWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYvKQOgUDAAAAAAAKCRBJ4+4iGRcl7lvO AP4rYi5aj2cPgFucEQV7jiG98DRL97EalEUBdzJEZIV5KQD/QnZSNQ/gu/a56kkFXHdH+NEOu/LD BPrSwR8gkQ8soA8= =gERv -----END PGP SIGNATURE----- --------------0sokf19BhYPQEM7b4a0EWOdE--