Danny Milosavljevic <dannym@HIDDEN>
to control <at> debbugs.gnu.org.
Full text available.Received: (at 78289) by debbugs.gnu.org; 9 May 2025 14:24:19 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Fri May 09 10:24:19 2025 Received: from localhost ([127.0.0.1]:38262 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1uDOeA-0006ws-JC for submit <at> debbugs.gnu.org; Fri, 09 May 2025 10:24:19 -0400 Received: from mail-4325.protonmail.ch ([185.70.43.25]:60985) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from <bigbookofbug@HIDDEN>) id 1uDOe3-0006wM-PR for 78289 <at> debbugs.gnu.org; Fri, 09 May 2025 10:24:16 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=proton.me; s=protonmail; t=1746800644; x=1747059844; bh=4sblKqDdZqEN/l2gERFB6EFVLefsZYXQ44+AsBvPJPI=; h=Date:To:From:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector:List-Unsubscribe:List-Unsubscribe-Post; b=ZOBzpr7f6jkjKdAxAxLbu6+sBR+/xWoS5/xBjGrABGbkhCXZ2CUPm2fH933TN2rbl l3vic1hD59CYsIx7HkJdqLgIcIH6V7yoDeoGBEEoXpwckXZ5bY48UgNU8YDyWOWQuW qhe69Q963QZn8mXyuaCmChXUUCbNYEZMc+mcHEKejW918ku06EEcvNCFhQ8Fp4iUA9 znvvTvGniabMLR+kvY44bKpVn4TSBBtO6x6FdBrxRUsXPCAcSoEJYkik3fPbQGIdRZ P7vJz28ss1Z6uKkAcn29Udn8dfuhEV0NRy2SdqrPmmFLQthgH2zuEuKToJzC6VMYnN Um08vFdVRc9jg== Date: Fri, 09 May 2025 14:24:02 +0000 To: Nicolas Graves <ngraves@HIDDEN>, "78289 <at> debbugs.gnu.org" <78289 <at> debbugs.gnu.org> From: emma <bigbookofbug@HIDDEN> Subject: Re: [bug#78289] [PATCH] gnu: emacs-lean4-mode: add data dir to output Message-ID: <RtS6CD9L7-YGDVZkDobnXPlBzUSRWfYTO-zqfebW2dDPddqjUyWVe6xlqjKokqWq7oqzq4dRcEhQYgyoKaY-yqOtzjfk_OMvFf-zJxxCOtE=@proton.me> In-Reply-To: <8734dfnqaz.fsf@HIDDEN> References: <1HUYNQgod6lNoiX8xtp9sYqMgPNxsmu-kvTImq7CCxolhmPs-M6Y_BBsgvVVzLDkEksi_WArDSB88myBvxMh60xJVqkC-3ZqkEtBe6t0lBQ=@proton.me> <8734dfnqaz.fsf@HIDDEN> Feedback-ID: 84785949:user:proton X-Pm-Message-ID: 87974cb9f2053de1a3120696a46faab6184bcca5 MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="b1=_iSqIyv4t7tzro5m6BUEh07Zyc7NaXy9HwlJ0vm34" X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 78289 X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) --b1=_iSqIyv4t7tzro5m6BUEh07Zyc7NaXy9HwlJ0vm34 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable hi Nicolas, thank you for the info about guix style! attaching a diff to this reply aft= er applying the updates. my email client has a habit of chewing up patches = and send-email is currently throwing errors for me emma (bigbookofbug) EF515F7D600717781DF9AB2E0FB1CF2867A117F5 Sent with Proton Mail secure email. On Thursday, May 8th, 2025 at 2:13 PM, Nicolas Graves <ngraves@HIDDEN> = wrote: > Hi Emma, > TY for your contribution! >=20 > You can use elpa-directory to make this code easier to read, see for > instance : > https://issues.guix.gnu.org/issue/78315/attachment/51/ >=20 > Also : > - arguments field usually comes after build-system > - the code is not formatted properly. If you don't use a fancy editor > with support for guile, you can always run > ./pre-inst-env guix style emacs-lean4-mode to do it for you. >=20 > Can you submit a new version with that taken into account? Thanks! >=20 > On 2025-05-07 02:25, emma via Guix-patches via wrote: >=20 > > --- > >=20 > > gnu/packages/emacs-xyz.scm | 11 +++++++++++ > > 1 file changed, 11 insertions(+) > >=20 > > diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm > > index 50a6f4c386..fd919aa210 100644 > > --- a/gnu/packages/emacs-xyz.scm > > +++ b/gnu/packages/emacs-xyz.scm > > @@ -3081,6 +3081,17 @@ (define-public emacs-lean4-mode > > ;; TODO: Just emacs-magit-section instead of emacs-magit would be enoug= h. > > (propagated-inputs > > (list emacs-compat emacs-lsp-mode emacs-dash emacs-magit)) > > + (arguments > > + (list > > + #:phases > > + #~(modify-phases %standard-phases > > + (add-after 'install 'install-data > > + (lambda _ > > + (let ((data (string-append #$output > > + "/share/emacs/site-lisp/" > > + "lean4-mode-1.1.2/data"))) > > + (mkdir-p data) > > + (copy-recursively "data" data))))))) > > (synopsis "Lean 4 major mode for Emacs") > > (description "This package provides a major mode for the Lean theorem > > prover, version 4.") > >=20 > > base-commit: d110f7dd006f4e47aa56de3cdaf5bb4b82eb5ca2 > > -- > > 2.49.0 > >=20 > > emma (bigbookofbug) > > EF515F7D600717781DF9AB2E0FB1CF2867A117F5 > >=20 > > Sent with Proton Mail secure email. >=20 >=20 > -- > Best regards, > Nicolas Graves --b1=_iSqIyv4t7tzro5m6BUEh07Zyc7NaXy9HwlJ0vm34 Content-Type: text/x-patch; name=0001-styling-updated.patch Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename=0001-styling-updated.patch RnJvbSBkOWI0NjI1NjM5OTQzMjU1Y2QxYzU2NDQzYmQzMDY4OTIxZWNlMGExIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBlbW1hIHRob21wc29uIDxiaWdib29rb2ZidWdAcHJvdG9uLm1l PgpEYXRlOiBGcmksIDkgTWF5IDIwMjUgMDk6MTg6MDEgLTA1MDAKU3ViamVjdDogW1BBVENIXSBz dHlsaW5nIHVwZGF0ZWQKCi0tLQogZ251L3BhY2thZ2VzL2VtYWNzLXh5ei5zY20gfCAxNiArKysr KysrLS0tLS0tLS0tCiAxIGZpbGUgY2hhbmdlZCwgNyBpbnNlcnRpb25zKCspLCA5IGRlbGV0aW9u cygtKQoKZGlmZiAtLWdpdCBhL2dudS9wYWNrYWdlcy9lbWFjcy14eXouc2NtIGIvZ251L3BhY2th Z2VzL2VtYWNzLXh5ei5zY20KaW5kZXggZmQ5MTlhYTIxMC4uM2VjNDA5NWVjYyAxMDA2NDQKLS0t IGEvZ251L3BhY2thZ2VzL2VtYWNzLXh5ei5zY20KKysrIGIvZ251L3BhY2thZ2VzL2VtYWNzLXh5 ei5zY20KQEAgLTMwNzksMTkgKzMwNzksMTcgQEAgKGRlZmluZS1wdWJsaWMgZW1hY3MtbGVhbjQt bW9kZQogICAgICAgICAgICAgICAgICIxaTRsNjE0bjBoczAyeTBhNHhmbnpjNHhraWxrcDZiengy OHB5czRqa3A5NnZwMml2ZjBjIikpKSkKICAgICAoYnVpbGQtc3lzdGVtIGVtYWNzLWJ1aWxkLXN5 c3RlbSkKICAgICA7OyBUT0RPOiBKdXN0IGVtYWNzLW1hZ2l0LXNlY3Rpb24gaW5zdGVhZCBvZiBl bWFjcy1tYWdpdCB3b3VsZCBiZSBlbm91Z2guCi0gICAgKHByb3BhZ2F0ZWQtaW5wdXRzCi0gICAg IChsaXN0IGVtYWNzLWNvbXBhdCBlbWFjcy1sc3AtbW9kZSBlbWFjcy1kYXNoIGVtYWNzLW1hZ2l0 KSkKICAgICAoYXJndW1lbnRzCiAgICAgIChsaXN0CiAgICAgICAjOnBoYXNlcwogICAgICAgI34o bW9kaWZ5LXBoYXNlcyAlc3RhbmRhcmQtcGhhc2VzCi0JICAoYWRkLWFmdGVyICdpbnN0YWxsICdp bnN0YWxsLWRhdGEKLQkgICAgKGxhbWJkYSBfCi0JICAgICAgKGxldCAoKGRhdGEgKHN0cmluZy1h cHBlbmQgIyRvdXRwdXQKLQkJCQkJICIvc2hhcmUvZW1hY3Mvc2l0ZS1saXNwLyIKLQkJCQkJICJs ZWFuNC1tb2RlLTEuMS4yL2RhdGEiKSkpCi0JCShta2Rpci1wIGRhdGEpCi0JCShjb3B5LXJlY3Vy c2l2ZWx5ICJkYXRhIiBkYXRhKSkpKSkpKQorICAgICAgICAgIChhZGQtYWZ0ZXIgJ2luc3RhbGwg J2luc3RhbGwtZGF0YQorICAgICAgICAgICAgKGxhbWJkYSBfCisgICAgICAgICAgICAgIChsZXQg KChkYXRhIChzdHJpbmctYXBwZW5kIChlbHBhLWRpcmVjdG9yeSAjJG91dHB1dCkgIi9kYXRhIikp KQorICAgICAgICAgICAgICAgIChta2Rpci1wIGRhdGEpCisgICAgICAgICAgICAgICAgKGNvcHkt cmVjdXJzaXZlbHkgImRhdGEiIGRhdGEpKSkpKSkpCisgICAgKHByb3BhZ2F0ZWQtaW5wdXRzCisg ICAgIChsaXN0IGVtYWNzLWNvbXBhdCBlbWFjcy1sc3AtbW9kZSBlbWFjcy1kYXNoIGVtYWNzLW1h Z2l0KSkKICAgICAoc3lub3BzaXMgIkxlYW4gNCBtYWpvciBtb2RlIGZvciBFbWFjcyIpCiAgICAg KGRlc2NyaXB0aW9uICJUaGlzIHBhY2thZ2UgcHJvdmlkZXMgYSBtYWpvciBtb2RlIGZvciB0aGUg TGVhbiB0aGVvcmVtCiBwcm92ZXIsIHZlcnNpb24gNC4iKQotLSAKMi40OS4wCgo= --b1=_iSqIyv4t7tzro5m6BUEh07Zyc7NaXy9HwlJ0vm34--
guix-patches@HIDDEN:bug#78289; Package guix-patches.
Full text available.Received: (at 78289) by debbugs.gnu.org; 8 May 2025 14:13:49 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Thu May 08 10:13:49 2025 Received: from localhost ([127.0.0.1]:58334 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1uD20S-0002WE-KA for submit <at> debbugs.gnu.org; Thu, 08 May 2025 10:13:48 -0400 Received: from 8.mo563.mail-out.ovh.net ([46.105.60.197]:45351) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from <ngraves@HIDDEN>) id 1uD20O-0002Vv-0t for 78289 <at> debbugs.gnu.org; Thu, 08 May 2025 10:13:46 -0400 Received: from director4.derp.mail-out.ovh.net (director4.derp.mail-out.ovh.net [79.137.60.37]) by mo563.mail-out.ovh.net (Postfix) with ESMTPS id 4ZtYyY5gVFz1hkf; Thu, 8 May 2025 14:13:41 +0000 (UTC) Received: from director4.derp.mail-out.ovh.net (director4.derp.mail-out.ovh.net. [127.0.0.1]) by director4.derp.mail-out.ovh.net (inspect_sender_mail_agent) with SMTP for <78289 <at> debbugs.gnu.org>; Thu, 8 May 2025 14:13:41 +0000 (UTC) Received: from mta2.priv.ovhmail-u1.ea.mail.ovh.net (unknown [10.110.101.43]) by director4.derp.mail-out.ovh.net (Postfix) with ESMTPS id 4ZtYyY4WtLz2cHY; Thu, 8 May 2025 14:13:41 +0000 (UTC) Received: from ngraves.fr (unknown [10.1.6.6]) by mta2.priv.ovhmail-u1.ea.mail.ovh.net (Postfix) with ESMTPSA id 42E7CBA400A; Thu, 8 May 2025 14:13:41 +0000 (UTC) Authentication-Results: garm.ovh; auth=pass (GARM-99G00344500d17-4786-4574-97c4-c55afdca4201, DDC873FDB2A8922E808BA1EA95701B978C004A90) smtp.auth=ngraves@HIDDEN X-OVh-ClientIp: 90.92.117.144 From: Nicolas Graves <ngraves@HIDDEN> To: emma <bigbookofbug@HIDDEN>, 78289 <at> debbugs.gnu.org Subject: Re: [bug#78289] [PATCH] gnu: emacs-lean4-mode: add data dir to output In-Reply-To: <1HUYNQgod6lNoiX8xtp9sYqMgPNxsmu-kvTImq7CCxolhmPs-M6Y_BBsgvVVzLDkEksi_WArDSB88myBvxMh60xJVqkC-3ZqkEtBe6t0lBQ=@proton.me> References: <1HUYNQgod6lNoiX8xtp9sYqMgPNxsmu-kvTImq7CCxolhmPs-M6Y_BBsgvVVzLDkEksi_WArDSB88myBvxMh60xJVqkC-3ZqkEtBe6t0lBQ=@proton.me> Date: Thu, 08 May 2025 16:13:40 +0200 Message-ID: <8734dfnqaz.fsf@HIDDEN> MIME-Version: 1.0 Content-Type: text/plain X-Ovh-Tracer-Id: 13552738655491777199 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: 0 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgeefvddrtddtgddvkeelleehucetufdoteggodetrfdotffvucfrrhhofhhilhgvmecuqfggjfdpvefjgfevmfevgfenuceurghilhhouhhtmecuhedttdenucenucfjughrpefhvffujghffffkgggtsehttdertddttddtnecuhfhrohhmpefpihgtohhlrghsucfirhgrvhgvshcuoehnghhrrghvvghssehnghhrrghvvghsrdhfrheqnecuggftrfgrthhtvghrnhepveeiueeivdeludevgfdtkefhjedvgedvhfdtveekjefgueeiieeivdetveekfeffnecuffhomhgrihhnpehgnhhurdhorhhgpdhprhhothhonhdrmhgvnecukfhppeduvdejrddtrddtrddupdeltddrledvrdduudejrddugeegnecuvehluhhsthgvrhfuihiivgeptdenucfrrghrrghmpehinhgvthepuddvjedrtddrtddruddpmhgrihhlfhhrohhmpehnghhrrghvvghssehnghhrrghvvghsrdhfrhdpnhgspghrtghpthhtohepvddprhgtphhtthhopeejkedvkeelseguvggssghughhsrdhgnhhurdhorhhgpdhrtghpthhtohepsghighgsohhokhhofhgsuhhgsehprhhothhonhdrmhgvpdfovfetjfhoshhtpehmohehieefmgdpmhhouggvpehsmhhtphhouhht DKIM-Signature: a=rsa-sha256; bh=6rn55ajCQCRMkY3HecrvwSbLvHaWYvzFp3bwDJw6qoA=; c=relaxed/relaxed; d=ngraves.fr; h=From; s=ovhmo4487190-selector1; t=1746713621; v=1; b=3JWxZZUDGA0kPS9XRdACN88DUYaooFOMuE90EPJrx+dO/RKq8hufKNP3oygOF4NqdvWszakc GxCsv99PobL2Hiyuqjpagjp/c75dOeiBGkeO7MfQf5r4xh0dpr2hgOnpd98ttj2iAa+ek8kI3eQ ynxC8Vs44T25ThdiTOWkZYh8nBnw7HCmum3IGaXBwg0EuKdbTGMPo3Quq7l9Zq6duX3AxVouBNy pFIMM0KTLabQVUKb4W1yblAovZY4vqp2l65ls2HFrNFdrxvGbaQlmsgcavczxw8tsjEY4go4EEm 3+mlB615qAdI+9HV2/qeWGttL4gzsor+gy6a+74W9MAUQ== X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 78289 X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) Hi Emma, TY for your contribution! You can use elpa-directory to make this code easier to read, see for instance : https://issues.guix.gnu.org/issue/78315/attachment/51/ Also : - arguments field usually comes after build-system - the code is not formatted properly. If you don't use a fancy editor with support for guile, you can always run ./pre-inst-env guix style emacs-lean4-mode to do it for you. Can you submit a new version with that taken into account? Thanks! On 2025-05-07 02:25, emma via Guix-patches via wrote: > --- > > gnu/packages/emacs-xyz.scm | 11 +++++++++++ > 1 file changed, 11 insertions(+) > > diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm > index 50a6f4c386..fd919aa210 100644 > --- a/gnu/packages/emacs-xyz.scm > +++ b/gnu/packages/emacs-xyz.scm > @@ -3081,6 +3081,17 @@ (define-public emacs-lean4-mode > ;; TODO: Just emacs-magit-section instead of emacs-magit would be enough. > (propagated-inputs > (list emacs-compat emacs-lsp-mode emacs-dash emacs-magit)) > + (arguments > + (list > + #:phases > + #~(modify-phases %standard-phases > + (add-after 'install 'install-data > + (lambda _ > + (let ((data (string-append #$output > + "/share/emacs/site-lisp/" > + "lean4-mode-1.1.2/data"))) > + (mkdir-p data) > + (copy-recursively "data" data))))))) > (synopsis "Lean 4 major mode for Emacs") > (description "This package provides a major mode for the Lean theorem > prover, version 4.") > > base-commit: d110f7dd006f4e47aa56de3cdaf5bb4b82eb5ca2 > -- > 2.49.0 > > emma (bigbookofbug) > EF515F7D600717781DF9AB2E0FB1CF2867A117F5 > > Sent with [Proton Mail](https://proton.me/mail/home) secure email. -- Best regards, Nicolas Graves
guix-patches@HIDDEN:bug#78289; Package guix-patches.
Full text available.Received: (at submit) by debbugs.gnu.org; 7 May 2025 02:25:44 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Tue May 06 22:25:44 2025 Received: from localhost ([127.0.0.1]:37105 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1uCUTf-0008VG-P6 for submit <at> debbugs.gnu.org; Tue, 06 May 2025 22:25:44 -0400 Received: from lists.gnu.org ([2001:470:142::17]:36488) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from <bigbookofbug@HIDDEN>) id 1uCUTd-0008Un-3Z for submit <at> debbugs.gnu.org; Tue, 06 May 2025 22:25:41 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <bigbookofbug@HIDDEN>) id 1uCUTV-0007fU-O2 for guix-patches@HIDDEN; Tue, 06 May 2025 22:25:34 -0400 Received: from mail-0301.mail-europe.com ([188.165.51.139]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <bigbookofbug@HIDDEN>) id 1uCUTN-0008Qn-B0 for guix-patches@HIDDEN; Tue, 06 May 2025 22:25:30 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=proton.me; s=protonmail; t=1746584710; x=1746843910; bh=gJDQS4uyCXUIC8f37Rx/82Mr5vc41sHEPiTzKaGN1pE=; h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector: List-Unsubscribe:List-Unsubscribe-Post; b=WA21Cg/Xztx0dnxbJHkxaIAVLAP2CPsEJwQa8ZPt3pKlZHj7M9vso9u1JKNc9SjD7 Sh6Zy2uc0aJrEfmlm/u/XS3wnGDliE0Qtx+7FqUoTlcbIozfk4yXIxFCQIfPwgq56L sUO2mvZp2k1vM763uwxXDViuXMcTrHml7s3BTNuC7tEqE9LdTnNYfCCDdwydzBxUVf y75PkQfB8CwdpBYxffJ4YmYexv6xM+I5yqBErV77aXzbKL58nUuz1LytcALiqo2sei vjTJGSAjmWz3sef/dqMcIV8GfN9UymEaiYSGMacjjn9fXDMAsxdxHr/RvP4pIarEuK G5P47cLdBYBhg== Date: Wed, 07 May 2025 02:25:07 +0000 To: "guix-patches@HIDDEN" <guix-patches@HIDDEN> From: emma <bigbookofbug@HIDDEN> Subject: [PATCH] gnu: emacs-lean4-mode: add data dir to output Message-ID: <1HUYNQgod6lNoiX8xtp9sYqMgPNxsmu-kvTImq7CCxolhmPs-M6Y_BBsgvVVzLDkEksi_WArDSB88myBvxMh60xJVqkC-3ZqkEtBe6t0lBQ=@proton.me> Feedback-ID: 84785949:user:proton X-Pm-Message-ID: f908e5409b7b8ba3c2921a3b4558d07728c7fd37 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="b1=_V7WXvOFRERzQJDwVbDzqWlizrfPQYu07YZIHgL5oo4" Received-SPF: pass client-ip=188.165.51.139; envelope-from=bigbookofbug@HIDDEN; helo=mail-0301.mail-europe.com X-Spam_score_int: -19 X-Spam_score: -2.0 X-Spam_bar: -- X-Spam_report: (-2.0 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, TRACKER_ID=0.1 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.1 (+) X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: --- gnu/packages/emacs-xyz.scm | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index 50a6f4c386..fd919aa210 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -3081,6 +3081,17 @@ (defin [...] Content analysis details: (1.1 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_HELO_PASS SPF: HELO matches SPF record 1.0 SPF_SOFTFAIL SPF: sender does not match SPF record (softfail) 0.1 TRACKER_ID BODY: Incorporates a tracking ID number -0.0 RCVD_IN_DNSWL_NONE RBL: Sender listed at https://www.dnswl.org/, no trust [2001:470:142:0:0:0:0:17 listed in] [list.dnswl.org] 0.0 HTML_MESSAGE BODY: HTML included in message X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: 0.1 (/) --b1=_V7WXvOFRERzQJDwVbDzqWlizrfPQYu07YZIHgL5oo4 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 LS0tCgpnbnUvcGFja2FnZXMvZW1hY3MteHl6LnNjbSB8IDExICsrKysrKysrKysrCjEgZmlsZSBj aGFuZ2VkLCAxMSBpbnNlcnRpb25zKCspCgpkaWZmIC0tZ2l0IGEvZ251L3BhY2thZ2VzL2VtYWNz LXh5ei5zY20gYi9nbnUvcGFja2FnZXMvZW1hY3MteHl6LnNjbQppbmRleCA1MGE2ZjRjMzg2Li5m ZDkxOWFhMjEwIDEwMDY0NAotLS0gYS9nbnUvcGFja2FnZXMvZW1hY3MteHl6LnNjbQorKysgYi9n bnUvcGFja2FnZXMvZW1hY3MteHl6LnNjbQpAQCAtMzA4MSw2ICszMDgxLDE3IEBAIChkZWZpbmUt cHVibGljIGVtYWNzLWxlYW40LW1vZGUKOzsgVE9ETzogSnVzdCBlbWFjcy1tYWdpdC1zZWN0aW9u IGluc3RlYWQgb2YgZW1hY3MtbWFnaXQgd291bGQgYmUgZW5vdWdoLgoocHJvcGFnYXRlZC1pbnB1 dHMKKGxpc3QgZW1hY3MtY29tcGF0IGVtYWNzLWxzcC1tb2RlIGVtYWNzLWRhc2ggZW1hY3MtbWFn aXQpKQorIChhcmd1bWVudHMKKyAobGlzdAorICM6cGhhc2VzCisgI34obW9kaWZ5LXBoYXNlcyAl c3RhbmRhcmQtcGhhc2VzCisgKGFkZC1hZnRlciAnaW5zdGFsbCAnaW5zdGFsbC1kYXRhCisgKGxh bWJkYSBfCisgKGxldCAoKGRhdGEgKHN0cmluZy1hcHBlbmQgIyRvdXRwdXQKKyAiL3NoYXJlL2Vt YWNzL3NpdGUtbGlzcC8iCisgImxlYW40LW1vZGUtMS4xLjIvZGF0YSIpKSkKKyAobWtkaXItcCBk YXRhKQorIChjb3B5LXJlY3Vyc2l2ZWx5ICJkYXRhIiBkYXRhKSkpKSkpKQooc3lub3BzaXMgIkxl YW4gNCBtYWpvciBtb2RlIGZvciBFbWFjcyIpCihkZXNjcmlwdGlvbiAiVGhpcyBwYWNrYWdlIHBy b3ZpZGVzIGEgbWFqb3IgbW9kZSBmb3IgdGhlIExlYW4gdGhlb3JlbQpwcm92ZXIsIHZlcnNpb24g NC4iKQoKYmFzZS1jb21taXQ6IGQxMTBmN2RkMDA2ZjRlNDdhYTU2ZGUzY2RhZjViYjRiODJlYjVj YTIKLS0KMi40OS4wCgplbW1hIChiaWdib29rb2ZidWcpCkVGNTE1RjdENjAwNzE3NzgxREY5QUIy RTBGQjFDRjI4NjdBMTE3RjUKClNlbnQgd2l0aCBbUHJvdG9uIE1haWxdKGh0dHBzOi8vcHJvdG9u Lm1lL21haWwvaG9tZSkgc2VjdXJlIGVtYWlsLg== --b1=_V7WXvOFRERzQJDwVbDzqWlizrfPQYu07YZIHgL5oo4 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 PGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDE0 cHg7Ij48c3Bhbj48c3Bhbj4tLS08L3NwYW4+PGJyPjxzcGFuPjwvc3Bhbj48L3NwYW4+PGRpdj48 c3Bhbj4mbmJzcDtnbnUvcGFja2FnZXMvZW1hY3MteHl6LnNjbSB8IDExICsrKysrKysrKysrPC9z cGFuPjwvZGl2PjxkaXY+PHNwYW4+Jm5ic3A7MSBmaWxlIGNoYW5nZWQsIDExIGluc2VydGlvbnMo Kyk8L3NwYW4+PC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj48c3Bhbj5kaWZmIC0tZ2l0IGEvZ251 L3BhY2thZ2VzL2VtYWNzLXh5ei5zY20gYi9nbnUvcGFja2FnZXMvZW1hY3MteHl6LnNjbTwvc3Bh bj48L2Rpdj48ZGl2PjxzcGFuPmluZGV4IDUwYTZmNGMzODYuLmZkOTE5YWEyMTAgMTAwNjQ0PC9z cGFuPjwvZGl2PjxkaXY+PHNwYW4+LS0tIGEvZ251L3BhY2thZ2VzL2VtYWNzLXh5ei5zY208L3Nw YW4+PC9kaXY+PGRpdj48c3Bhbj4rKysgYi9nbnUvcGFja2FnZXMvZW1hY3MteHl6LnNjbTwvc3Bh bj48L2Rpdj48ZGl2PjxzcGFuPkBAIC0zMDgxLDYgKzMwODEsMTcgQEAgKGRlZmluZS1wdWJsaWMg ZW1hY3MtbGVhbjQtbW9kZTwvc3Bhbj48L2Rpdj48ZGl2PjxzcGFuPiZuYnNwOyAmbmJzcDsgJm5i c3A7OzsgVE9ETzogSnVzdCBlbWFjcy1tYWdpdC1zZWN0aW9uIGluc3RlYWQgb2YgZW1hY3MtbWFn aXQgd291bGQgYmUgZW5vdWdoLjwvc3Bhbj48L2Rpdj48ZGl2PjxzcGFuPiZuYnNwOyAmbmJzcDsg Jm5ic3A7KHByb3BhZ2F0ZWQtaW5wdXRzPC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4+Jm5ic3A7ICZu YnNwOyAmbmJzcDsgKGxpc3QgZW1hY3MtY29tcGF0IGVtYWNzLWxzcC1tb2RlIGVtYWNzLWRhc2gg ZW1hY3MtbWFnaXQpKTwvc3Bhbj48L2Rpdj48ZGl2PjxzcGFuPisgJm5ic3A7ICZuYnNwOyhhcmd1 bWVudHM8L3NwYW4+PC9kaXY+PGRpdj48c3Bhbj4rICZuYnNwOyAmbmJzcDsgKGxpc3Q8L3NwYW4+ PC9kaXY+PGRpdj48c3Bhbj4rICZuYnNwOyAmbmJzcDsgJm5ic3A7IzpwaGFzZXM8L3NwYW4+PC9k aXY+PGRpdj48c3Bhbj4rICZuYnNwOyAmbmJzcDsgJm5ic3A7I34obW9kaWZ5LXBoYXNlcyAlc3Rh bmRhcmQtcGhhc2VzPC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4+KwkgJm5ic3A7KGFkZC1hZnRlciAn aW5zdGFsbCAnaW5zdGFsbC1kYXRhPC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4+KwkgJm5ic3A7ICZu YnNwOyhsYW1iZGEgXzwvc3Bhbj48L2Rpdj48ZGl2PjxzcGFuPisJICZuYnNwOyAmbmJzcDsgJm5i c3A7KGxldCAoKGRhdGEgKHN0cmluZy1hcHBlbmQgIyRvdXRwdXQ8L3NwYW4+PC9kaXY+PGRpdj48 c3Bhbj4rCQkJCQkgIi9zaGFyZS9lbWFjcy9zaXRlLWxpc3AvIjwvc3Bhbj48L2Rpdj48ZGl2Pjxz cGFuPisJCQkJCSAibGVhbjQtbW9kZS0xLjEuMi9kYXRhIikpKTwvc3Bhbj48L2Rpdj48ZGl2Pjxz cGFuPisJCShta2Rpci1wIGRhdGEpPC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4+KwkJKGNvcHktcmVj dXJzaXZlbHkgImRhdGEiIGRhdGEpKSkpKSkpPC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4+Jm5ic3A7 ICZuYnNwOyAmbmJzcDsoc3lub3BzaXMgIkxlYW4gNCBtYWpvciBtb2RlIGZvciBFbWFjcyIpPC9z cGFuPjwvZGl2PjxkaXY+PHNwYW4+Jm5ic3A7ICZuYnNwOyAmbmJzcDsoZGVzY3JpcHRpb24gIlRo aXMgcGFja2FnZSBwcm92aWRlcyBhIG1ham9yIG1vZGUgZm9yIHRoZSBMZWFuIHRoZW9yZW08L3Nw YW4+PC9kaXY+PGRpdj48c3Bhbj4mbmJzcDtwcm92ZXIsIHZlcnNpb24gNC4iKTwvc3Bhbj48L2Rp dj48ZGl2Pjxicj48L2Rpdj48ZGl2PjxzcGFuPmJhc2UtY29tbWl0OiBkMTEwZjdkZDAwNmY0ZTQ3 YWE1NmRlM2NkYWY1YmI0YjgyZWI1Y2EyPC9zcGFuPjwvZGl2PjxkaXY+PHNwYW4+LS0gPC9zcGFu PjwvZGl2PjxkaXY+PHNwYW4+Mi40OS4wPC9zcGFuPjwvZGl2PjxkaXY+PGJyPjwvZGl2PjxzcGFu Pjwvc3Bhbj48YnI+PC9kaXY+PGRpdiBzdHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsLCBzYW5zLXNl cmlmOyBmb250LXNpemU6IDE0cHg7Ij48YnI+PC9kaXY+DQo8ZGl2IGNsYXNzPSJwcm90b25tYWls X3NpZ25hdHVyZV9ibG9jayIgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcmlhbCwgc2Fucy1zZXJpZjsg Zm9udC1zaXplOiAxNHB4OyI+DQogICAgPGRpdiBjbGFzcz0icHJvdG9ubWFpbF9zaWduYXR1cmVf YmxvY2stdXNlciI+DQogICAgICAgIDxkaXYgc3R5bGU9ImZvbnQtZmFtaWx5OiBBcmlhbCwgc2Fu cy1zZXJpZjsgZm9udC1zaXplOiAxNHB4OyBjb2xvcjogcmdiKDAsIDAsIDApOyBiYWNrZ3JvdW5k LWNvbG9yOiByZ2IoMjU1LCAyNTUsIDI1NSk7Ij5lbW1hIChiaWdib29rb2ZidWcpPC9kaXY+PGRp diBzdHlsZT0iZm9udC1mYW1pbHk6IEFyaWFsLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDE0cHg7 IGNvbG9yOiByZ2IoMCwgMCwgMCk7IGJhY2tncm91bmQtY29sb3I6IHJnYigyNTUsIDI1NSwgMjU1 KTsiPjxkaXYgc3R5bGU9Im1hcmdpbjowcHg7Zm9udC1zaXplOjFyZW07b3V0bGluZTowcHg7d2hp dGUtc3BhY2U6YnJlYWstc3BhY2VzO292ZXJmbG93LXdyYXA6YnJlYWstd29yZDt1c2VyLXNlbGVj dDp0ZXh0O21heC13aWR0aDoxMDB2dyI+PHNwYW4gc3R5bGU9Im1hcmdpbjowcHg7Zm9udC1zaXpl OjE0cHg7b3V0bGluZTowcHg7bGluZS1oZWlnaHQ6MS4yODU3MTttYXgtd2lkdGg6MTAwdnciIGRh dGEtdGV4dC12YXJpYW50PSJ0ZXh0LXNtL25vcm1hbCI+PHNwYW4gc3R5bGU9Im1hcmdpbjowcHg7 b3V0bGluZTowcHg7bWF4LXdpZHRoOjEwMHZ3Ij5FRjUxNUY3RDYwMDcxNzc4MURGOUFCMkUwRkIx Q0YyODY3QTExN0Y1PC9zcGFuPjwvc3Bhbj48L2Rpdj48L2Rpdj4NCiAgICA8L2Rpdj4NCiAgICA8 ZGl2IHN0eWxlPSJmb250LWZhbWlseTogQXJpYWwsIHNhbnMtc2VyaWY7IGZvbnQtc2l6ZTogMTRw eDsiPjxicj48L2Rpdj4NCiAgICA8ZGl2IGNsYXNzPSJwcm90b25tYWlsX3NpZ25hdHVyZV9ibG9j ay1wcm90b24iPg0KICAgICAgICBTZW50IHdpdGggPGEgdGFyZ2V0PSJfYmxhbmsiIGhyZWY9Imh0 dHBzOi8vcHJvdG9uLm1lL21haWwvaG9tZSI+UHJvdG9uIE1haWw8L2E+IHNlY3VyZSBlbWFpbC4N CiAgICA8L2Rpdj4NCjwvZGl2Pg0K --b1=_V7WXvOFRERzQJDwVbDzqWlizrfPQYu07YZIHgL5oo4--
emma <bigbookofbug@HIDDEN>:guix-patches@HIDDEN.
Full text available.guix-patches@HIDDEN:bug#78289; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.